Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis
2013 ◽
Vol 4
(4)
◽
pp. 27-47
Keyword(s):
This paper describes a reliability approach based on a coupling of discrete and continuous dynamics simulation of embedded systems. This hybrid simulation is a combination in the same formalism of the discrete simulation of an algorithm allowing the extraction of feared scenarios that lead an embedded system to a critical situation without generating the associated reachability graph in order to avoid the eternal combinative explosion problem, and, the continuous dynamics of the embedded system represented by a Java code. The simulation of discrete and continuous dynamics is coupled in object-oriented stopwatch Petri net models that allow the representation of the suspension and resumption of task execution.
Keyword(s):
Keyword(s):
Keyword(s):
2008 ◽
Vol 17
(06)
◽
pp. 973-993
◽
2016 ◽
Vol 6
(1)
◽
pp. 381
Keyword(s):
Keyword(s):
2004 ◽
Vol 26
(3)
◽
pp. 187-203
◽
Keyword(s):