A Transformational approach to constraint relaxation of a time-driven simulation model

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Transformational approach to constraint relaxation of a time-driven simulation model

Full text

Pdf (243 KB)

Source

International Symposium on Systems Synthesis archive
Proceedings of the 13th international symposium on System synthesis table of contents

Madrid, Spain

SESSION: System level modeling and verification table of contents

Pages: 137 - 142

Year of Publication: 2000

ISBN:1080-1082

Authors

Marek Jersak	Institut für Datenverarbeitungsanlagen, Technische Universität Braunschweig, Germany, jersak@ida.ing.tu-bs.de
Ying Cai	Institut für Datenverarbeitungsanlagen, Technische Universität Braunschweig, Germany, cai@ida.ing.tu-bs.de
Dirk Ziegenbein	Institut für Datenverarbeitungsanlagen, Technische Universität Braunschweig, Germany, ziegenbein@ida.ing.tu-bs.de
Rolf Ernst	Institut für Datenverarbeitungsanlagen, Technische Universität Braunschweig, Germany, ernst@ida.ing.tu-bs.de

Sponsors

IEEE : IEEE Computer Society Technical Committee on Design Automation
SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society Washington, DC, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 8, Citation Count: 3

Additional Information:

abstract references cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/501790.501820 What is a DOI?

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 is well suited for global system analysis, optimization and synthesis.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ali Dasdan , Anmol Mathur , Rajesh K. Gupta, RATAN: A Tool for Rate Analysis and Rate Constraint Debugging for Embedded Systems, Proceedings of the 1997 European conference on Design and Test, p.2, March 17-20, 1997
	2	Bharat P. Dave , Ganesh Lakshminarayana , Niraj K. Jha, COSYN: hardware-software co-synthesis of embedded systems, Proceedings of the 34th annual conference on Design automation, p.703-708, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266341]
	3	dSPACE. Squirrel Cage Induction Motor Control with DS1103 Controller Board, Sept. 1999.
	4	R. Ernst , D. Ziegenbein , K. Richter , L. Thiele , J. Teich, Hardware/Software Codesign of Embedded Systems -The SPI Workbench, Proceedings of the IEEE Computer Society Workshop on VLSI'99, p.9, April 08-09, 1999
	5	A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Trans. CAD, June 1999.
	6	R. K. Gupta and G. D. Micheli. Specification and analysis of timing constraints for embedded systems. IEEE Trans. CAD, Mar. 1997.
	7	H. Hanselmann, U. Kiffmeier, L. K~ster, and M. Meyer. Automatic generation of production quality code for ECUs. Technical report, dSPACE GmbH, Mar. 1999. Distributed during Embedded Intelligence, N~rnberg, Germany.
	8	Elliotte Rusty Harold, XML Bible, Hungry Minds, Incorporated, 1999
	9	M. Jersak. Translating Simulink to SPI. Technical report, IDA, TU Braunschweig, Feb. 2000.
	10	The MathWorks, Inc. Real-Time Workshop User's Guide, Version 3, Jan. 1999.
	11	The MathWorks, Inc. Using Simulink, Version 3, Jan. 1999.
	12	K. Richter. Developing a general model for scheduling of mixed transformative/reactive systems. Master's thesis, Technical University of Braunschweig, Jan. 1998.
	13	Fabian Wolf , Rolf Ernst, Intervals in software execution cost analysis, Proceedings of the 13th international symposium on System synthesis, September 20-22, 2000, Madrid, Spain [doi>10.1145/501790.501819]
	14	D. Ziegenbein , R. Ernst , K. Richter , J. Teich , L. Thiele, Combining multiple models of computation for scheduling and allocation, Proceedings of the 6th international workshop on Hardware/software codesign, p.9-13, March 15-18, 1998, Seattle, Washington, United States
	15	D. Ziegenbein , K. Richter , R. Ernst , J. Teich , L. Thiele, Representation of process mode correlation for scheduling, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.54-61, November 08-12, 1998, San Jose, California, United States [doi>10.1145/288548.288560]

CITED BY 3

	Dirk Ziegenbein , Kai Richter , Rolf Ernst , Lothar Thiele , Jürgen Teich, SPI: a system model for heterogeneously specified embedded systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.10 n.4, p.379-389, August 2002
	Marek Jersak , Kai Richter , Rafik Henia , Rolf Ernst , Frank Slomka, Transformation of SDL specifications for system-level timing analysis, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	Mirko Conrad , Heiko Dörr, Model-based development of in-vehicle software, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany

Collaborative Colleagues:

Marek Jersak: colleagues

Ying Cai: colleagues

Dirk Ziegenbein: colleagues

Rolf Ernst: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player