PDF (Español (España))
FLIP
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
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.
Downloads
Cited by
