Evaluating the effect of faults in SystemC TLM models using UPPAAL
Document Type
Conference Proceeding
Publication Date
2014
Department
Department of Computer Science
Abstract
Since System on Chip (SoC) systems, where integrates all components of a computer or other electronic system into a single chip, are typically used for critical scenarios, it is desirable to analyze the impact of faults on them. However, fault-impact analysis is difficult at the RTL level due to the high integrity of SoC systems and different levels of abstraction provided by modern system design languages such as SystemC. Thus, modeling faults and impact analysis at different levels of abstraction is an important task and introduces dependability-related issues from the early phases of design. In this paper, we present a method for modeling and analyzing faults in SystemC TLM programs. The proposed method includes three steps, namely timed model extraction, fault modeling and fault analysis. We use UPPAAL timed automata to formally model the SystemC TLM programs and monitor how the models behave in the presence of faults. We analyze three case studies, two with Loosely-Timed coding style, and the other with Approximately-Timed coding style.
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISBN
978-3-319-10431-7
Recommended Citation
Hajisheykhi, R.,
Ebnenasir, A.,
&
Kulkarni, S.
(2014).
Evaluating the effect of faults in SystemC TLM models using UPPAAL.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
8702 LNCS, 175-189.
http://doi.org/10.1007/978-3-319-10431-7_13
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/4077