Using Event-B for Critical Device Software Systems

• Κύριος συγγραφέας: Singh, Neeraj Kumar (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Θέματα: Computer science.; Health informatics.; Computer programming.; Software engineering.; Mathematical logic.; Computer simulation.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Health Informatics.; Simulation and Modeling.; Programming Techniques.

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 c...

Πίνακας περιεχομένων:

• 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.