Linköping University: Students Alumni Trade and Industry/Society Internal Search
SAVE01b

Modeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case

Luis Alejandro Cortes
 
Petru Eles Author homepage
Zebo Peng Author homepage

SAVE Project Report, Dept. of Computer and Information Science, Linköping University, December 2001.

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


Related files:
SAVE01b.pdfAdobe Acrobat portable document
SAVE01b.ps.gzpostscript document, compressed (with gzip)


[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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)