Using Event-B for Critical Device Software Systems

By Michael B. White

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.

• Format: Hardcover
• Language: English
• ISBN: 144715259X
• ISBN13: 9781447152590
• Release Date: July 2013
• Publisher: Springer
• Length: 326 Pages
• Weight: 1.56 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"