Singh, Neeraj Kumar
Using Event-B for Critical Device Software Systems
Table of contents
1. Introduction
Neeraj Kumar Singh
2. Background
Neeraj Kumar Singh
3. The Modelling Framework: Event-B
Neeraj Kumar Singh
4. Critical System Development Methodology
Neeraj Kumar Singh
5. Real-Time Animator and Requirements Traceability
Neeraj Kumar Singh
6. Refinement Chart
Neeraj Kumar Singh
7. EB2ALL: An Automatic Code Generation Tool
Neeraj Kumar Singh
8. Formal Logic Based Heart-Model
Neeraj Kumar Singh
9. The Cardiac Pacemaker
Neeraj Kumar Singh
10. Formalisation of Electrocardiogram (ECG)
Neeraj Kumar Singh
11. Conclusion
Neeraj Kumar Singh
Keywords: Computer Science, Mathematical Logic and Formal Languages, Software Engineering, Health Informatics, Simulation and Modeling, Programming Techniques
- Author(s)
- Singh, Neeraj Kumar
- Publisher
- Springer
- Publication year
- 2013
- Language
- en
- Edition
- 2013
- Page amount
- 18 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9781447152606
