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
| Summary: | 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. |
|---|