SPI: a system model for heterogeneously specified embedded systems

  • Authors:

  • Dirk Ziegenbein;Kai Richter;Rolf Ernst;Lothar Thiele;Jürgen Teich

  • Affiliations:

  • Institute of Computer and Communication Network Engineering (IDA), Technical University of Braunschweig, Braunschweig, Germany;Institute of Computer and Communication Network Engineering (IDA), Technical University of Braunschweig, Braunschweig, Germany;Institute of Computer and Communication Network Engineering (IDA), Technical University of Braunschweig, Braunschweig, Germany;Computer Engineering and Networks Laboratory (TIK), Swiss Federal Institute of Technology (ETH), Zurich, Switzerland;Computer Engineering Laboratory (DATE), University of Paderborn, Paderborn, Germany

  • Venue:
  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Embedded systems typically include reactive and transformative functions, often described in different languages and semantics which are well established in their respective application domains. Additionally, a large part of the system functionality and components is reused from previous designs including legacy code. There is little hope that a single language will replace this heterogeneous set of languages. A design process must be able to bridge the semantic differences for verification and synthesis and should account for limited knowledge of system properties. This paper presents the system property intervals (SPI) model, which employs behavioral intervals and process modes to allow the common representation of different languages and semantics. This model is the basis of a workbench which is targeted at the design of heterogeneously specified embedded systems.