Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis

摘要

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.