Operation Serializability for Embedded Systems
Abstract
We consider the problem of generation of embedded software from input system descriptions in a hardware description language (HDL). Generation of software for embedded computing requires a total ordering of operations, or linearization, under constraints to ensure timely interaction with other system components. We show by example conditions where no ordering of operations in a HDL can produce the modeled functionality in software. Therefore, the existence condition for software generation, or serializability, must be ensured before attempting any linearization. We present the conditions based on variable definition and use analysis under which operation linearization is possible. We then present our approach to operation serialization under timing constraints to produce efficient schedules for the embedded software.
References
[1]
{1} R. K. Gupta and G. D. Micheli, "A Co-Synthesis Approach to Embedded System Design Automation," Design Automation for Embedded Systems, vol. 1, no. 1-2, Jan. 1996.
[2]
{2} M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, and K. Suzuki, "Synthesis of software programs for embedded control applications," in Proc. DAC, June 1995.
[3]
{3} P. Chou and G. Borriello, "Software scheduling in the Co-Synthesis of Reactive Real-Time Systems," in Proc. DAC, June 1994.
[4]
{4} W. Wolf, "Hardware-Software Co-design of Embedded Systems," IEEE Proceedings, vol. 82, no. 7, pp. 965- 989, July 1994.
[5]
{5} S. Kumar, J. H. Aylor, B. W. Johnson, and W. A. Wulf, "Object-oriented techniques in hardware design," Computer, vol. 27, no. 6, pp. 64-70, June 1994.
[6]
{6} R. K. Gupta, C. Coelho, and G. D. Micheli, "Program Implementation Schemes for Hardware-Software Systems," IEEE Computer, Jan. 1994.
[7]
{7} C. Y. Park, Predicting deterministic execution times of Real-time Programs. PhD thesis, University of Washington, Seattle, Aug. 1992.
[8]
{8} Y.-T. S. Li and S. Malik, "Performance analysis of embedded software using implicit path enumeration," in Proc. DAC, June 1995.
[9]
{9} W. Ye, R. Ernst, T. Benner, and J. Henkel, "Fast timing analysis for hardware-software co-synthesis," in Proc. ICCD, 1993.
[10]
{10} D. Ku and G. D. Micheli, High-level Synthesis of ASICs under Timing and and Synchronization Constraints . Kluwer Academic Publishers, 1992.
[11]
{11} D. D. Gajski et. al., Specification and Design of Embedded Systems. Prentice-Hall, 1994.
[12]
{12} R. K. Gupta and G. D. Micheli, "Constraint Analysis and Propagation Techniques for Embedded Systems," (submitted. available as tech. report), University of Illinois, 1994.
[13]
{13} P. Marwedel and G. Goosens, Code generation for embedded processors. Kluwer Academic, 1995.
[14]
{14} P. B. Hansen, Operating System Principles. Prentice-Hall, 1973.
[15]
{15} S. Agrawal and R. K. Gupta, "System Partitioning using Global Data-Flow," Memorandum UIUC DCS 1995, University of Illinois, Oct. 1995.
- Operation Serializability for Embedded Systems
Recommendations
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus ...
Comments
Information & Contributors
Information
Published In
March 1996
585 pages
ISBN:0818674237
Copyright © Copyright (c) 1996 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 11 March 1996
Check for updates
Qualifiers
- Article
Conference
EDTC96
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 129Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)5
Reflects downloads up to 24 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in