Safety of Software–based Systems

Jean–Louis Boulanger (Autor)

Buch | Hardcover

504 Seiten

2020
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-414-9 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This book presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, automation, automotive, nuclear, railway and space.

1. Introduction 2. A new approach and human story in the railway domain 3. Presentation of the formal methods used for develop and validate the SAET-METEOR 4. Proof of global properties with the Simulink design verifier tools 5. Safety demonstration for an interlocking application in normal and degraded mode by formal proof 6. Formal proof used on a CBTC 7. Railway safety critical application validated with petri-nets 8. Synthetises and conclusion 9. Glossary 10. index

Erscheint lt. Verlag	4.5.2020
Verlagsort	London
Sprache	englisch
Maße	150 x 250 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
ISBN-10	1-84821-414-6 / 1848214146
ISBN-13	978-1-84821-414-9 / 9781848214149
Zustand	Neuware