• Oct 26, 2018 News!Vol.10, No.5 has been published with online version.   [Click]
  • Aug 06, 2018 News!Vol.9, No.1-Vol.9, No.4 have been indexed by EI (Inspec).   [Click]
  • Sep 03, 2018 News!Vol.10, No.4 has been published with online version.   [Click]
General Information
Editor-in-chief
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).

[PDF]

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-2018. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@iacsitp.com