NDLI: SPI - a system model for heterogeneously specified embedded systems

Content Provider	IEEE Xplore Digital Library
Author	Ziegenbein, D. Richter, K. Ernst, R. Thiele, L. Teich, J.
Copyright Year	1993
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.
Sponsorship	IEEE Computer Society Association for Computing Machinery (ACM)/SIGDA IEEE Computer Society Technical Committee on Design Automation
Starting Page	379
Ending Page	389
Page Count	11
File Size	843718
File Format	PDF
ISSN	10638210
Volume Number	10
Issue Number	4
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2002-08-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Embedded system Process design Computational modeling Computer networks Electronic mail Laboratories Power system reliability Bridges Design automation Productivity
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An XML-based meta-model for the design of multiprocessor embedded systems

SHIM: a deterministic model for heterogeneous embedded systems

Codesign of embedded systems: status and trends

Electronic System-Level Synthesis Methodologies

High level modeling and validation methodologies for embedded systems: bridging the productivity gap

A metamodel for studying concepts in electronic system design

The Micon system for computer design

Spi - a system model for heterogeneously specified embedded systems (2002).

CAD techniques for embedded systems-on-silicon

SPI - a system model for heterogeneously specified embedded systems

Similar Documents

An XML-based meta-model for the design of multiprocessor embedded systems

SHIM: a deterministic model for heterogeneous embedded systems

Codesign of embedded systems: status and trends

Electronic System-Level Synthesis Methodologies

High level modeling and validation methodologies for embedded systems: bridging the productivity gap

A metamodel for studying concepts in electronic system design

The Micon system for computer design

Spi - a system model for heterogeneously specified embedded systems (2002).

CAD techniques for embedded systems-on-silicon

SPI - a system model for heterogeneously specified embedded systems