Towards the Design of Safety-Critical Software
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Universidad Nacional Autónoma de México
2013
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876480735050727424 |
|---|---|
| author | R. Rafeh |
| author_facet | R. Rafeh |
| contents | Towards the Design of Safety-Critical Software R. Rafeh A. Rabiee Ingeniería CIIP Safety hazard formal languages critical software 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). 2013 artículo científico 1665-6423 https://www.redalyc.org/articulo.oa?id=47429697007 en http://www.redalyc.org/revista.oa?id=474 Journal of Applied Research and Technology application/pdf Universidad Nacional Autónoma de México Journal of Applied Research and Technology (México) Num.5 Vol.11 |
| format | Artículo científico |
| id | redalyc_47429697007 |
| institution | Redalyc |
| language | en |
| publishDate | 2013 |
| publisher | Universidad Nacional Autónoma de México |
| spellingShingle | Towards the Design of Safety-Critical Software R. Rafeh Ingeniería CIIP Safety hazard formal languages critical software Towards the Design of Safety-Critical Software R. Rafeh A. Rabiee Ingeniería CIIP Safety hazard formal languages critical software 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). 2013 artículo científico 1665-6423 https://www.redalyc.org/articulo.oa?id=47429697007 en http://www.redalyc.org/revista.oa?id=474 Journal of Applied Research and Technology application/pdf Universidad Nacional Autónoma de México Journal of Applied Research and Technology (México) Num.5 Vol.11 |
| title | Towards the Design of Safety-Critical Software |
| topic | Ingeniería CIIP Safety hazard formal languages critical software |
| url | https://www.redalyc.org/articulo.oa?id=47429697007 |