Safety of Software-Based Systems
Safety of Software-Based Systems
Click to enlarge
Author(s): Boulanger, Jean-Louis
ISBN No.: 9781848214149
Pages: 504
Year: 202004
Format: Trade Cloth (Hard Cover)
Price: $ 213.90
Dispatch delay: Dispatched between 7 to 15 days
Status: Available (Forthcoming)

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.


To be able to view the table of contents for this publication then please subscribe by clicking the button below...
To be able to view the full description for this publication then please subscribe by clicking the button below...