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

Joseph A. Kinirty

doi:10.21500/20275846.243

Published: 2011-06-30

DOI: 10.21500/20275846.243

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

Joseph A. Kinirty

University College Dublin

View/Download

PDF (Español (España))

FLIP

Dimensions

PlumX

Doi

https://doi.org/10.21500/20275846.243

Issue: Vol. 2 No. 1 (2011): Ingenierías USBMed

How to Cite

Kinirty, J. A. (2011). Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ingenierías USBmed, 2(1), 15–17. https://doi.org/10.21500/20275846.243

More Citation Formats

ACM ACS APA ABNT Chicago Harvard IEEE MLA Turabian Vancouver

Download Citation

Endnote/Zotero/Mendeley (RIS) BibTeX

License terms ▼

This journal provides immediately free access to its contents under the principle that make available the research results for free to the public, helps for a greater global exchange of knowledge.

Therefore, the journal invokes the Creative Commons 4.0

License attributions: Recognition – Non-commertial - Share equal. Commercial use and distribution of original or derivative works are not permitted and must be done with a equal license as the one that regulate the original work.

Abstract

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.

References

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

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.