Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: A MARTE-based methodology for Schedulability Analysis at Early Design Stages. In: Proceeding of the Third IEEE International Workshop UML and Formal Methods (UML&FM 2010), Shanghai, China (2010)
Singhoff, F., Legrand, J., Nana, L., Marc, L.: Cheddar: a Flexible Real Time Scheduling Framework. In: International ACM SIGADA Conference, Atlanta (November 2004)
Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: A MDD Approach for RTOS Integration on Valid Real-Time Design Model. In: The 38th Euromicro Conference On software Engineering and Advanced Applications (SEAA 2012), Cesme, Izmir, Turkey (September 2012)
Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: Real-Time Design Models to RTOS-Specific Models Refinement Verification. In: The 5th International Workshop on Model Based Architecting and construction of Embedded Systems ACES-MB 2012 in Conjunction with the 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Innsbruck, Austria (September 2012)
Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Object Management Group, Inc. (September 2010) OMG document number: ptc/2010-08-32
Goodenough, J.B., Sha, L.: The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks, vol. 8. ACM (1988)
Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G.: A practitioners handbook for real-time analysis. Kluwer Academic Publishers (1993)
Labrosse, J.J.: MicroC/OS-II The Real-Time Kernel
Anthony. J. MASSA Embedded Software Development with Ecos
Thomas, F., Delatour, J., Terrier, F., Gerad, S.: Toward a framework for explicit platform-based transformations. In: Proceeding of the 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlondo, Florida, USA (May 2008)
Chehade, W.E.H., Radermacher, A., Terrier, F., Selic, B., Gerard, S.: A model-driven framework for the development of portable real-time embedded systems. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, pp. 45–54. IEEE Computer Society, Las Vegas (2011)
Bartolini, C., Lipari, G., Natale, M.D.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: Proc. IEEE Real Time and Embedded Technology and Applications Symposium (RTAS), pp. 458–467 (2005)
Moore, A.: Extending the RT-prole le to support the OSEK infrastructure. In: Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, DC, pp. 341–347 (April 2002)
Yang, G., Zhao, M., Wang, L., Wu, Z.: Model-based Design and Verification of Automotive Electronics Compliant with OSEK/VDX. presented at The Secend International Conference on Embedded Software and System (ICESS), Xi’an (2005)
Zhao, M., Wu, Z., Yang, G., Wang, L., Chen, W.: SmartOSEK: A Dependable Platform for Automobile Electronics. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds.) ICESS 2004. LNCS, vol. 3605, pp. 437–442. Springer, Heidelberg (2005)
Becker, L.B., Holtz, R., Pereira, C.E.: On Mapping RTUML Specifications to RT-Java API: Bridging the Gap. In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, USA, pp. 348-355 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mzid, R., Mraidha, C., Mehiaoui, A., Tucci-Piergiovanni, S., Babau, JP., Abid, M. (2013). DPMP: A Software Pattern for Real-Time Tasks Merge. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds) Modelling Foundations and Applications. ECMFA 2013. Lecture Notes in Computer Science, vol 7949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39013-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-39013-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39012-8
Online ISBN: 978-3-642-39013-5
eBook Packages: Computer ScienceComputer Science (R0)