- We will send in 10–14 business days.
/images/books/13316071/9783736994928.jpg)
- Author: Asim Ali Ahmed Abdulkhaleq
- Publisher: Cuvillier
- ISBN-10: 3736994923
- ISBN-13: 9783736994928
- Format: 14.8 x 21 x 1.2 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (e-book) (used book) | bookbook.eu
Reviews
Description
In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 19d.21:15:20
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Asim Ali Ahmed Abdulkhaleq
- Publisher: Cuvillier
- ISBN-10: 3736994923
- ISBN-13: 9783736994928
- Format: 14.8 x 21 x 1.2 cm, softcover
- Language: English English
In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.
Reviews