Métodos formales para verificar los nuevos desarrollos en sistemas de transporte

Formal methods for verify the new developments in transportation systems

dc.creatorKinirty, Joseph A.
dc.date2018-09-28T18:04:17Z
dc.date2018-09-28T18:04:17Z
dc.date2011
dc.date2018-09-21
dc.date.accessioned2023-09-07T15:33:36Z
dc.date.available2023-09-07T15:33:36Z
dc.identifierKinirty, J. A. (2011). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Revista de Ingenierías USBMed, 2(1), 15–17. https://doi.org/10.21500/20275846.243
dc.identifier2027-5846
dc.identifierhttp://hdl.handle.net/10819/6241
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/8735191
dc.descriptionThe rapid development of modern cyber-physical systems and the increasing complexity of its design and analysis requires new technologies to make the process of verification and integration. Because of the mathematical basis that supports them and the steady increase in the effectiveness of its procedures, formal methods are called to provide such technologies. This paper compares the processes and the traditional formal verification simulation tool to cyber-physical systems.
dc.descriptionEl acelerado desarrollo de los sistemas ciber-físicos modernos y el incremento en la complejidad de su diseño y análisis, requiere nuevas tecnologías para realizar los procesos de verificación e integración. Debido a la base matemática que los sustenta y al incremento constante en la efectividad de sus procedimientos, los métodos formales son los llamados a proporcionar esas tecnologías. En este artículo se comparan los procesos de verificación formal y la tradicional herramienta de simulación para verificar sistemas ciber-físicos
dc.formatpdf
dc.format3 páginas
dc.formatRecurso en linea
dc.formatapplication/pdf
dc.formatapplication/pdf
dc.languagespa
dc.publisherEditorial Bonaventuriana
dc.publisherIngenierias
dc.publisherMedellín
dc.relationhttp://dx.doi.org/10.21500/20275846.243
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAtribución-NoComercial-SinDerivadas 2.5 Colombia
dc.rightsPor medio de este formato manifiesto mi voluntad de AUTORIZAR a la Universidad de San Buenaventura, Sede Bogotá, Seccionales Medellín, Cali y Cartagena, la difusión en texto completo de manera gratuita y por tiempo indefinido en la Biblioteca Digital Universidad de San Buenaventura, el documento académico-investigativo objeto de la presente autorización, con fines estrictamente educativos, científicos y culturales, en los términos establecidos en la Ley 23 de 1982, Ley 44 de 1993, Decisión Andina 351 de 1993, Decreto 460 de 1995 y demás normas generales sobre derechos de autor. Como autor manifiesto que el presente documento académico-investigativo es original y se realiza sin violar o usurpar derechos de autor de terceros, por lo tanto, la obra es de mi exclusiva autora y poseo la titularidad sobre la misma. La Universidad de San Buenaventura no será responsable de ninguna utilización indebida del documento por parte de terceros y será exclusivamente mi responsabilidad atender personalmente cualquier reclamación que pueda presentarse a la Universidad. Autorizo a la Biblioteca Digital de la Universidad de San Buenaventura convertir el documento al formato que el repositorio lo requiera (impreso, digital, electrónico o cualquier otro conocido o por conocer) o con fines de preservación digital. Esta autorización no implica renuncia a la facultad que tengo de publicar posteriormente la obra, en forma total o parcial, por lo cual podrá, dando aviso por escrito con no menos de un mes de antelación, solicitar que el documento deje de estar disponible para el público en la Biblioteca Digital de la Universidad de San Buenaventura, así mismo, cuando se requiera por razones legales y/o reglas del editor de una revista.
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista de Ingenierías USBMed
dc.sourceUniversidad de San Buenaventura - Medellín
dc.sourceBiblioteca Digital Universidad de San Buenaventura
dc.subjectMétodos formales
dc.subjectVerificación formal
dc.subjectSistemas ciber-físicos de transporte
dc.subjectFormal methods
dc.subjectFormal verification
dc.subjectTransportation cyber-physical systems
dc.subjectTransporte
dc.titleMétodos formales para verificar los nuevos desarrollos en sistemas de transporte
dc.titleFormal methods for verify the new developments in transportation systems
dc.typeArtículo de revista
dc.typeArtículo
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/acceptedVersion


Este ítem pertenece a la siguiente institución