Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Similares em SciELO
Compartilhar
Journal of applied research and technology
versão On-line ISSN 2448-6736versão impressa ISSN 1665-6423
Resumo
RAFEH, R. e RABIEE, A.. Towards the Design of Safety-Critical Software. J. appl. res. technol [online]. 2013, vol.11, n.5, pp.683-694. ISSN 2448-6736.
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).
Palavras-chave : Safety-critical software; hazard; formal languages; CIIP.
![](/img/en/iconPDFDocument.gif)