Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Name: System-Theoretic Safety Engineering Approach for Software-Intensive Systems
Brand: Cuvillier
SKU: 16014325
Price: 52.19 EUR
Availability: InStock
Author: Asim Abdulkhaleq
ISBN: 9783736994928

Asim Abdulkhaleq

Language

English

Book Paperback

Libristo code: 16014325

Publishers Cuvillier, March 2017

In the software development process, formal verification and functional testing are complementary ap... Full description

Libristo code: 16014325

128 b

52.19 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Quinceanera: UNA Celebracion De La Vida y El Camino De UNA Joven Hacia La Santidad Yokasta Lara

Paperback

13.19 €

Johann Calvin - seine Kirche und sein Staat in Genf Franz Wilhelm Kampschulte

Paperback

34.90 €

Cienkopis point jasny niebieski

Stationery items

0.99 €

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.