Software Implementation Techniques for Hw/Sw Embedded Systems

ABSTRACT

Our focus in this paper is the software implementation of control oriented systems. Such a task is one of the least automated portions of the contemporary CoDesign process. In systems that must respond to external events, often several asynchronous tasks are implemented on the same processor. We are studying such systems because often, they utilize a dynamic multi-rate scheduling technique using a multitasking real time kernel. Based upon the MCSE functional model as a specification input, we propose a set of transformation rules one can apply to the functional structure to reduce the complexity of the software design prior to implementation. We further show that after such optimizations, the microprocessor interrupt system can often be used as an efficient priority-based scheduler, thereby removing the need for a real time kernel. The resulting implementation is described using a software implementation diagram from which it is easy to prove the timing constraints are satisfied. We use a simplified control system to illustrate our approach and to show a smooth incremental CoDesign path with a better integration of software estimates into the partitioning decision.

REFERENCES

• 1: Jean Paul Calvez , Alan Wyche , Charles Edmundson, Embedded real-time systems, John Wiley & Sons, Inc., New York, NY, 1993
• 2: Jean Paul Calvez , Dominique Heller , Olivier Pasquier, Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems, Proceedings of the 4th International Workshop on Hardware/Software Co-Design, p.132, March 18-20, 1996
• 3: 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]
• 4: Pai Chou , Gaetano Borriello, Interval scheduling: fine-grained code scheduling for embedded systems, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.462-467, June 12-16, 1995, San Francisco, California, United States [doi>10.1145/217474.217571]
• 5: Daniel D. Gajski , Frank Vahid , Sanjiv Narayan , Jie Gong, Specification and design of embedded systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 6: Rajesh K. Gupta , Claudionor N. Coelho, Jr. , Giovanni De Micheli, Program Implementation Schemes for Hardware-Software Systems, Computer, v.27 n.1, p.48-55, January 1994 [doi>10.1109/2.248880]
• 7: Rajesh Kumar Gupta , Giovanni De Micheli, Co-Synthesis of Hardware and Software for Digital Embedded Systems, Kluwer Academic Publishers, Norwell, MA, 1995
• 8: Rajesh K. Gupta , Giovanni De Micheli, Constrained software generation for hardware-software systems, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France
• 9: R. K. Gupta, A framework for interactive analysis of timing constraints in embedded systems, Proceedings of the 4th International Workshop on Hardware/Software Co-Design, p.44, March 18-20, 1996
• 10: Asawaree Prabhakar Kalavade , Edward A. Lee, System-level codesign of mixed hardware-software systems, University of California, Berkeley, 1995
• 11: Mark H. Klein , Thomas Ralya , Bill Pollak , Ray Obenza , Michael González Harbour, A practitioner's handbook for real-time analysis, Kluwer Academic Publishers, Norwell, MA, 1993

INDEX TERMS

Keywords:
Embedded software, Real-time software implementation, Multi-rate reactive systems, Dynamic scheduling, Multi-task software optimization, Software synthesis