Sciweavers

Share
EMSOFT
2007
Springer

Performance estimation of distributed real-time embedded systems by discrete event simulations

9 years 8 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated generation of directed test vectors. This paper investigates how DRE systems can be represented as discrete event systems (DES) in continuous time, and proposes an automated method for the performance evaluation of such systems. The proposed method also provides a way for the verification of dense time properties for a large class of DRE systems. This approach provides a formal executable model allowing to bridge the gap between simulations and formal verification. Our results show that the proposed DES-based evaluation method can achieve better coverage in large-scale DRE systems than alternative methods. Categories and Subject Descriptors I.6.4 [Simulation and Modeling]: Model Validation and Analysis; C.4 [Computer Systems Organization]: Performance of Systems – Modeling techniques General Terms Design, Perf...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where EMSOFT
Authors Gabor Madl, Nikil Dutt, Sherif Abdelwahed
Comments (0)
books