Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst  Home/Search
Context Related
| ida.ing.tubs.de/r...roConstRelax.ps.gz Cached: 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.
PS.gz PS Image Update HelpFrom: ida.ing.tubs.de/r...publ.g.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to relax the constraints imposed by a time-driven simulation model, thus creating a larger design space. We transform the system into SPI, a common intermediate representation for heterogeneously specified embedded systems. At the SPI level critical timing constraints are (re)introduced, resulting in a representation that ... (Update)
Context of citations to this paper: More
.... processes, SDL, VHDL, or StateCharts [26] Recently, a language transformation for Matlab Simulink has been developed and implemented [27]. The extraction of relevant aspects from the input descriptions and the mapping to the SPI model is dependent on user information...
...level analysis, and to apply existing or novel analysis techniques. Input language transformation has been demonstrated for Matlab Simulink [11]. However, Matlab Simulink is a language with regular, periodic process activation and thus considerably easier to transform and...
Cited by: More
Transformation of SDL Specifications for.. - Jersak, Richter.. (2002) (Correct)
SPI - A System Model for Heterogeneously Specified.. - Ziegenbein, Richter.. (2002) (Correct)
Similar documents (at the sentence level):
6.2%: Embedded System Design using the SPI Workbench - Jersak, Ziegenbein, Wolf.. (2000) (Correct)
Active bibliography (related documents): More All
0.5: Compilation of Flow Diagrams into Target Code for.. - Rettberg.. (Correct)
0.4: Hardware/Software Codesign of Embedded Systems - The .. - Ernst, Ziegenbein.. (1999) (Correct)
0.3: Co-simulation of hybrid systems: Signal-Simulink - Tudoret, Nadjm-Tehrani.. (Correct)
Similar documents based on text: More All
0.6: Implementation of Online Control Customization within the.. - Bhattacharya, Balas (Correct)
0.5: Power to the Programmer Using Measurement to Optimise the.. - Coleman, O'Connor (2000) (Correct)
0.4: A Framework for High-Level Performance Validation of.. - Ziegenbein, Ernst (1998) (Correct)
Related documents from co-citation: More All
2: Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment - Liu, Layland - 1973
2: Embedded system design with multiple languages (context) - Ernst, Jerraya - 2000
BibTeX entry: (Update)
M. Jersak, Y. Cai, D. Ziegenbein, and R. Ernst, \A transformational approach to constraint relaxation of a time-driven simulation model," in Proceedings 13th International Symposium on System Synthesis, Madrid, Spain, Sept. 2000. http://citeseer.ist.psu.edu/jersak00transformational.html More
@inproceedings{ jersak00transformational,
author = "Marek Jersak and Ying Cai and Dirk Ziegenbein and Rolf Ernst",
title = "A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model",
booktitle = "{ISSS}",
pages = "137-142",
year = "2000",
url = "citeseer.ist.psu.edu/jersak00transformational.html" }
Citations (may not include all citations):37 COSYN: Hardware-software co-synthesis of embedded systems - Dave, Lakshminarayana et al. - 1997
25 Hierarchical finite state machines with multiple concurrency.. - Girault, Lee et al. - 1999
20 Combining multiple models of computation for scheduling and .. - Ziegenbein, Ernst et al. - 1998
14 Representation of process mode correlation for scheduling - Ziegenbein, Richter et al. - 1998
10 IDG Books Worldwide (context) - Harold - 1999
10 Specification and analysis of timing constraints for embedde.. - Gupta, Micheli - 1997
9 RATAN: A tool for rate analysis and rate constraint debuggin.. - Dasdan, Mathur et al. - 1997
8 Intervals in software execution cost analysis - Wolf, Ernst - 2000
6 Using Simulink (context) - MathWorks - 1999
5 Real-Time Workshop User's Guide (context) - MathWorks - 1999
3 Developing a general model for scheduling of mixed transform.. (context) - Richter - 1998
2 Automatic generation of production quality code for ECUs (context) - Hanselmann, Kiffmeier et al. - 1999
1 Translating Simulink to SPI (context) - Jersak - 2000
1 software codesign of embedded systems - the SPI workbench (context) - Ernst, Ziegenbein et al. - 1999
Documents on the same site (http://www.ida.ing.tu-bs.de/research/publications/publ.g.shtml): More
Dynamic Response Time Optimization for SDF Graphs - Ziegenbein, Uerpmann, Ernst (2000) (Correct)
Fixed-point extended C compiler allows more efficient.. - Jersak, Willems (1998) (Correct)
Improved Interconnect Sharing by Identity Operation Insertion - Herrmann, Ernst (1999) (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