A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against it...

Full description

Bibliographic Details
Main Authors: Abdulkhaleq, Asim (Author), Wagner, Stefan (Author), Leveson, Nancy G (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor)
Format: Article
Language:English
Published: Elsevier, 2017-04-18T19:50:27Z.
Subjects:
Online Access:Get fulltext