SPI - a system model for heterogeneously specified embedded systems
- 1 August 2002
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Very Large Scale Integration (VLSI) Systems
- Vol. 10 (4) , 379-389
- https://doi.org/10.1109/tvlsi.2002.807767
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.Keywords
This publication has 24 references indexed in Scilit:
- A system design methodology for software/hardware co-development of telecommunication network applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A co-design methodology based on formal specification and high-level estimationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An approach to mixed systems co-synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An evolutionary approach to system-level synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Interval-Based Analysis of Software ProcessesPublished by Association for Computing Machinery (ACM) ,2001
- Execution cost interval refinement in static software analysisJournal of Systems Architecture, 2001
- Embedded System ArchitecturesPublished by Springer Nature ,1999
- Hardware-Software Co-Design of Embedded SystemsPublished by Springer Nature ,1997
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal ProcessingIEEE Transactions on Computers, 1987