Métodos formales para verificar los nuevos desarrollos en sistemas de transporte

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

Full description

Bibliographic Details
Main Author: Joseph A. Kinirty
Format: Article
Language:Spanish
Published: Universidad de San Buenaventura 2011-06-01
Series:Ingenierías USBMed
Subjects:
Métodos formales
verificación formal
sistemas ciber-físicos de transporte.
Online Access:http://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243/119
id doaj-afc65827aa594f53bef01a3699d58d52
record_format Article
spelling doaj-afc65827aa594f53bef01a3699d58d522020-11-24T22:20:56ZspaUniversidad 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.
collection DOAJ
language Spanish
format Article
sources DOAJ
author Joseph A. Kinirty
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.
author_facet Joseph A. Kinirty
author_sort Joseph A. Kinirty
title 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
publisher Universidad de San Buenaventura
series Ingenierías USBMed
issn 2027-5846
2027-5846
publishDate 2011-06-01
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.
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
_version_ 1725773144271093760

Similar Items