Kniha System-Theoretic Safety Engineering Approach for Software-Intensive Systems Asim Abdulkhaleq

System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Cuvillier
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
48.36
In the software development process, formal verification and functional testing are complementary ap...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2017
Stránok
220
EAN
9783736994928
ISBN
3736994923
Enbook ID
16014325
Vydavateľ
Hmotnosť
268
Rozmery
148 x 210 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

Skin Cancer

Alfonso Baldi
107.43

Mathilde Blind

James Diedrick
61.51

Rainbow Rob

PRIDDY ROGER
11.47

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

30.31