Software Architecture Synthesis for Retargetable Real-time Embedded Systems

ABSTRACT

Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design maintainability and adaptivity to new technologies. Unfortunately, the traditional boundary between run-time support and user-code encourages use of ad hoc architecture-specific features that lack the structure to permit automatic code synthesis for the satisfaction of timing constraints. This work proposes a specification style for control-dominated embedded systems that can be easily retargeted via automatic synthesis of the software architecture and run-time support. Unlike previous work, user-specified modes are an integral part of the run-time system and isolate architecture-specific details while scoping timing constraints to enable more efficient scheduling.

REFERENCES

• 1: [Ada95] The Ada 9X Design Team, Ada 95 Rationale: The Language/The Standard Libraries, published by Intermetrics, January 1995.
• 2: Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
• 3: Pai Chou , Gaetano Borriello, Software scheduling in the co-synthesis of reactive real-time systems, Proceedings of the 31st annual conference on Design automation, p.1-4, June 06-10, 1994, San Diego, California, United States [doi>10.1145/196244.196247]
• 4: Pai Chou , Ross Ortega , Gaetano Borriello, Synthesis fo the hardware/software interface in microcontroller-based systems, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.488-495, November 1992, Santa Clara, California, United States
• 5: Pai Chou , Ross B. Ortega , Gaetano Borriello, Interface co-synthesis techniques for embedded systems, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.280-287, November 05-09, 1995, San Jose, California, United States
• 6: [CTGC] M. Cornero, F. Thoen, G. Goossens, and F. Curatelli, "Software Synthesis for Real-Time Information Processing Systems," in P. Marwedel and G. Goossens (ed.), Code Generation for Embedded Processors, Kluwer Academic Publishers, 1995, pp. 260-296.
• 7: Pai Chou , Elizabeth A. Walkup , Gaetano Borriello, Scheduling for Reactive Real-Time Systems, IEEE Micro, v.14 n.4, p.37-47, August 1994 [doi>10.1109/40.296156]
• 8: D. Gaudrau , P. Freedman, Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/ObjecTime, Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96), p.110, June 10-12, 1996
• 9: Richard Gerber , Seongsoo Hong, Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion, IEEE Transactions on Software Engineering, v.21 n.5, p.389-404, May 1995 [doi>10.1109/32.387469]
• 10: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• 11: [Nils96] K. Nilsen, "Issues in the Design and Implementation of Real-Time Java," document, ¿http://www.newmonics.com/webroot/technologies/java/RTJI.ps¿, Revised July 19, 1996.
• 12: Steven Vercauteren , Bill Lin , Hugo De Man, A strategy for real-time kernel support in application-specific HW/SW embedded architectures, Proceedings of the 33rd annual conference on Design automation, p.678-683, June 03-07, 1996, Las Vegas, Nevada, United States [doi>10.1145/240518.240646]
• 13: [You96] J. Young, JavaTime, ¿http://www-cad,eecs.berkeley.edu/~jimy/java/index.html¿, August 1996.

INDEX TERMS

Keywords:
Run-time systems, control-dominated, reactive systems, embedded systems, real-time constraints, software architecture synthesis