Using Event-B for Critical Device Software Systems

• Main Author: Singh, Neeraj Kumar. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Subjects: Computer science.; Medical records > Data processing.; Software engineering.; Computer simulation.; Computer Science.; Mathematical Logic and Formal Languages.; Software Engineering.; Health Informatics.; Simulation and Modeling.; Programming Techniques.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4471-5260-6

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.