Abstract
The modeling of Real-Time Embedded Systems (RTES) is one of the biggest challenges facing designers of such systems. These systems are considered high-assurance since errors during execution could result in injury, loss of life, environmental impact, and financial loss. The addition of adaptability to RTES further hardens and delays their modeling and validating especially with the current lack of design models and tools for adaptive RTES. The profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a framework for annotating non-functional properties of embedded systems. In particular, the SAM (Schedulability Analysis Model) sub-profile offers stereotypes for annotating UML models with the needed information which will be extracted to fulfil a scheduling phase. However, SAM does not allow designers to specify data to be used in the context of adaptive systems development. It is in this context that we propose an extension for the MARTE profile, and especially the sub-profile Schedulability Analysis Modeling, to include adaptation mechanisms in scheduling view.
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
References
Naija, M., Ahmed, B.S.: Extending UML/MARTE-SAM for integrating adaptation mechanisms in scheduling view. In: 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, pp. 84–90 (2016)
OMG Object Management Group: A UML Profile for MARTE: Modeling and Anal sis of Real-Time Embedded systems, Beta2, Object Management Group (2008)
Naija, M., Ahmed, B.S., Bruel, J.-M.: New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages. In: 10th International Conference on Software Engineering and Applications, ICSOFT 2015, pp. 330–338 (2015)
Naija, M., Ahmed, B.S.: Aid to design and reconfiguration of the MPSOC architectures. In: IEEE Computer Society 45th International Conference on Computers & Industrial Engineering, CIE 2015 (2015)
Bihari, T.-E., Schwan, K.: Dynamic adaptation of real-time software. ACM Trans. Comput. Syst. 9, 143–174 (1991)
Lehman, M., Ramil, J.: Towards a theory of software evolution – and its practical impact (working paper). In: Invited Talk, Proceedings International Symposium on Principles of Software Evolution, pp. 2–11 (2000)
Subramanian, N., Chung, L.: Architecture – driven embedded systems adaptation for supporting vocabulary evolution. In: Proceedings of International Symposium Principles of Software Evolution International (2000)
Oreizy, P., Gorlick, M.M., Taylor, R.N., et al.: An architecture based approach to self-adaptive software. IEEE Intell. Syst. Appl. 14(3), 54–62 (1999)
Naija, M., Bruel, J.-M., Ahmed, B.S.: Towards a MARTE extension to address adaptation mechanisms. In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, pp. 240–243 (2016)
Said, M., Kacem, Y.M., Kerboeuf, M., Amor, N.B., Abid, M.: Design patterns for self-adaptive RTE systems specification. Int. J. Reconfigurable Comput. 8 (2014)
Cherif, S., Quadri, I.R., Meftali, S., Dekeyser, J.-L.: Modeling reconfigurable Sytems-on-Chips with UML MARTE profile: an exploratory analysis. In: Proceedings of the 13th Euromicro Conference on Digital System Design, pp. 706–713 (2010)
Boukhanoufa, M.-L., Radermacher, A., Terrier, F.: Towards a model-driven engineering approach for developing adaptive real-time embedded systems. In: New Technologies of Distributed Systems, pp. 261–266 (2010)
Boukhanoufa, M.-L., Radermacher, A., Terrier, F.: Offline validation of real-time application constraints considering adaptation rules. In: International Conference on Trust, Security and Privacy in Computing and Communications, pp. 974–980 (2011)
Magdich, A., Kacem, Y.H., Kerboeuf, M.: A UML/MARTE-based design pattern for semi-partitioned scheduling analysis. In: International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pp. 300–305 (2014)
Magdich, A., Kacem, Y.H., Mahfoudhi, A., Abid, M.: A MARTE extension for global scheduling analysis of multiprocessor systems. In: International Symposium on Software Reliability Engineering, pp. 371–379 (2012)
Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation. In: Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003. IEEE Computer Society (2003)
Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36(1), 1–8 (2011)
Muhammad, K.B., Cécile, B., Michel, A.: Two level hierarchical scheduling algorithm for real-time multiprocessor systems. J. Softw. 6(11), 2308–2320 (2011)
Magdich, A., Kacem, Y.H., Mahfoudhi, A.: Extending UML/MARTE-GRM for integrating tasks migrations in class diagrams. In: International Conference on Software Engineering Research, Management and Applications, pp. 73–84 (2013)
Khalgui, M., Hanisch, H.M.: Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. Int. J. Model. Ident. Control 12(3), 223–243 (2011)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Naija, M., Ahmed, S.B. (2016). A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View. In: Maciaszek, L., Filipe, J. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2016. Communications in Computer and Information Science, vol 703. Springer, Cham. https://doi.org/10.1007/978-3-319-56390-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-56390-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-56389-3
Online ISBN: 978-3-319-56390-9
eBook Packages: Computer ScienceComputer Science (R0)