Towards automatic synthesis of QoS preserving implementations from object-oriented design models

The translation of object-oriented design models into implementations requires a number of decisions to be made before the code can be generated. Besides choosing the target platform, these decisions also include strategies for multi-tasking and scheduling, the selection of scheduling attributes, etc. Such decisions clearly impact the QoS properties of the implemented system. In this paper, we address the problem of synthesizing QoS-preserving implementations from object-oriented design models. Based on our recent research experience in applying fixed-priority schedulability analysis techniques to real-time object-oriented designs, we present some of the obstacles in automating this process. We also present a brief overview of our research results in addressing this problem.