Formal Specification of Medical Systems by Proof-Based Refinement - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Embedded Computing Systems (TECS) Year : 2013

Formal Specification of Medical Systems by Proof-Based Refinement

Abstract

Formal methods have emerged as an alternative approach to ensuring quality and correctness of highly critical systems, overcoming limitations of traditional validation techniques such as simulation and testing. We propose a refinement-based methodology for complex medical systems design, which possesses all the required key features. A refinement-based combined approach of formal verification, model validation using a model-checker and refinement chart is proposed in this methodology for designing a high-confidence medical device. Furthermore, we show the effectiveness of this methodology for the design of a cardiac pacemaker system.
No file

Dates and versions

inria-00637756 , version 1 (02-11-2011)

Identifiers

Cite

Dominique Méry, Neeraj Kumar Singh. Formal Specification of Medical Systems by Proof-Based Refinement. ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩. ⟨inria-00637756⟩
248 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More