Skip to Main content Skip to Navigation
Journal articles

A formal approach to rigorous development of critical systems

Abstract : Safety critical systems, such as medical, automotive, and avionics systems, play an important role in our daily lives. Increasing demand for new technologies in these safety critical systems requires rapid adoption of commercial hardware and software. However, the adoption of new hardware and software increases life-threatening vulnerabilities. To aid in the reduction of these vulnerabilities and system failures, this paper proposes a framework based on formal methods for developing safety-critical systems from requirements analysis to code generation. This framework includes a development process for documenting system requirements using tabular expressions, automatic formal model generation from the documented requirements, verification and validation of the generated formal models using proof techniques and animations, interactive simulation for validating the required behavior of the developed models by enabling domain experts to observe the system states according to, and finally, code generation from the formal model into a desired language. A prototype toolchain is developed to automate this framework. An assessment of the proposed framework is undertaken through a case study: insulin infusion pump (IIP).
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03617647
Contributor : Neeraj Kumar Singh Connect in order to contact the contributor
Submitted on : Wednesday, March 23, 2022 - 3:46:00 PM
Last modification on : Monday, July 4, 2022 - 9:10:54 AM

Identifiers

Citation

Neeraj Kumar Singh, Mark Lawford, Thomas Maibaum, Alan Wassyng. A formal approach to rigorous development of critical systems. Journal of Software: Evolution and Process, John Wiley & Sons, Ltd., 2021, Special issue : Safe and secure cyber-physical systems, 33 (e2334), pp.1-27. ⟨10.1002/smr.2334⟩. ⟨hal-03617647⟩

Share

Metrics

Record views

17