Verkauf durch Sack Fachmedien

Boulanger

Safety of Software-based Systems

Medium: Buch
ISBN: 978-1-84821-414-9
Verlag: ISTE Ltd and John Wiley & Sons Inc
Erscheinungstermin: 04.05.2020
Lieferfrist: bis zu 10 Tage

Lieferung vom Verlag mit leichten Qualitätsmängeln möglich


Produkteigenschaften


  • Artikelnummer: 9781848214149
  • Medium: Buch
  • ISBN: 978-1-84821-414-9
  • Verlag: ISTE Ltd and John Wiley & Sons Inc
  • Erscheinungstermin: 04.05.2020
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2020
  • Serie: ISTE
  • Produktform: Gebunden
  • Gewicht: 590 g
  • Seiten: 504
  • Format (B x H x T): 150 x 250 x 22 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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