Modeling of CSP, KPN and SR Systems with SystemC
ABSTRACT In this chapter we show the ability to specify with SystemC under the restrictions imposed by several model of computations,
namely CSP, KPN and SR. Specifying under these MoCs provides some important properties, specially determinism and more protection
against blocking, which are also important when implementation process is faced. In most cases, standard primitive SystemC
channels or a combined use of them is suitable for specifying under these MoC restrictions. Nevertheless we provide some new
specific and compatible channels providing important features, as dynamic checking of restrictions or atomic use. These channels
represent an extension of the standard SystemC library.
- SourceAvailable from: Thomas Schlichter
Conference Paper: Combining SystemC, IP-XACT and UML/MARTE in model-based SoC designWorkshop on Model Based Engineering for Embedded Systems Design (M-BED 2011); 03/2011
- [Show abstract] [Hide abstract]
ABSTRACT: Due to rising design complexity it is necessary to increase the level of abstraction at which systems are designed. On the other hand, modern embedded system design is still based on design languages like C, C++, Java, VHDL, SystemC, and SystemVerilog which allow unstructured communication. The specification is mostly mapped onto a set of interacting tasks and hardware modules, which interact by the use of shared variables and various ways of mes-sage passing. Even worse, nearly all design languages are Tur-ing complete making analysis in general impossible. However, by constraining the type of communication used between tasks and the communication behavior of the tasks, expressiveness can be traded for analyzability. In this paper we, propose a library called Syste-MoC based on the design language SystemC. This library permits the construction of well known models of computation which are the basis for model-based system design.