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 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.
Guardado en:
2027-5846
2
2011-06-30
15
17
info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
Revista Ingenierias USBmed - 2015
