Dirk Ziegenbein, Kai Richter, Rolf Ernst, et al.  Home/Search
Context Related
| date.unipaderborn.de/p...ZRETT01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: date.upb.de/engl...publicationse (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Context of citations to this paper: More
...functions. The computational model is elaborated in [56] Internal representations like the system property intervals (SPI) model [116] and FunState [106] have been developed to integrate a heterogeneous system model into one abstract internal representation. The...
Cited by: More
System Level Performance Analysis - the SymTA/S Approach - Henia, Hamann, Jersak.. (2005) (Correct)
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
Similar documents (at the sentence level):
11.4%: Hardware/Software Codesign of Embedded Systems - The .. - Ernst, Ziegenbein.. (1999) (Correct)
5.9%: SPI - An Internal Representation for.. - Ziegenbein.. (1999) (Correct)
Active bibliography (related documents): More All
0.8: Transformation of SDL Specifications for.. - Jersak, Richter.. (2002) (Correct)
0.5: Bounding the Execution Time of Real-Time Tasks on Modern Processors - Petters (2000) (Correct)
0.5: Processor Pipelines and Their Properties for Static WCET.. - Engblom, Jonsson (2002) (Correct)
Similar documents based on text: More All
0.9: Embedded System Design using the SPI Workbench - Jersak, Ziegenbein, Wolf.. (2000) (Correct)
0.7: Behavioral Intervals in Embedded System Design and.. - Wolf, Ziegenbein, Ernst (Correct)
0.7: Representation of Function Variants for Embedded.. - Richter.. (1999) (Correct)
Related documents from co-citation: More All
7: Synchronous dataflow (context) - Lee, Messerschmitt - 1987
4: Taming heterogeneity---the Ptolemy approach - Eker, Janneck et al. - 2002
4: The semantics of a simple language for parallel programming (context) - Kahn - 1974
BibTeX entry: (Update)
D. Ziegenbein, K. Richter, R. Ernst, L. Thiele, and J. Teich. SPI -- a system model for heterogeneously specified embedded systems. IEEE Trans. Very Large Scale Integration (VLSI) Systems, 2002. Accepted for publication. http://citeseer.ist.psu.edu/ziegenbein02spi.html More
@article{ ziegenbein02spi,
author = "D. Ziegenbein and K. Richter and R. Ernst and L. Thiele and J. Teich",
title = "{SPI} --- a system model for heterogeneously specified embedded systems",
journal = "{IEEE} Trans. Very Large Scale Integration ({VLSI}) Systems",
note = "Accepted for publication.",
year = "2002",
url = "citeseer.ist.psu.edu/ziegenbein02spi.html" }
Citations (may not include all citations):1582 Scheduling algorithm for multiprogramming in a hard-real-tim.. - Liu, Layland - 1973
161 Hardware-Software CoDesign of Embedded Systems: The POLIS Ap.. (context) - Balarin, Giusto et al. - 1997
118 ACM Transactions on Software Engineering and Methodology (context) - Harel, Naamad et al. - 1996
30 Codesign of embedded systems: Status and trends - Ernst - 1998
26 An evolutionary approach to system-level synthesis - Teich, Blickle et al. - 1997 ACM
23 The chinook hardware /software co-synthesis system - Chou, Ortega et al. - 1995
20 Combining multiple models of computation for scheduling and .. - Ziegenbein, Ernst et al. - 1998 ACM
14 Representation of process mode correlation for scheduling - Ziegenbein, Richter et al. - 1998 ACM DBLP
11 Modeling concurrent real-time processes using discrete event.. (context) - Lee - 1998 DBLP
8 simulation and partitioning of a hardware /software system (context) - Weiler, Kebschull et al. - 1995
7 An approach to mixed systems co-synthesis (context) - Benner, Ernst ACM
7 Scheduling hardwaresoftware system using symbolic technique - Ziegenbein, Teich et al. - 1999
7 Representation of function variants for embedded system opti.. - Richter, Ziegenbein et al. - 1999 ACM DBLP
4 Data ow process networks (context) - Lee, Parks - 1995
3 Embedded system design with multiple languages (context) - Ernst, Jerraya - 2000 ACM
3 Developing general model scheduling mixed transformativereac.. (context) - general, scheduling et al. - 1998
3 Static scheduling of synchronous data ow programs for digita.. (context) - Lee, Messerschmitt - 1987
3 Dynamic response time optimization for SDF graphs - Ziegenbein, Uerpmann et al. - 2000 ACM DBLP
2 A transformational approach to constraint relaxation of a ti.. - Jersak, Cai et al. - 2000 ACM DBLP
2 Interval-Based Analysis Of Software Processes - Ziegenbein, Wolf et al. - 2001 ACM DBLP
2 an internal design representation for codesign (context) - Thiele, Strehl et al. - 1999
2 Execution cost interval renement in static software analysis (context) - Wolf, Ernst - 2000
1 specication and discription language SDL (context) - Recommendation - 1993
1 in Synthesis and System Integration of Mixed Technologies (context) - Zhu, omer et al. - 1997
1 Seamless data sheet (context) - Graphics - 2001
1 Hardware /Software Co-Design: Prinicples and Practice (context) - Valderama, Romdhani et al. - 1997
1 chapter Embedded System Architectures (context) - Ernst, Synthesis - 1999
1 PCC modeling technique mixed controldata ow system (context) - Schoenen, modeling et al. - 1997
1 SystemC documentation (context) - Initiative - 2001
1 Real-Time Workshop data sheet (context) - MathWorks - 2001
1 system design methodology softwarehardware codevelopment tel.. (context) - design, software et al. - 1996
1 ur DV-Anlagen (context) - Ernst, Benner et al. - 1994
1 A co-design methodology based on formal specication and high.. (context) - Carreras, Lopez et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-date.upb.de/engl/publications-e.html): More
Synthesis of FPGA Implementations from Loop Algorithms - Bednara, Teich (2001) (Correct)
FunState - An Internal Design Representation for Codesign - Strehl, Thiele, Gries.. (2001) (Correct)
Extending Partial Suborders - Fekete, Köhler, Teich (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC