Using Event-B for Critical Device Software Systems

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Singh, Neeraj Kumar (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Machine theory.
Software engineering.
Medical informatics.
Computer simulation.
Computer programming.
Formal Languages and Automata Theory.
Software Engineering.
Health Informatics.
Computer Modelling.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares