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

The 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 proc...

Full description

Autores:
Kinirty, Joseph A.
Tipo de recurso:
Fecha de publicación:
2011
Institución:
Universidad de San Buenaventura
Repositorio:
Repositorio USB
Idioma:
spa
OAI Identifier:
oai:bibliotecadigital.usb.edu.co:10819/6241
Acceso en línea:
http://hdl.handle.net/10819/6241
Palabra clave:
Métodos formales
Verificación formal
Sistemas ciber-físicos de transporte
Formal methods
Formal verification
Transportation cyber-physical systems
Transporte
Rights
License
Atribución-NoComercial-SinDerivadas 2.5 Colombia
id SANBUENAV2_a347a782c95e95bfcb85dd85c0ef83fe
oai_identifier_str oai:bibliotecadigital.usb.edu.co:10819/6241
network_acronym_str SANBUENAV2
network_name_str Repositorio USB
repository_id_str
dc.title.spa.fl_str_mv Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
dc.title.alternative.spa.fl_str_mv Formal methods for verify the new developments in transportation systems
title Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
spellingShingle Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
Métodos formales
Verificación formal
Sistemas ciber-físicos de transporte
Formal methods
Formal verification
Transportation cyber-physical systems
Transporte
title_short Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
title_full Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
title_fullStr Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
title_full_unstemmed Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
title_sort Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
dc.creator.fl_str_mv Kinirty, Joseph A.
dc.contributor.author.none.fl_str_mv Kinirty, Joseph A.
dc.subject.spa.fl_str_mv Métodos formales
Verificación formal
Sistemas ciber-físicos de transporte
Formal methods
Formal verification
Transportation cyber-physical systems
topic Métodos formales
Verificación formal
Sistemas ciber-físicos de transporte
Formal methods
Formal verification
Transportation cyber-physical systems
Transporte
dc.subject.lemb.spa.fl_str_mv Transporte
description The 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.
publishDate 2011
dc.date.issued.none.fl_str_mv 2011
dc.date.accessioned.none.fl_str_mv 2018-09-28T18:04:17Z
dc.date.available.none.fl_str_mv 2018-09-28T18:04:17Z
dc.date.submitted.none.fl_str_mv 2018-09-21
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.spa.spa.fl_str_mv Artículo
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.identifier.citation.spa.fl_str_mv Kinirty, 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.identifier.issn.none.fl_str_mv 2027-5846
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10819/6241
identifier_str_mv Kinirty, 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
2027-5846
url http://hdl.handle.net/10819/6241
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.uri.spa.fl_str_mv http://dx.doi.org/10.21500/20275846.243
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.cc.spa.fl_str_mv Atribución-NoComercial-SinDerivadas 2.5 Colombia
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
rights_invalid_str_mv Atribución-NoComercial-SinDerivadas 2.5 Colombia
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
http://purl.org/coar/access_right/c_abf2
dc.format.spa.fl_str_mv pdf
dc.format.extent.spa.fl_str_mv 3 páginas
dc.format.medium.spa.fl_str_mv Recurso en linea
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Editorial Bonaventuriana
dc.publisher.faculty.spa.fl_str_mv Ingenierias
dc.publisher.sede.spa.fl_str_mv Medellín
dc.source.spa.fl_str_mv Revista de Ingenierías USBMed
institution Universidad de San Buenaventura
dc.source.instname.spa.fl_str_mv Universidad de San Buenaventura - Medellín
dc.source.reponame.spa.fl_str_mv Biblioteca Digital Universidad de San Buenaventura
bitstream.url.fl_str_mv https://bibliotecadigital.usb.edu.co/bitstreams/e24dd780-5cd5-4290-a080-eb0d6ed6d4ac/download
https://bibliotecadigital.usb.edu.co/bitstreams/c99b20d7-a786-47f0-b017-f1434a9cdbd7/download
https://bibliotecadigital.usb.edu.co/bitstreams/f3f2aadb-cafd-4980-ab09-4c819468584d/download
https://bibliotecadigital.usb.edu.co/bitstreams/65ff2344-7c67-4250-a9b6-9926011a3744/download
bitstream.checksum.fl_str_mv f8af890826d2f67003f87a32ee5ab2fb
0c7b7184e7583ec671a5d9e43f0939c0
e42d7c8d46388a427ef39ef47d639aef
d4dc3389f1409ae1e49a03f3417c2fde
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad de San Buenaventura Colombia
repository.mail.fl_str_mv bdigital@metabiblioteca.com
_version_ 1812932475425390592
spelling Comunidad Científica y AcadémicaKinirty, Joseph A.a7458897-7ea1-436c-b885-133cfad25ce4-12018-09-28T18:04:17Z2018-09-28T18:04:17Z20112018-09-21The 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.El 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ísicospdf3 páginasRecurso en lineaapplication/pdfKinirty, 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.2432027-5846http://hdl.handle.net/10819/6241spaEditorial BonaventurianaIngenieriasMedellínhttp://dx.doi.org/10.21500/20275846.243Atribución-NoComercial-SinDerivadas 2.5 ColombiaPor 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.http://creativecommons.org/licenses/by-nc-nd/2.5/co/http://purl.org/coar/access_right/c_abf2Revista de Ingenierías USBMedUniversidad de San Buenaventura - MedellínBiblioteca Digital Universidad de San BuenaventuraMétodos formalesVerificación formalSistemas ciber-físicos de transporteFormal methodsFormal verificationTransportation cyber-physical systemsTransporteMétodos formales para verificar los nuevos desarrollos en sistemas de transporteFormal methods for verify the new developments in transportation systemsArtículo de revistaArtículoinfo:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_2df8fbb1Editorial BonaventurianaPublicationORIGINALMetodos_Formales_Verificar_Kinirty_2011.pdfMetodos_Formales_Verificar_Kinirty_2011.pdfapplication/pdf166741https://bibliotecadigital.usb.edu.co/bitstreams/e24dd780-5cd5-4290-a080-eb0d6ed6d4ac/downloadf8af890826d2f67003f87a32ee5ab2fbMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82071https://bibliotecadigital.usb.edu.co/bitstreams/c99b20d7-a786-47f0-b017-f1434a9cdbd7/download0c7b7184e7583ec671a5d9e43f0939c0MD52TEXTMetodos_Formales_Verificar_Kinirty_2011.pdf.txtMetodos_Formales_Verificar_Kinirty_2011.pdf.txtExtracted texttext/plain11851https://bibliotecadigital.usb.edu.co/bitstreams/f3f2aadb-cafd-4980-ab09-4c819468584d/downloade42d7c8d46388a427ef39ef47d639aefMD53THUMBNAILMetodos_Formales_Verificar_Kinirty_2011.pdf.jpgMetodos_Formales_Verificar_Kinirty_2011.pdf.jpgGenerated Thumbnailimage/jpeg12964https://bibliotecadigital.usb.edu.co/bitstreams/65ff2344-7c67-4250-a9b6-9926011a3744/downloadd4dc3389f1409ae1e49a03f3417c2fdeMD5410819/6241oai:bibliotecadigital.usb.edu.co:10819/62412023-04-12 16:34:15.744http://creativecommons.org/licenses/by-nc-nd/2.5/co/https://bibliotecadigital.usb.edu.coRepositorio Institucional Universidad de San Buenaventura Colombiabdigital@metabiblioteca.comPGNlbnRlcj4KPGgzPkJJQkxJT1RFQ0EgRElHSVRBTCBVTklWRVJTSURBRCBERSBTQU4gQlVFTkFWRU5UVVJBIC0gQ09MT01CSUE8L2gzPgo8cD4KVMOpcm1pbm9zIGRlIGxhIGxpY2VuY2lhIGdlbmVyYWwgcGFyYSBwdWJsaWNhY2nDs24gZGUgb2JyYXMgZW4gZWwgcmVwb3NpdG9yaW8gaW5zdGl0dWNpb25hbDwvcD48L2NlbnRlcj4KPFAgQUxJR049Y2VudGVyPgpQb3IgbWVkaW8gZGUgZXN0ZSBmb3JtYXRvIG1hbmlmaWVzdG8gbWkgdm9sdW50YWQgZGUgQVVUT1JJWkFSIGEgbGEgVW5pdmVyc2lkYWQgZGUgU2FuIEJ1ZW5hdmVudHVyYSwgU2VkZSBCb2dvdMOhIHkgPEJSPlNlY2Npb25hbGVzIE1lZGVsbMOtbiwgQ2FsaSB5IENhcnRhZ2VuYSwgbGEgZGlmdXNpw7NuIGVuIHRleHRvIGNvbXBsZXRvIGRlIG1hbmVyYSBncmF0dWl0YSB5IHBvciB0aWVtcG8gaW5kZWZpbmlkbyBlbiBsYTxCUj4gQmlibGlvdGVjYSBEaWdpdGFsIFVuaXZlcnNpZGFkIGRlIFNhbiBCdWVuYXZlbnR1cmEsIGVsIGRvY3VtZW50byBhY2Fkw6ltaWNvIC0gaW52ZXN0aWdhdGl2byBvYmpldG8gZGUgbGEgcHJlc2VudGUgPEJSPmF1dG9yaXphY2nDs24sIGNvbiBmaW5lcyBlc3RyaWN0YW1lbnRlIGVkdWNhdGl2b3MsIGNpZW50w63CrWZpY29zIHkgY3VsdHVyYWxlcywgZW4gbG9zIHTDqXJtaW5vcyBlc3RhYmxlY2lkb3MgZW4gbGEgTGV5IDIzIGRlIDxCUj4gMTk4MiwgTGV5IDQ0IGRlIDE5OTMsIERlY2lzacOzbiBBbmRpbmEgMzUxIGRlIDE5OTMsIERlY3JldG8gNDYwIGRlIDE5OTUgeSBkZW3DoXMgbm9ybWFzIGdlbmVyYWxlcyBzb2JyZSBkZXJlY2hvczxCUj4gZGUgYXV0b3IuIDxCUj4gCiAKQ29tbyBhdXRvciBtYW5pZmllc3RvIHF1ZSBlbCBwcmVzZW50ZSBkb2N1bWVudG8gYWNhZMOpbWljbyAtIGludmVzdGlnYXRpdm8gZXMgb3JpZ2luYWwgeSBzZSByZWFsaXrDsyBzaW4gdmlvbGFyIG8gPEJSPiB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zLCBwb3IgbG8gdGFudG8sIGxhIG9icmEgZXMgZGUgbWkgZXhjbHVzaXZhIGF1dG9yw63CrWEgeSBwb3NlbyBsYSB0aXR1bGFyaWRhZCA8QlI+IHNvYnJlIGxhIG1pc21hLiBMYSBVbml2ZXJzaWRhZCBkZSBTYW4gQnVlbmF2ZW50dXJhIG5vIHNlcsOhIHJlc3BvbnNhYmxlIGRlIG5pbmd1bmEgdXRpbGl6YWNpw7NuIGluZGViaWRhIGRlbCBkb2N1bWVudG8gPEJSPnBvciBwYXJ0ZSBkZSB0ZXJjZXJvcyB5IHNlcsOhIGV4Y2x1c2l2YW1lbnRlIG1pIHJlc3BvbnNhYmlsaWRhZCBhdGVuZGVyIHBlcnNvbmFsbWVudGUgY3VhbHF1aWVyIHJlY2xhbWFjacOzbiBxdWUgcHVlZGE8QlI+IHByZXNlbnRhcnNlIGEgbGEgVW5pdmVyc2lkYWQuIDxCUj4KIApBdXRvcml6byBhIGxhIEJpYmxpb3RlY2EgRGlnaXRhbCBkZSBsYSBVbml2ZXJzaWRhZCBkZSBTYW4gQnVlbmF2ZW50dXJhIGNvbnZlcnRpciBlbCBkb2N1bWVudG8gYWwgZm9ybWF0byBxdWUgZWwgPEJSPnJlcG9zaXRvcmlvIGxvIHJlcXVpZXJhIChpbXByZXNvLCBkaWdpdGFsLCBlbGVjdHLDs25pY28gbyBjdWFscXVpZXIgb3RybyBjb25vY2lkbyBvIHBvciBjb25vY2VyKSBvIGNvbiBmaW5lcyBkZTxCUj4gcHJlc2VydmFjacOzbiBkaWdpdGFsLiA8QlI+CiAKRXN0YSBhdXRvcml6YWNpw7NuIG5vIGltcGxpY2EgcmVudW5jaWEgYSBsYSBmYWN1bHRhZCBxdWUgdGVuZ28gZGUgcHVibGljYXIgcG9zdGVyaW9ybWVudGUgbGEgb2JyYSwgZW4gZm9ybWEgdG90YWwgbyA8QlI+cGFyY2lhbCwgcG9yIGxvIGN1YWwgcG9kcsOpLCBkYW5kbyBhdmlzbyBwb3IgZXNjcml0byBjb24gbm8gbWVub3MgZGUgdW4gbWVzIGRlIGFudGVsYWNpw7NuLCBzb2xpY2l0YXIgcXVlIGVsIDxCUj5kb2N1bWVudG8gZGVqZSBkZSBlc3RhciBkaXNwb25pYmxlIHBhcmEgZWwgcMO6YmxpY28gZW4gbGEgQmlibGlvdGVjYSBEaWdpdGFsIGRlIGxhIFVuaXZlcnNpZGFkIGRlIFNhbiBCdWVuYXZlbnR1cmEsIDxCUj4gYXPDrcKtIG1pc21vLCBjdWFuZG8gc2UgcmVxdWllcmEgcG9yIHJhem9uZXMgbGVnYWxlcyB5L28gcmVnbGFzIGRlbCBlZGl0b3IgZGUgdW5hIHJldmlzdGEuIDxCUj48L1A+Cg==

Publicaciones similares