• May 27, 2016 News!The submission for Special Issue is officially open now!   [Click]
  • May 03, 2016 News!Vol.6, No.6 has been indexed by EI (Inspec).   [Click]
  • Mar 17, 2017 News!Vol.9, No.2 has been published with online version. 13 peer reviewed articles from 4 specific areas are published in this issue.   [Click]
General Information
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2014 Vol.6(4): 319-325 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2014.V6.882

SaNTEA: Stopwatch Petri Net Based Tool for Embedded Systems Analysis

Afifa Ghenai, Hadjer Slimani, and Mohamed Benmohammed
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.

Copyright © 2008-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com