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