Titulo:
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte
.
Sumario:
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
| id |
metarevistapublica_unisanbuenaventura_ingenieriasusbmed_57-article-243 |
|---|---|
| record_format |
ojs |
| spelling |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte R. Venkatasubramanian, J. P. Hayes & B. T. Murray. “Lowcost on-line fault detection using control low assertions”. International On-Line Testing Symposium. Kos Island, Greece, pp. 137-143. 2003. J. A. Stankovic, I. Lee, A. Mok & R. Rajkumar. “Opportunities and obligations for physical computing systems”. Computer, Vol. 38, No. 11, pp. 23-31. 2005. B. Brosgol & C. Comar. “DO-178C: A New Standard for Software Safety Certification”. SSTC 2010, Salt Lake City, Utah, USA. 2010. E. A. Lee. “Cyber-Physical Systems - Are Computing Foundations Adequate?” NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. Austin, USA, Oct. 16-17. 2006. E. A. Lee. “Cyber Physical Systems: Design Challenges”. Invited Paper International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). Orlando, USA, May 5-7. 2008. J. Wegener & F. Mueller. “Comparison of static analysis and evolutionary testing for the verification of timing constraints”. Real-Time Systems, Vol. 21, No. 3, pp. 241-268. 2001 M. Broy. “Functional specification of time-sensitive communicating systems”. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, pp. 1-46. 1993 info:eu-repo/semantics/article Español http://purl.org/coar/resource_type/c_6501 info:eu-repo/semantics/publishedVersion http://purl.org/coar/version/c_970fb48d4fbd8a85 info:eu-repo/semantics/openAccess http://purl.org/coar/access_right/c_abf2 Text Revista Ingenierias USBmed - 2015 https://creativecommons.org/licenses/by-nc-sa/4.0/ Publication https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243 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. Kinirty, Joseph A. 2 Ingenierías USBMed Universidad San Buenaventura - USB (Colombia) application/pdf 1 Núm. 1 , Año 2011 : Ingenierías USBMed Artículo de revista Journal article Métodos formales para verificar los nuevos desarrollos en sistemas de transporte https://doi.org/10.21500/20275846.243 https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/243/119 2011-06-30T00:00:00Z 10.21500/20275846.243 2011-06-30 2027-5846 17 15 2011-06-30T00:00:00Z |
| institution |
UNIVERSIDAD DE SAN BUENAVENTURA |
| thumbnail |
https://nuevo.metarevistas.org/UNIVERSIDADDESANBUENAVENTURA_COLOMBIA/logo.png |
| country_str |
Colombia |
| collection |
Ingenierías USBMed |
| title |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| spellingShingle |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte Kinirty, Joseph A. |
| 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 |
| title_eng |
Métodos formales para verificar los nuevos desarrollos en sistemas de transporte |
| 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.
|
| author |
Kinirty, Joseph A. |
| author_facet |
Kinirty, Joseph A. |
| citationvolume |
2 |
| citationissue |
1 |
| citationedition |
Núm. 1 , Año 2011 : Ingenierías USBMed |
| publisher |
Universidad San Buenaventura - USB (Colombia) |
| ispartofjournal |
Ingenierías USBMed |
| source |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243 |
| language |
Español |
| format |
Article |
| rights |
info:eu-repo/semantics/openAccess http://purl.org/coar/access_right/c_abf2 Revista Ingenierias USBmed - 2015 https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| references |
R. Venkatasubramanian, J. P. Hayes & B. T. Murray. “Lowcost on-line fault detection using control low assertions”. International On-Line Testing Symposium. Kos Island, Greece, pp. 137-143. 2003. J. A. Stankovic, I. Lee, A. Mok & R. Rajkumar. “Opportunities and obligations for physical computing systems”. Computer, Vol. 38, No. 11, pp. 23-31. 2005. B. Brosgol & C. Comar. “DO-178C: A New Standard for Software Safety Certification”. SSTC 2010, Salt Lake City, Utah, USA. 2010. E. A. Lee. “Cyber-Physical Systems - Are Computing Foundations Adequate?” NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. Austin, USA, Oct. 16-17. 2006. E. A. Lee. “Cyber Physical Systems: Design Challenges”. Invited Paper International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). Orlando, USA, May 5-7. 2008. J. Wegener & F. Mueller. “Comparison of static analysis and evolutionary testing for the verification of timing constraints”. Real-Time Systems, Vol. 21, No. 3, pp. 241-268. 2001 M. Broy. “Functional specification of time-sensitive communicating systems”. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, pp. 1-46. 1993 |
| type_driver |
info:eu-repo/semantics/article |
| type_coar |
http://purl.org/coar/resource_type/c_6501 |
| type_version |
info:eu-repo/semantics/publishedVersion |
| type_coarversion |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| type_content |
Text |
| publishDate |
2011-06-30 |
| date_accessioned |
2011-06-30T00:00:00Z |
| date_available |
2011-06-30T00:00:00Z |
| url |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243 |
| url_doi |
https://doi.org/10.21500/20275846.243 |
| eissn |
2027-5846 |
| doi |
10.21500/20275846.243 |
| citationstartpage |
15 |
| citationendpage |
17 |
| url2_str_mv |
https://revistas.usb.edu.co/index.php/IngUSBmed/article/download/243/119 |
| _version_ |
1823468145325637632 |