More Web Proxy on the site http://driver.im/

Article

Free access

Multi-thread graph: a system model for real-time embedded software synthesis

Authors:

J. Van Der Steen,

H De ManAuthors Info & Claims

EDTC '97: Proceedings of the 1997 European conference on Design and Test

Page 476

Published: 17 March 1997 Publication History

Abstract

Software synthesis is a new approach which focuses on the support of real-time embedded multi-tasking software without the use of operating systems. A software synthesis system starts from a concurrent process system specification and maps this description automatically onto one or more processors. In this paper the internal system-level model which captures the embedded software and which is the backbone of our software synthesis methodology, is presented. The model captures the fine-grain behaviour of a system, and supports multiple threads of control (concurrency), synchronisation, data communication, hierarchy and timing constraints.

References

[1]

{1} J.K. Adams, D.E. Thomas, "Multiple-Process Behavioral Synthesis for Mixed Hardware-Software Systems," Proc. of ISSS'95, 1995.

Digital Library

[2]

{2} G. Berry. et al., "The Synchronous Approach to Reactive and Real-Time Systems," IEEE Proc., 1991.

[3]

{3} J. Buck, et al., "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. J. Comp. Simulation, 4, 1994.

[4]

{4} M. Chiodo, et al., "Synthesis of Software Programs for Embedded Control Applications," Proc. DAC-95, 1995.

Digital Library

[5]

{5} P. Chou, G. Boriello, "Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems," Proc. ACM/IEEE DAC, 1994.

Digital Library

[6]

{6} F. Curatelli, et al., "Internal Representation of System Behaviour for Software Synthesis from VHDL," CHIPS project deliv. DC3, 1995.

[7]

{7} R. Ernst. et al., "Hardware-Software Cosynthesis of Microcontrollers," IEEE Design & Test of Comp., 10(3), pp. 64-75, 1993.

Digital Library

[8]

{8} R.K. Gupta, "A Framework for Interactive Analysis of Timing Constraints in Embedded Systems," Proc. Codes/CASHE, 1996.

Digital Library

[9]

{9} C.A.R. Hoare, "Communicating Sequential Processes (CSP)," Int. Series in Comp. Sc., Prentice Hall, 1985.

Digital Library

[10]

{10} D. Ku. G. De Micheli, "Relative Scheduling Under Timing Constraints," Proc. DAC-90. Orlando, FL, 1990.

Digital Library

[11]

{11} D. Lanneer. "Design Models and Data-Path Mapping for Signal Processing Architectures," Ph.D., IMEC, Leuven, Belgium, 1993.

[12]

{12} R. Lauwereins et al. "GRAPE-II: A Tool for the Rapid Prototyping of Multi-Rate Asynchronous DSP Applications on Heterogeneous Multiprocessors," Proc. Workshop on Rapid System Prototyping, 1992.

[13]

{13} F. Thoen, et al., "Real-Time Multi-tasking in Software Synthesis for Information Processing Systems," Proc. of ISSS'95, 1995.

Digital Library

[14]

{14} F. Thoen, "Multi-Thread Graph (MTG) - A System-Level Representation Model for Software Synthesis," Techn. Report, IMEC, Leuven, Belgium, Apr., 1996.

[15]

{15} K. Van Rompaey, et al., "CoWare - A Design Environment for Heterogeneous Hardware/Software Systems," Proc. of EURO-DAC, 1996.

Digital Library

[16]

{16} T. Yen, W. Wolf, "Sensitivity-Driven Co-Synthesis of Distributed Embedded Systems," Proc. ISSS'95, 1995.

Digital Library

Cited By

Fei YRavi SRaghunathan AJha N(2007)Energy-optimizing source code transformations for operating system-driven embedded softwareACM Transactions on Embedded Computing Systems10.1145/1324969.13249717:1(1-26)Online publication date: 12-Dec-2007
https://dl.acm.org/doi/10.1145/1324969.1324971
Vermeulen FCatthor FVerkest DDeMan HBolsens I(2000)Formalized three-layer system-level reuse model and methodology for embedded data-dominated applicationsProceedings of the conference on Design, automation and test in Europe10.1145/343647.343711(92-98)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343711

Multi-thread graph: a system model for real-time embedded software synthesis
1. Computer systems organization

Recommendations

Real-time multi-tasking in software synthesis for information processing systems
ISSS '95: Proceedings of the 8th international symposium on System synthesis

Abstract: Software synthesis is a new approach which focuses on the support of embedded systems without the use of operating systems. Compared to traditional design practices, a better utilization of the available time and hardware resources can be ...
Supporting predictability in real-time database systems
RTAS '96: Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)

Real-time database systems (RTDBSs) have timing constraints in their specifications, such as read times, deadlines and other temporal constraints. In addition, RTDBSs must adapt to changes in the operating environment and guarantee the completion of ...
Thread-based software synthesis for embedded system design
EDTC '96: Proceedings of the 1996 European conference on Design and Test

We propose a thread-based software synthesis technique to reduce communication overhead incurred by the hardware-software interface in a system. We start from a CDFG that models the system. The CDFG is analyzed and partitioned into a set of threads. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EDTC '97: Proceedings of the 1997 European conference on Design and Test

March 1997

596 pages

ISBN:0818677864

Copyright © Copyright (c) 1997 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Sponsors

SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society

United States

Publication History

Published: 17 March 1997

Check for updates

Author Tags

Qualifiers

Article

Conference

EDTC96

Sponsor:

SIGDA

EDTC96: European Design and Test Conference

March 17 - 20, 1997

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
230
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)4

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fei YRavi SRaghunathan AJha N(2007)Energy-optimizing source code transformations for operating system-driven embedded softwareACM Transactions on Embedded Computing Systems10.1145/1324969.13249717:1(1-26)Online publication date: 12-Dec-2007
https://dl.acm.org/doi/10.1145/1324969.1324971
Vermeulen FCatthor FVerkest DDeMan HBolsens I(2000)Formalized three-layer system-level reuse model and methodology for embedded data-dominated applicationsProceedings of the conference on Design, automation and test in Europe10.1145/343647.343711(92-98)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343711

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents