Using Event-B for Critical Device Software Systems

• Main Author: Singh, Neeraj Kumar (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Subjects: 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...

Table of Contents:

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