DMCA
Integrating System Descriptions by Clocked Guarded Actions
BibTeX
@MISC{Brandt_integratingsystem,
author = {Jens Brandt and Mike Gemünde and Klaus Schneider and Sandeep K. Shukla and Jean-pierre Talpin},
title = {Integrating System Descriptions by Clocked Guarded Actions},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be better suited than another one. In the design of reactive systems, their integration is a key issue for a system-wide simulation, analysis and verification. In this paper, we propose clocked guarded actions as a unified intermediate representation for several synchronous and asynchronous models in the design flow, which does not only provide an integrated description but it also allows designers to share common components of the tool infrastructure. Furthermore, we sketch how various models can be translated to this intermediate format, and how the intermediate format can be used for verification (by symbolic model checking) and integrated simulation (by SystemC).
Keyphrases
clocked guarded action system description intermediate format reactive system system-wide simulation key issue design flow symbolic model integrated description tool infrastructure guarded action design phase particular application large number asynchronous model unified intermediate representation share common component various model
