|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Using Event-B for Critical Device Software Systems
ISBN-13:
9781447152606
Veröffentl:
2013
Seiten:
326
Autor:
Neeraj Kumar Singh
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).
Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix A: Certification Standards.- Index.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
