Techniques for the Fast Simulation of Models of Highly dependable Systems

With the ever-increasing complexity and requirements of highly dependable systems, their evaluation during design and operation is becoming more crucial. Realistic models of such systems are often not amenable to analysis using conventional analytic or numerical methods. Therefore, analysts and designers turn to simulation to evaluate these models. However, accurate estimation of dependability measures of these models requires that the simulation frequently observes system failures, which are rare events in highly dependable systems. This renders ordinary Simulation impractical for evaluating such systems. To overcome this problem, simulation techniques based on importance sampling have been developed, and are very effective in certain settings. When importance sampling works well, simulation run lengths can be reduced by several orders of magnitude when estimating transient as well as steady-state dependability measures. This paper reviews some of the importance-sampling techniques that have been developed in recent years to estimate dependability measures efficiently in Markov and nonMarkov models of highly dependable system

Evaluation of software dependability

It has been said that the term software engineering is an aspiration not a description. We would like to be able to claim that we engineer software, in the same sense that we engineer an aero-engine, but most of us would agree that this is not currently an accurate description of our activities. My suspicion is that it never will be. From the point of view of this essay – i.e. dependability evaluation – a major difference between software and other engineering artefacts is that the former is pure design. Its unreliability is always the result of design faults, which in turn arise as a result of human intellectual failures. The unreliability of hardware systems, on the other hand, has tended until recently to be dominated by random physical failures of components – the consequences of the ‘perversity of nature’. Reliability theories have been developed over the years which have successfully allowed systems to be built to high reliability requirements, and the final system reliability to be evaluated accurately. Even for pure hardware systems, without software, however, the very success of these theories has more recently highlighted the importance of design faults in determining the overall reliability of the final product. The conventional hardware reliability theory does not address this problem at all. In the case of software, there is no physical source of failures, and so none of the reliability theory developed for hardware is relevant. We need new theories that will allow us to achieve required dependability levels, and to evaluate the actual dependability that has been achieved, when the sources of the faults that ultimately result in failure are human intellectual failures

Developing a conceptual model for the internal data source to measure customer satisfaction

Traditional CSM approach is performed at certain frequencies. The gap between such events can be termed as a ‘blind period’, because customer satisfaction is left unobserved and unmanaged. The blind period may sometimes accelerate the growth of customer dissatisfaction. One way to eliminate the impact of the blind period is to reduce the gap between CSM events. The initial assessment indicates that conducting CSM more frequently, may weaken the accuracy of measurement, and increase the cost of the programme. The authors believe that the reason behind these limitations is the use of the external data source, collecting data directly from customer, therefore suggests using the internal data source, as an alternative to measure customer satisfaction. The purpose of this paper is to develop a conceptual model for the internal data source to measure customer satisfaction. To achieve this objective, a conceptual model need to be developed based on three determined steps: define the formation of customer satisfaction value, identify the CSM factors and dimensions, and mirror the CSM instruments to identify the internal performance values. The paper indicates that internal data source could provide researchers with an alternative data source to measure customer satisfaction with minimum limitations on frequency of implementation, accuracy and cost

Quality assessment technique for ubiquitous software and middleware

The new paradigm of computing or information systems is ubiquitous computing systems. The technology-oriented issues of ubiquitous computing systems have made researchers pay much attention to the feasibility study of the technologies rather than building quality assurance indices or guidelines. In this context, measuring quality is the key to developing high-quality ubiquitous computing products. For this reason, various quality models have been defined, adopted and enhanced over the years, for example, the need for one recognised standard quality model (ISO/IEC 9126) is the result of a consensus for a software quality model on three levels: characteristics, sub-characteristics, and metrics. However, it is very much unlikely that this scheme will be directly applicable to ubiquitous computing environments which are considerably different to conventional software, trailing a big concern which is being given to reformulate existing methods, and especially to elaborate new assessment techniques for ubiquitous computing environments. This paper selects appropriate quality characteristics for the ubiquitous computing environment, which can be used as the quality target for both ubiquitous computing product evaluation processes ad development processes. Further, each of the quality characteristics has been expanded with evaluation questions and metrics, in some cases with measures. In addition, this quality model has been applied to the industrial setting of the ubiquitous computing environment. These have revealed that while the approach was sound, there are some parts to be more developed in the future

Modeling the Effect of a Road Construction Project on Transportation System Performance

Road construction projects create physical changes on roads that result in capacity reduction and travel time escalation during the construction project period. The reduction in the posted speed limit, the number of lanes, lane width and shoulder width at the construction zone makes it difficult for the road to accommodate high traffic volume. Therefore, the goal of this research is to model the effect of a road construction project on travel time at road link-level and help improve the mobility of people and goods through dissemination or implementation of proactive solutions. Data for a resurfacing construction project on I-485 in the city of Charlotte, North Carolina (NC) was used evaluation, analysis, and modeling. A statistical t-test was conducted to examine the relationship between the change in travel time before and during the construction project period. Further, travel time models were developed for the freeway links and the connecting arterial street links, both before and during the construction project period. The road network characteristics of each link, such as the volume/ capacity (V/C), the number of lanes, the speed limit, the shoulder width, the lane width, whether the link is divided or undivided, characteristics of neighboring links, the time-of-the-day, the day-of-the-week, and the distance of the link from the road construction project were considered as predictor variables for modeling. The results obtained indicate that a decrease in travel time was observed during the construction project period on the freeway links when compared to the before construction project period. Contrarily, an increase in travel time was observed during the construction project period on the connecting arterial street links when compared to the before construction project period. Also, the average travel time, the planning time, and the travel time index can better explain the effect of a road construction project on transportation system performance when compared to the planning time index and the buffer time index. The influence of predictor variables seem to vary before and during the construction project period on the freeway links and connecting arterial street links. Practitioners should take the research findings into consideration, in addition to the construction zone characteristics, when planning a road construction project and developing temporary traffic control and detour plans

The sweet spot in sustainability: a framework for corporate assessment in sugar manufacturing

The assessment of corporate sustainability has become an increasingly important topic, both within academia and in industry. For manufacturing companies to conform to their commitments to sustainable development, a standard and reliable measurement framework is required. There is, however, a lack of sector-specific and empirical research in many areas, including the sugar industry. This paper presents an empirically developed framework for the assessment of corporate sustainability within the Thai sugar industry. Multiple case studies were conducted, and a survey using questionnaires was also employed to enhance the power of generalisation. The developed framework is an accurate and reliable measurement instrument of corporate sustainability, and guidelines to assess qualitative criteria are put forward. The proposed framework can be used for a company’s self-assessment and for guiding practitioners in performance improvement and policy decision-maki