282 articles – 2123 Notices  [english version]
Fiche détaillée Chapitres d'ouvrages scientifiques
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Selected Contributions from FDL'09) (2010) 213-226
ISIS: Runtime Verification of TLM Platforms
L. Ferro1, L. Pierre1

The context of this chapiter is the dynamic assertion-based verifications (ABV) of TLM SystemC models. We have developed a methodology for checking temporal properties during the SystemC simulation. The assertions are expressed in the PSL language, including the possibility to use its modeling layer, and the method supports timed as well as untimed TLM descriptions. It is implemented in a prototype tool called ISIS. We describe its principles and technical characteristics, and we report various experimental results.
1 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
assertion-based-verification – PSL – SystemC