Description
Safety of Software-Based Systems
Author: Boulanger Jean–Louis
Language: EnglishApproximative price 168.36 €
In Print (Delivery period: 15 days).
Add to cart the book of Boulanger Jean–Louis· 15x25 cm · Hardback
Description
/li>Contents
/li>
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