The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Microc/OS-II
Embedded Software Development with eCos
Embedded Software Development with eCos
Extending the RT Profile to Support the OSEK Infrastructure
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Model-based Design and Verification of Automotive Electronics Compliant with OSEK/VDX
ICESS '05 Proceedings of the Second International Conference on Embedded Software and Systems
Towards a Framework for Explicit Platform-Based Transformations
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems
ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
SmartOSEK: a real-time operating system for automotive electronics
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
A MDD Approach for RTOS Integration on Valid Real-Time Design Model
SEAA '12 Proceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
| Hi-index | 0.00 |
In a model-driven development context, the refinement of the architectural model of a real-time application to a Real Time Operating System (RTOS) specific model is a challenging task. Indeed, the different design choices made to guarantee the application timing properties are not always implementable on the target RTOS. In particular, when the number of distinct priority levels used at the design level exceeds the number allowed by the RTOS for the considered application, this refinement becomes not possible. In this paper, we propose a software pattern called Distinct Priority Merge Pattern (DPMP) that automatically perform the re-factoring of the architectural model when this problem occurs. First, we give an heuristic algorithm describing this pattern and we show that this method is not always effective. Then, to address the limitations of the first method, we propose a MILP formulation of the DPMP pattern that allows to check whether a solution exists and gives the optimal one. The evaluation of the second method, allows to estimate a cost in terms of processor utilization increase during the deployment of an application on a given RTOS family characterized by the number of distinct priority levels that it offers.