Automatic synthesis of multi-tasking implementations from real-time object-oriented models
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Presents an approach towards the automatic synthesis of implementations from real-time object-oriented design models. From an application design model that addresses the functional requirements of the system, and given end-to-end timing requirements, our synthesis approach generates a feasible implementation model, i.e. one that will meet the timing requirements. The synthesis process is supported by automatic code generation that can take the application design model and the synthesized implementation model, and can generate code for the target platform. The synthesis of an implementation model is facilitated through the use of a generic (application-independent) implementation architecture, thereby reducing the synthesis problem to selecting a mapping of the application design model to the artifacts of the implementation architecture. In this paper, we use a multi-threaded event handling architecture with fixed event priorities. The synthesis problem then consists of determining priorities for events and mapping events to threads. We show how, given such a mapping, the response times can be analyzed, and then how, using the analysis, a feasible implementation model can be automatically synthesized.Keywords
This publication has 11 references indexed in Scilit:
- Resource conscious design of distributed real-time systems. An end-to-end approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On task schedulability in real-time control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Schedulability analysis for automated implementations of real-time object-oriented modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Guidelines for automated implementation of executable object oriented models for real-time embedded control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Analyzing the real-time properties of a dataflow execution paradigm using a synthetic aperture radar applicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object structures for real-time systems and simulatorsComputer, 1997
- Guaranteeing real-time requirements with resource-based calibration of periodic processesIEEE Transactions on Software Engineering, 1995
- HRT-HOOD: A structured design method for hard real-time systemsReal-Time Systems, 1994
- A Practitioner’s Handbook for Real-Time AnalysisPublished by Springer Nature ,1993
- Fixed priority scheduling of periodic task sets with arbitrary deadlinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990