| 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) |
