dor_id: 45661

506.#.#.a: Público

590.#.#.d: Los artículos enviados a la revista "Journal of Applied Research and Technology", se juzgan por medio de un proceso de revisión por pares

510.0.#.a: Scopus, Directory of Open Access Journals (DOAJ); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); Indice de Revistas Latinoamericanas en Ciencias (Periódica); La Red de Revistas Científicas de América Latina y el Caribe, España y Portugal (Redalyc); Consejo Nacional de Ciencia y Tecnología (CONACyT); Google Scholar Citation

561.#.#.u: https://www.icat.unam.mx/

650.#.4.x: Ingenierías

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: https://jart.icat.unam.mx/index.php/jart

351.#.#.b: Journal of Applied Research and Technology

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: https://jart.icat.unam.mx/index.php/jart/article/view/274/271

100.1.#.a: Rafeh, R.; Rabiee, A.

524.#.#.a: Rafeh, R., et al. (2013). Towards the Design of Safety-Critical Software. Journal of Applied Research and Technology; Vol. 11 Núm. 5. Recuperado de https://repositorio.unam.mx/contenidos/45661

245.1.0.a: Towards the Design of Safety-Critical Software

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Ciencias Aplicadas y Tecnología, UNAM

264.#.0.c: 2013

264.#.1.c: 2013-10-01

653.#.#.a: Safety-critical software; hazard; formal languages; CIIP

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-SA 4.0 Internacional, https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico gabriel.ascanio@icat.unam.mx

884.#.#.k: https://jart.icat.unam.mx/index.php/jart/article/view/274

001.#.#.#: 074.oai:ojs2.localhost:article/274

041.#.7.h: spa

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

773.1.#.t: Journal of Applied Research and Technology; Vol. 11 Núm. 5

773.1.#.o: https://jart.icat.unam.mx/index.php/jart

022.#.#.a: ISSN electrónico: 2448-6736; ISSN: 1665-6423

310.#.#.a: Bimestral

264.#.1.b: Instituto de Ciencias Aplicadas y Tecnología, UNAM

doi: https://doi.org/10.1016/S1665-6423(13)71576-1

harvesting_date: 2023-11-08 13:10:00.0

856.#.0.q: application/pdf

last_modified: 2024-03-19 14:00:00

license_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode.es

license_type: by-nc-sa

_deleted_conflicts: 2-8191ed4748202b7adb83f9e8604320ff

No entro en nada

No entro en nada 2