Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View

Mohamed Naija, Samir Ben Ahmed

2016

Abstract

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. We illustrate the advantages and effectiveness of our proposal by modeling a FESTO case study as an Adaptive Real-Time and Embedded system.

References

  1. Angelov C, and Marian, N., 2005. Design models for reusable and reconfigurable state machines. In Proc of Embedded Ubiquitous Comput.
  2. Bihari T-E et Schwan K., 1991. Dynamic adaptation of realtime software. ACMTrans. Comput. Syst., vol. 9, pp. 143-174.
  3. Boukhanoufa M-L, Radermacher A and Terrier F., 2010. Towards a model-driven engineering approach for developing adaptive real-time embedded systems. In New Technologies of Distributed Systems, pp 261-266.
  4. Boukhanoufa M-L, Radermacher A and Terrier F., 2011. 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.
  5. Cherif S, Quadri I.R, Meftali S, and Dekeyser J-L., 2010. Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis. Proceedings of the 13th Euromicro Conference on Digital System Design, pp 706-713.
  6. Khalgui M and Hanisch H. M., 2011. Automatic NCESbased specification and SESA-based verification of feasible control components in benchmark production systems. In international Journal of Modelling, Identification and Control, vol. 12, no. 3, pp. 223-243.
  7. Magdich A,. Kacem Y. H, Mahfoudhi A., 2013. Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams. In international Conference on Software Engineering Research, Management and Applications, pp73-84.
  8. Magdich A,. Kacem Y. H, Mahfoudhi A, and Abid M., 2012. A MARTE extension for global scheduling analysis of multiprocessor systems. In international Symposium on Software Reliability Engineering, pp 371-379.
  9. Magdich A., Kacem Y. H., and Kerboeuf M., 2014. A uml/marte-based design pattern for semi-partitioned scheduling analysis. In international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pp. 300-305.
  10. Masse, J., Kim, S., and Hong, S. 2003. Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In RTAS' 03, Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE Computer Society.
  11. Mraidha, C., Tucci-Piergiovanni, S. and Gerard, S., 2011. Optimum: a marte-based methodology for schedulability analysis at early design stages. In ACM SIGSOFT Software Engineering Notes, 36(1):1-8.
  12. Muhammad K.B., Cécile B., and Michel A., 2011. Two level hierarchical scheduling algorithm for real-time multiprocessor systems. Journal of software, vol. 6, no. 11, pp. 2308-2320.
  13. Naija M, Ahmed B.S. and, Bruel J-M., 2015. New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages. In ICSOFT'15. 10th International Conference on Software Engineering and Applications, pp 330-338. 2015.
  14. Naija M, Ahmed B.S., 2015. Aid to design and reconfiguration of the MPSOC architectures. In CIE'15. IEEE Computer Society 45 th International Conference on Computers & Industrial Engineering.
  15. Lehman M and Ramil J., 2000. Towards a Theory of Software Evolution _ And its practical impact (working paper). Invited Talk, In Proceedings International Symposium on Principles of Softw. Evolution, pp 2-11.
  16. OMG Object Management Group. 2008. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta2, Object Management Group.
  17. Oreizy P, Gorlick M. M., Taylor R. N. et al., 1999. An architecture based approach to self-adaptive software. In IEEE Intelligent Systems and Their Applications, vol. 14, no. 3, pp. 54-62.
  18. Radermacher, A., Mraidha, C., Tucci-Piergiovanni, S. and Gérard, S., 2010. Generation of schedulable real-time component implementations. In ETFA'10, 15th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE Computer Society.
  19. Rubini S, Fotsing C, Dissaux P, Singhoff F, and Tran H. N., 2014. Scheduling analysis from architectural models of embedded multi-processor systems. ACM SIGBED Review, vol. 11, no. 1.
  20. Said M, Kacem Y.M, M. Kerboeuf M, Amor N.B. and Abid M., 2014. Design patterns for self-adaptive RTE systems specification. In International Journal of Reconfigurable Computing, vol., no. 8.
  21. Schmidt D-C. Model-driven engineering. 2006. IEEE Computer, 39(2).
  22. Subramanian N, Chung L., 2000. Architecture - Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution. Proceedings of International Symposium Principles of Software Evolution International, vol. 0.
Download


Paper Citation


in Harvard Style

Naija M. and Ahmed S. (2016). Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 84-90. DOI: 10.5220/0005822300840090


in Bibtex Style

@conference{enase16,
author={Mohamed Naija and Samir Ben Ahmed},
title={Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={84-90},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005822300840090},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View
SN - 978-989-758-189-2
AU - Naija M.
AU - Ahmed S.
PY - 2016
SP - 84
EP - 90
DO - 10.5220/0005822300840090