Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
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...
- Autores:
-
Kinirty, Joseph A.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Universidad de San Buenaventura
- Repositorio:
- Repositorio USB
- Idioma:
- spa
- OAI Identifier:
- oai:bibliotecadigital.usb.edu.co:10819/27269
- Acceso en línea:
- https://hdl.handle.net/10819/27269
https://doi.org/10.21500/20275846.243
- Palabra clave:
- Rights
- openAccess
- License
- Revista Ingenierias USBmed - 2015
| id |
SANBUENAV2_d96f2d97b334ba97d4298e38f172c5c1 |
|---|---|
| oai_identifier_str |
oai:bibliotecadigital.usb.edu.co:10819/27269 |
| network_acronym_str |
SANBUENAV2 |
| network_name_str |
Repositorio USB |
| repository_id_str |
|
| spelling |
Kinirty, Joseph A.2011-06-30T00:00:00Z2025-08-21T22:03:40Z2011-06-30T00:00:00Z2025-08-21T22:03:40Z2011-06-30El 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.application/pdf10.21500/20275846.2432027-5846https://hdl.handle.net/10819/27269https://doi.org/10.21500/20275846.243spaUniversidad San Buenaventura - USB (Colombia)https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/243/119Núm. 1 , Año 2011 : Ingenierías USBMed171152Ingenierías USBMedJ. A. Stankovic, I. Lee, A. Mok & R. Rajkumar. “Opportunities and obligations for physical computing systems”. Computer, Vol. 38, No. 11, pp. 23-31. 2005.B. Brosgol & C. Comar. “DO-178C: A New Standard for Software Safety Certification”. SSTC 2010, Salt Lake City, Utah, USA. 2010.E. A. Lee. “Cyber-Physical Systems - Are Computing Foundations Adequate?” NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. Austin, USA, Oct. 16-17. 2006.E. A. Lee. “Cyber Physical Systems: Design Challenges”. Invited Paper International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). Orlando, USA, May 5-7. 2008.J. Wegener & F. Mueller. “Comparison of static analysis and evolutionary testing for the verification of timing constraints”. Real-Time Systems, Vol. 21, No. 3, pp. 241-268. 2001M. Broy. “Functional specification of time-sensitive communicating systems”. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, pp. 1-46. 1993R. Venkatasubramanian, J. P. Hayes & B. T. Murray. “Lowcost on-line fault detection using control low assertions”. International On-Line Testing Symposium. Kos Island, Greece, pp. 137-143. 2003.Revista Ingenierias USBmed - 2015info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2https://creativecommons.org/licenses/by-nc-sa/4.0/https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243Métodos formales para verificar los nuevos desarrollos en sistemas de transporteMétodos formales para verificar los nuevos desarrollos en sistemas de transporteArtículo de revistahttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Textinfo:eu-repo/semantics/articleJournal articleinfo:eu-repo/semantics/publishedVersionPublicationOREORE.xmltext/xml2527https://bibliotecadigital.usb.edu.co/bitstreams/fc4f31e8-3367-43bb-9a5e-401b3b346dce/download5f839be3d8556cd26ed283108de1028dMD5110819/27269oai:bibliotecadigital.usb.edu.co:10819/272692025-08-21 17:03:40.541https://creativecommons.org/licenses/by-nc-sa/4.0/https://bibliotecadigital.usb.edu.coRepositorio Institucional Universidad de San Buenaventura Colombiabdigital@metabiblioteca.com |
| dc.title.spa.fl_str_mv |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| dc.title.translated.eng.fl_str_mv |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| 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 |
| 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.spa.fl_str_mv |
Kinirty, Joseph A. |
| description |
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ísicos. |
| publishDate |
2011 |
| dc.date.accessioned.none.fl_str_mv |
2011-06-30T00:00:00Z 2025-08-21T22:03:40Z |
| dc.date.available.none.fl_str_mv |
2011-06-30T00:00:00Z 2025-08-21T22:03:40Z |
| dc.date.issued.none.fl_str_mv |
2011-06-30 |
| 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.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.local.eng.fl_str_mv |
Journal article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.doi.none.fl_str_mv |
10.21500/20275846.243 |
| dc.identifier.eissn.none.fl_str_mv |
2027-5846 |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/10819/27269 |
| dc.identifier.url.none.fl_str_mv |
https://doi.org/10.21500/20275846.243 |
| identifier_str_mv |
10.21500/20275846.243 2027-5846 |
| url |
https://hdl.handle.net/10819/27269 https://doi.org/10.21500/20275846.243 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.bitstream.none.fl_str_mv |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/243/119 |
| dc.relation.citationedition.spa.fl_str_mv |
Núm. 1 , Año 2011 : Ingenierías USBMed |
| dc.relation.citationendpage.none.fl_str_mv |
17 |
| dc.relation.citationissue.spa.fl_str_mv |
1 |
| dc.relation.citationstartpage.none.fl_str_mv |
15 |
| dc.relation.citationvolume.spa.fl_str_mv |
2 |
| dc.relation.ispartofjournal.spa.fl_str_mv |
Ingenierías USBMed |
| dc.relation.references.spa.fl_str_mv |
J. A. Stankovic, I. Lee, A. Mok & R. Rajkumar. “Opportunities and obligations for physical computing systems”. Computer, Vol. 38, No. 11, pp. 23-31. 2005. B. Brosgol & C. Comar. “DO-178C: A New Standard for Software Safety Certification”. SSTC 2010, Salt Lake City, Utah, USA. 2010. E. A. Lee. “Cyber-Physical Systems - Are Computing Foundations Adequate?” NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. Austin, USA, Oct. 16-17. 2006. E. A. Lee. “Cyber Physical Systems: Design Challenges”. Invited Paper International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). Orlando, USA, May 5-7. 2008. J. Wegener & F. Mueller. “Comparison of static analysis and evolutionary testing for the verification of timing constraints”. Real-Time Systems, Vol. 21, No. 3, pp. 241-268. 2001 M. Broy. “Functional specification of time-sensitive communicating systems”. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, pp. 1-46. 1993 R. Venkatasubramanian, J. P. Hayes & B. T. Murray. “Lowcost on-line fault detection using control low assertions”. International On-Line Testing Symposium. Kos Island, Greece, pp. 137-143. 2003. |
| dc.rights.spa.fl_str_mv |
Revista Ingenierias USBmed - 2015 |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| rights_invalid_str_mv |
Revista Ingenierias USBmed - 2015 http://purl.org/coar/access_right/c_abf2 https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad San Buenaventura - USB (Colombia) |
| dc.source.spa.fl_str_mv |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243 |
| institution |
Universidad de San Buenaventura |
| bitstream.url.fl_str_mv |
https://bibliotecadigital.usb.edu.co/bitstreams/fc4f31e8-3367-43bb-9a5e-401b3b346dce/download |
| bitstream.checksum.fl_str_mv |
5f839be3d8556cd26ed283108de1028d |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad de San Buenaventura Colombia |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1851053614992195584 |