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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad de San Buenaventura
2011-06-01
|
| Series: | Ingenierías USBMed |
| Subjects: | |
| Online Access: | http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119 |
| _version_ | 1819274770233950208 |
|---|---|
| author | Joseph A. Kinirty |
| author_facet | Joseph A. Kinirty |
| author_sort | Joseph A. Kinirty |
| collection | DOAJ |
| 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. |
| first_indexed | 2024-12-23T23:13:42Z |
| format | Article |
| id | doaj.art-afc65827aa594f53bef01a3699d58d52 |
| institution | Directory Open Access Journal |
| issn | 2027-5846 2027-5846 |
| language | Spanish |
| last_indexed | 2024-12-23T23:13:42Z |
| publishDate | 2011-06-01 |
| publisher | Universidad de San Buenaventura |
| record_format | Article |
| series | Ingenierías USBMed |
| spelling | doaj.art-afc65827aa594f53bef01a3699d58d522022-12-21T17:26:36ZspaUniversidad de San BuenaventuraIngenierías USBMed2027-58462027-58462011-06-01211517Métodos formales para verificar los nuevos desarrollos en sistemas de transporteJoseph A. Kinirty0University College DublinEl 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.http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119Métodos formalesverificación formalsistemas ciber-físicos de transporte. |
| spellingShingle | Joseph A. Kinirty Métodos formales para verificar los nuevos desarrollos en sistemas de transporte Ingenierías USBMed Métodos formales verificación formal sistemas ciber-físicos de transporte. |
| title | 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_short | Métodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| title_sort | metodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| topic | Métodos formales verificación formal sistemas ciber-físicos de transporte. |
| url | http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119 |
| work_keys_str_mv | AT josephakinirty metodosformalesparaverificarlosnuevosdesarrollosensistemasdetransporte |