Analysis of permanent faults in transaction level SystemC models
Document Type
Conference Proceeding
Publication Date
8-29-2014
Abstract
© 2014 IEEE. Since SoC systems are typically used for critical scenarios, it is desirable to analyze the impact of faults on them. However, fault-impact analysis is difficult due to the high integrity of SoC systems and different levels of abstraction provided by modern system design languages such as SystemC. In this paper, we present a method for modeling and analyzing permanent 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. A case study is also provided to better explain our proposed approach.
Publication Title
Proceedings - International Conference on Distributed Computing Systems
Recommended Citation
Hajisheykhi, R.,
Ebnenasir, A.,
&
Kulkarni, S.
(2014).
Analysis of permanent faults in transaction level SystemC models.
Proceedings - International Conference on Distributed Computing Systems,
30-June-2014, 154-160.
http://doi.org/10.1109/ICDCSW.2014.33
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/10572