Share
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (in English)
Asim Ali Ahmed Abdulkhaleq (Author)
·
Cuvillier
· Paperback
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (in English) - Asim Ali Ahmed Abdulkhaleq
$ 55.90
$ 69.88
You save: $ 13.98
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Thursday, July 11 and
Friday, July 12.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (in 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.
