Safety of Software-based Systems

Safety of Software-based Systems

Free delivery worldwide

Available soon, pre-order now.
When will my order arrive?


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.
show more

Product details

  • Hardback | 504 pages
  • 150 x 250 x 22mm | 590g
  • London, United Kingdom
  • English
  • 1. Auflage
  • 1848214146
  • 9781848214149

Table of contents

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
show more