RELIABILITY ASSESSMENT OF EMBEDDED SYSTEMS
USING STOPWATCH PETRI NETS
A. Ghenai. International Journal of Computer Science, Engineering and Applications (IJCSEA), 2 (5):
1-16(октября 2012)
DOI: 10.5121/ijcsea.2012.2504
Аннотация
In this paper, we propose a reliability approach in which feared events define reliability requirements and
taking them into account allows to design systems which will be able to avoid the drift towards a feared
state. The description of feared scenarios since the system design phase enables us to understand the
reasons of the feared behavior in order to envisage the necessary reconfigurations and choose safe
architectures. In order to face the increasing complexity of embedded systems and to represent the
suspension and resumption of task execution we propose to extract directly feared scenarios from
Stopwatch Petri net model avoiding the generation of the associated reachability graph and the eternal
combinative explosion problem.
%0 Journal Article
%1 noauthororeditor
%A Ghenai, Afifa
%D 2012
%J International Journal of Computer Science, Engineering and Applications (IJCSEA)
%K Constraints Embedded Feared Nets Petri Reliability Scenarios Stopwatch Systems Time
%N 5
%P 1-16
%R 10.5121/ijcsea.2012.2504
%T RELIABILITY ASSESSMENT OF EMBEDDED SYSTEMS
USING STOPWATCH PETRI NETS
%U http://airccse.org/journal/ijcsea/papers/2512ijcsea04.pdf
%V 2
%X In this paper, we propose a reliability approach in which feared events define reliability requirements and
taking them into account allows to design systems which will be able to avoid the drift towards a feared
state. The description of feared scenarios since the system design phase enables us to understand the
reasons of the feared behavior in order to envisage the necessary reconfigurations and choose safe
architectures. In order to face the increasing complexity of embedded systems and to represent the
suspension and resumption of task execution we propose to extract directly feared scenarios from
Stopwatch Petri net model avoiding the generation of the associated reachability graph and the eternal
combinative explosion problem.
@article{noauthororeditor,
abstract = {In this paper, we propose a reliability approach in which feared events define reliability requirements and
taking them into account allows to design systems which will be able to avoid the drift towards a feared
state. The description of feared scenarios since the system design phase enables us to understand the
reasons of the feared behavior in order to envisage the necessary reconfigurations and choose safe
architectures. In order to face the increasing complexity of embedded systems and to represent the
suspension and resumption of task execution we propose to extract directly feared scenarios from
Stopwatch Petri net model avoiding the generation of the associated reachability graph and the eternal
combinative explosion problem.
},
added-at = {2019-05-10T12:29:01.000+0200},
author = {Ghenai, Afifa},
biburl = {https://www.bibsonomy.org/bibtex/2951daee4a3421876f0d5806e2b6d05df/ijcsea},
doi = {10.5121/ijcsea.2012.2504},
interhash = {8ca950e6b1b8a760e54412484143d64a},
intrahash = {951daee4a3421876f0d5806e2b6d05df},
journal = {International Journal of Computer Science, Engineering and Applications (IJCSEA) },
keywords = {Constraints Embedded Feared Nets Petri Reliability Scenarios Stopwatch Systems Time},
month = {October},
number = 5,
pages = {1-16},
timestamp = {2019-05-10T12:29:01.000+0200},
title = {RELIABILITY ASSESSMENT OF EMBEDDED SYSTEMS
USING STOPWATCH PETRI NETS},
url = {http://airccse.org/journal/ijcsea/papers/2512ijcsea04.pdf},
volume = 2,
year = 2012
}