Abstract
In a model-driven development context, the refinement of a Real Time Operating System (RTOS) independent design model of a real-time application to a RTOS specific implementation model is a non-trivial task. Indeed, the different design choices made to guarantee the application timing properties are not always implementable on the target RTOS. In this paper, we propose a pattern-based approach to perform the refactoring of the real-time design model when a deployment problem appears. This refactoring guarantees the deployment of the refactored design model and the respect of its timing properties. This paper explains in details two examples of patterns which are the Equal Priority Merge Pattern (EPMP) and the Distinct Priority Merge Pattern (DPMP). The automation of the proposed approach allows showing its applicability on a robotic case study.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
