Boulanger | Safety of Software-based Systems | Buch | 978-1-84821-414-9 | www2.sack.de

Buch, Englisch, 504 Seiten, Format (B × H): 150 mm x 250 mm, Gewicht: 590 g

Boulanger

Safety of Software-based Systems


1. Auflage 2020
ISBN: 978-1-84821-414-9
Verlag: ISTE Ltd and John Wiley & Sons Inc

Buch, Englisch, 504 Seiten, Format (B × H): 150 mm x 250 mm, Gewicht: 590 g

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

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.

Boulanger Safety of Software-based Systems jetzt bestellen!

Autoren/Hrsg.

Boulanger, Jean-Louis

Fachgebiete

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.