Modeling of CSP, KPN and SR Systems with SystemC

DOI: 10.1007/1-4020-7991-5_9
Source: DBLP

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.

  • [Show abstract] [Hide abstract]
    ABSTRACT: The IP-Xact formalism (IEEE 1685 standard), was introduced to help assemble IP components from distinct sources into an integrated design. Components would be expressed in high-level HDLs such as SystemC, and so should be the full design after composition. Currently, while components exist at SystemC level, they generally do not provide any local IP-Xact structural interface representation. The present contribution studies the difficulties in creating such an IP-Xact interface declaration from SystemC, solves most of them, and provide SystemC modeling guidelines so that a richer set of informations can be recovered and reported into IP-Xact.
    Electronic System Level Synthesis Conference (ESLsyn), 2011; 07/2011
  • Source
    Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011); 03/2011
  • [Show abstract] [Hide abstract]
    ABSTRACT: Today, developments of Real Time Embedded Systems have to face new challenges. On the one hand, Time-To-Market constraints require a reliable development process allowing quick design space exploration. On the other hand, rapidly developing technology, as stated by Moore’s law, requires techniques to handle the resulting productivity gap. In a previous paper, we have presented our Model Based Engineering methodology addressing those issues. In this paper, we make a focus on Models of Computation design and analysis. We illustrate our approach on a Cognitive Radio System development implemented on an FPGA. This work is part of the MoPCoM research project gathering academic and industrial organizations (
    Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings; 01/2010