Formal heterogeneous system modeling with SystemC

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

View graph of relations

Electronic System Level (ESL) design of embedded systems proposes raising the abstraction level of the design entry to cope with the increasing complexity of such systems. To exploit the benefits of ESL, design languages should allow specification of models which are a) heterogeneous, to describe different aspects of systems; b) formally defined, for application of analysis and synthesis methods; c) executable, to enable early detection of specification; and d) parallel, to exploit the multi- and many-core platforms for simulation and implementation. We present a modeling library on top of SystemC, targeting heterogeneous embedded system design, based on four models of computation. The library has a formal basis where all elements are well defined and lead in construction of analyzable models. The semantics of communication and computation are implemented by the library, which allows the designer to focus on specifying the pure functional aspects. A key advantage is that the formalism is used to export the structure and behavior of the models via introspection as an abstract representation for further analysis and synthesis.
Original languageEnglish
Title of host publication2012 Forum on Specification and Design Languages (FDL)
Publication date2012
ISBN (print)978-1-4673-1240-0
StatePublished - 2012
Event2012 Forum on Specification and Design Languages (FDL) - Vienna, Austria


Conference2012 Forum on Specification and Design Languages (FDL)
Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:

ID: 41013783