Hazard-driven Testing of Safety-Related Software
نویسنده
چکیده
This paper argues that the safety verification of a safety-related software system needs to be distinguished from the task of verifying that the behaviour of the system conforms to the requirements. Limitations of requirements-based testing are discussed. The main characteristics of a hazard-driven approach to safety testing of software-intensive systems are outlined. This paper also briefly describes an iterative, exploratory approach to safety verification that aims to expose operationally realistic conditions under which unsafe behaviour may occur.
منابع مشابه
Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development
The rapid growth of software intensive active safety functions in modern cars resulted in adoption of new safety development standards like ISO 26262 by the automotive industry. Hazard analysis, safety assessment and adequate verification and validation methods for software and car electronics require effort but in the long run save lives. We argue that in the face of complex software developme...
متن کاملAn Approach to Modeling Software Safety in Safety-Critical Systems
Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Problem statement: Existing software quality models like McCall’s and Boehm’s and ISO 9126 were inadequate in addressing the software safety issues of real time safety-critical embedded systems....
متن کاملSoftware Safety Demonstration and Idemnification
In cyber-physical systems, software may control safety-significant operations. This report discusses a method to structure software testing to measure the statistical confidence that algorithms are true to their intended design. The subject matter appears in two main parts: theory, which shows the relationship between discrete systems theory, software, and the actuated automaton; and applicatio...
متن کاملEvolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences
Whereas the verification of non-safety-related, embedded software typically focuses on demonstrating that the implementation fulfills its functional requirements, this is not sufficient for safety-relevant systems. In this case, the control software must also meet application-specific safety requirements. Safety requirements typically arise from the application of hazard and/or safety analysis ...
متن کاملSafe and Reliable Computer Control Systems Concepts and Methods
The introduction of computers into safety-critical control systems lays a heavy burden on the software designers. The public and the legislators demand reliable and safe computer control systems, equal to or better than the mechanical or electromechanical parts they replace. The designers must have a thorough understanding of the system and more accurate software design and verification techniq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003