Trustable formal specification for software certification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6416 LNCS, Issue PART 2, 2010, Pages 312-326

  Méry, Dominique ^a   Singh, Neeraj Kumar ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CARDIAC PACEMAKERS; DOMAIN EXPERTS; DOMAIN SPECIFIC; FORMAL MODEL; FORMAL MODELING LANGUAGE; FORMAL SPECIFICATION; FORMAL VERIFICATIONS; INFORMAL REQUIREMENTS; INTERNAL CONSISTENCY; MEDICAL SYSTEMS; MODEL CHECKER; REAL-TIME DATA; SECOND PHASE; SIMULATION AND TESTING; SOFTWARE CERTIFICATION; TEMPORAL CONSTRAINTS; THIRD PHASE;

ANIMATION; DATA VISUALIZATION; MODEL CHECKING; PACEMAKERS; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS; VISUALIZATION;

FORMAL METHODS;

EID: 78650297836     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16561-0_31     Document Type: Conference Paper

References (25)

1. Keatley, K.L.: A review of the fda draft guidance document for software validation: guidance for industry. Qual. Assur. 7(1), 49-55 (1999)
2. A Research and Development Needs Report by NITRD: High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care, http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf
3. Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Software Engineering Journal 8(4), 189-209 (1993)
4. Jetley, R.P., Carlos, C., Iyer, S.P.: A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. STTT 5(4), 320-330 (2004)
5. Jetley, R., Purushothaman Iyer, S., Jones, P.: A formal methods approach to medical device review. Computer 39(4), 61-67 (2006)
6. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
7. Magee, J.H.: Validation of medical modeling & simulation training devices and systems. Stud. Health Technol. Inform. 94, 196-198 (2003)
8. Common Criteria, http://www.commoncriteria.org/
9. Méry, D., Singh, N.K.: Real-time animation for formal specification. In: Complex Systems Design & Management (CSDM), Paris (2010)
10. Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), 63-69 (2003)
11. Goldman, B.S., Noble, E.J., Heller, J.G., Covvey, D.: The pacemaker challenge. CMAJ 110(1), 28-31 (1974)
12. Heitmeyer, C.L.: On the role of formal methods in software certification: An experience report. Electr. Notes Theor. Comput. Sci. 238(4), 3-9 (2009)
13. Heitmeyer, C.L., Archer, M., Leonard, E.I., McLean, J.: Applying formal methods to a certifiably secure software system. IEEE Trans. Software Eng. 34(1), 82-98 (2008)
14. Rushby, J.: Formal methods and their role in the certification of critical systems. Technical report, Safety and Reliability of Software Based Systems (Twelfth Annual CSR Workshop) (1995)
15. Jackson, M.: The problem frames approach to software engineering. In: APSEC, p. 14 (2007)
16. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999) ISBN 978-0262032704.
17. Project RODIN: Rigorous open development environment for complex systems: RODIN Toolset and ProB. (2004), http://rodin-b-sharp.sourceforge.net/
18. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256-290 (2002)
19. Boston Scientific: Pacemaker system specification, Technical report, Boston Scientific (2007), http://www.cas.mcmaster.ca/sqrl/SQRLDocuments/ PACEMAKER.pdf
20. Macedo, H.D., Larsen, P.G., Fitzgerald, J.S.: Incremental development of a distributed real-time model of a cardiac pacing system using vdm. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 181-197. Springer, Heidelberg (2008)
21. Cansell, D., Méry, D., Rehm, J.: Time constraint patterns for event b development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 140-154. Springer, Heidelberg (2006)
22. Méry, D., Singh, N.K.: Functional behavior of a cardiac pacing system. International Journal of Discrete Event Control Systems 1(2) (in Press, 2010)
23. Méry, D., Singh, N.K.: Technical Report on Formal Development of Two-Electrode Cardiac Pacing System (2010), http://hal.archives-ouvertes.fr/ inria-00465061/en/
24. Malmivuo, J.: Bioelectromagnetism. Oxford University Press, Oxford (1995) ISBN 0-19-505823-2
25. Hesselson, A.: Simplified Interpretations of Pacemaker ECGs. Blackwell Publishers, Malden (2003) ISBN 978-1-4051-0372-5