Name: A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (en Inglés)
Price: 74.80 USD
Availability: InStock
Author: Asim Ali Ahmed Abdulkhaleq
ISBN: 9783736994928

portada A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (en Inglés)

Formato

Libro Físico

Editorial

Cuvillier

Autor

Asim Ali Ahmed Abdulkhaleq

Idioma

Inglés

N° páginas

220

Encuadernación

Tapa Blanda

ISBN13

9783736994928

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (en Inglés)

Asim Ali Ahmed Abdulkhaleq (Autor) · Cuvillier · Tapa Blanda

Libro Físico

$ 74.80

$ 149.61

Ahorras: $ 74.80

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 22 de Julio y el Miércoles 31 de Julio.

Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.

Reseña del libro "A System-Theoretic Safety Engineering Approach for Software-Intensive Systems (en Inglés)"

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.