DOI: 10.7763/IJCTE.2014.V6.882
SaNTEA: Stopwatch Petri Net Based Tool for Embedded Systems Analysis
Abstract—This paper describes the first version of a
reliability analysis tool that implements a new version of feared
scenarios generation algorithm. SaNTEA (Stopwatch Petri Net
based Tool for Embedded systems Analysis) allows the
representation of the suspension and resumption of task
execution and the extraction of feared scenarios that lead an
embedded system to a critical situation. In this version of
SaNTEA, discrete and continuous dynamics of the system are
coupled in the same formalism; feared scenarios can be
extracted directly from an object-oriented stopwatch Petri net
model.
Index Terms—Embedded systems, feared scenarios, object
oriented approach, reliability tool, stopwatch petri nets.
The authors are with the Faculty of new technologies of information and
communication, University Constantine II, Algeri (e-mail:
afifa.ghenai@gmail.com).
Cite:Afifa Ghenai, Hadjer Slimani, and Mohamed Benmohammed, "SaNTEA: Stopwatch Petri Net Based Tool for Embedded Systems Analysis," International Journal of Computer Theory and Engineering vol. 6, no. 4, pp. 319-325, 2014.