Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis-Reference-Cited by-同舟云学术

Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis

Published:2013-10 Issue:4 Volume:4 Page:27-47
ISSN:1947-3176
Container-title:International Journal of Embedded and Real-Time Communication Systems
language:en
Short-container-title:

Author:

Ghenai Afifa¹,Benmohammed Mohamed¹

Affiliation:

1. LIRE Laboratory, Constantine II University, Constantine, Algeria

Abstract

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.

Publisher

IGI Global

Subject

General Computer Science

Reference26 articles.

1. Allahham, A., & Alla, H. (2007). Réseaux de Petri à chronomètres Post et Pré initialisés. 6ème colloque francophone sur la modélisation des systèmes réactifs, Lyon, France.

2. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

3. Berthomieu, B., & Vernadat, F. (2006). Time Petri Nets Analysis with TINA. In Proceedings of 3rd Int. Conf. on The Quantitative Evaluation of Systems. IEEE Computer Society.

4. Chabot, J. L. (1998). Approche probabiliste relative à l’étude des scénarios d’incendie. Thesis, Université de Poitiers.

5. Chabot, J. L., Dutuit, Y., & Rauzy, A. (2001). De l’usage de la simulation de Monté Carlo couplée aux réseaux de Petri en sûreté de fonctionnement. In Proceedings of the MOSIM’01, Troyes, France.