SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.
Dirk Ziegenbein, Kai R. Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich · 1999
The specification of embedded systems often contains several different specification or modeling languages with fundamental differences in their underlying models of computation. In this paper, we present the SPI model, a common internal representation that integrates the aspects of several models of computation and is targeted to scheduling and allocation as well as performance validation. The model and its applications are explained using an example combining a periodic process model as used in real-time operating systems (RTOS) with the synchronous data flow model (SDF). 1 Introduction Many applications of embedded systems include functions from different domains. Each of these functions is best modeled with a specification language that matches the application domain of the function, i. e. transformative functions are usually modeled using data flow languages whereas reactive control functions are modeled with event driven models of computation. Therefore, specifications of embedd...