Publications
Publications
ISIS: Runtime Verification of TLM Platforms
Auteur(s) : L. Ferro, L. Pierre
Doc. Source: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Selected Contributions from FDL'09)
Publisher : Springer
Pages : 213-226
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.
