Revista: | Journal of applied research and technology |
Base de datos: | PERIÓDICA |
Número de sistema: | 000373900 |
ISSN: | 1665-6423 |
Autores: | Rafeh, R1 Rabiee, A1 |
Instituciones: | 1Arak University, Department of Computer Engineering, Arak. Irán |
Año: | 2013 |
Periodo: | Oct |
Volumen: | 11 |
Número: | 5 |
Paginación: | 683-694 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Experimental, aplicado |
Resumen en inglés | 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) |
Disciplinas: | Ciencias de la computación |
Palabras clave: | Programación, Seguridad en cómputo, Software, Lenguajes formales, Ingeniería biomédica, Lenguaje Z |
Keyword: | Computer science, Programming, Computing security, Software, Formal languages, Biomedical engineering, Z language |
Texto completo: | Texto completo (Ver HTML) |