Modeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, December 2001.
Embedded systems are becoming increasingly common in objects that we use in our everyday life. Embedded systems are typically characterized by their dedicated function and real-time behavior. Many of them must fulfill strict requirements in terms of reliability and correctness. Designing systems with such features, combined with high levels of complexity and tight time-to-market constraints, is a challenging task. In order to devise systems with such features, a formal design methodology is necessary to carry out systematically the different tasks along the design flow. The SAVE project aims at the development of a formal approach to specification, implementation, and verification of heterogeneous electronic systems. We have developed techniques for modeling and verifying embedded systems. This document reports the main results that have been obtained within the frame of SAVE in the fields of modeling and verification. An industrial system is used as study case in order to demonstrate the feasibility of the approach on practical applications.
[AEP01] Luis Alejandro Cortes, Petru Eles, Zebo Peng, "Modeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case", SAVE Project Report, Dept. of Computer and Information Science, Linköping University, December 2001.