Towards Design of Safety-Critical Software

Rafeh, Reza and Rabiee, Avand (2013) Towards Design of Safety-Critical Software. Journal of Applied Research and Technology , 11 (5). pp. 683-694. ISSN 1665-6423

Full text not available from this repository.

Official URL: http://www.elsevier.es/es-revista-journal-applied-...

Abstract or Summary

Safety is the most important factor when developing software for safety-critical systems. Traditional approaches attempted to achieve safety through testing the software. However, there might be some bugs in the software not revealed in the test procedure. Formal verification is a new trend in developing safe software. In this paper, we propose a multi-phase formal approach for safety management in safety-critical software. We use timed transition Petri-net as a formal means to specify the properties of the model and their relations in each component of the software. In addition, we use the Z language to specify textual and mathematical specifications of the model, as a representative model to evaluate the proposed approach; we chose continuous infusion insulin pump (CIIP).

Item Type:Journal article
Keywords that describe the item:Safety-critical software, hazard, formal languages, CIIP
Subjects:Q Science > QA Mathematics > QA76 Computer software
ID Code:5097
Deposited By:
Deposited On:10 Jan 2017 00:58
Last Modified:19 Dec 2018 23:43

Repository Staff Only: item control page