Fault-Based Analysis: How History Can Help Improve Performance and Dependability Requirements for High Assurance Systems
نویسندگان
چکیده
Performance and dependability requirements are key to the development of high assurance systems. Fault-based analysis has proven to be a useful tool for detecting and preventing requirement faults early in the software life cycle. By tailoring a generic fault taxonomy, one is able to better prevent past mistakes and develop requirements specifications with fewer overall faults. Fewer faults within the software specification, with respect to performance and dependability requirements, will result in high assurance systems of improved quality.
منابع مشابه
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
In designing high assurance systems, the dependability goals are achieved through the adoption of several fault tolerance techniques. Unfortunately, their combined effect on the system cannot be, in the general case, derived by straightforward composition of the stand-alone component's analysis, because of mutual dependence of their controlling parameters. In this paper the assessment of overal...
متن کاملIntents and Upgrades in Component-Based High-Assurance Systems
This chapter addresses challenges for model-driven development of embedded systems in industrial practice. These are rooted in the necessity of flexible development of new functionality at low development cost. Where a dependability requirement is added, e.g. support for assurance of safety requirements, then extending functionality by pluging in a new component, or modifying an existing compon...
متن کاملAn Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis
This paper discusses the models and performance analysis for an adaptive software architecture, which supports multiple levels of fault detection, masking, and recovery through reconfiguration. The architecture starts with a formal requirement model defining multiple levels of functional capability and information assurance. The architecture includes a multi-layer design to implement the requir...
متن کاملA Framework for Dependability Engineering of Critical Computing Systems
This paper presents a development model focused on the production of dependable systems. Three classes of processes are distinguished: 1) the system creation process which builds on the classical development steps (requirements, design, realization, integration); 2) dependability processes (i.e., fault prevention, fault tolerance, fault removal and fault forecasting); and 3) other supporting pr...
متن کاملFault Type Estimation in Power Systems
This paper presents a novel approach for fault type estimation in power systems. The Fault type estimation is the first step to estimate instantaneous voltage, voltage sag magnitude and duration in a three-phase system at fault duration. The approach is based on time-domain state estimation where redundant measurements are available. The current based model allows a linear mapping between the m...
متن کامل