Advertisement

Runtime UML MARTE Extensions for the Design of Adaptive RTE Systems

  • Nissaf FredjEmail author
  • Yessine Hadj Kacem
  • Mohamed Abid
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 941)

Abstract

The Adaptive Real-Time Embedded Systems (A-RTES) should change their behavior as a response to the execution context and system constraints. They must be always consistent and available to preserve their usefulness and feasibility. For this reason, their adaptation should be applied at runtime whenever is required. High-level design-based approaches have merged to deal with the complexity of such systems, especially the use of Modeling and Analysis of Real-Time Embedded (MARTE) profile. However, MARTE standard doesn’t offer specific concepts for designing the evolution of adaptive real-time resources at runtime. It only reasons the system behavior at a specific instant without taking into account historical data. In this work, we define a new package that extends UML MARTE modeling language to design the A-RTES structure and behavior at runtime and support the reasoning about historical information as well as enable the evaluation of system real-time constraints. Our contribution is evaluated through a Flood Prediction System (FPS) case study.

Keywords

A-RTES Runtime adaptation MARTE Temporal reasoning Real-time constraints 

References

  1. 1.
    OMG Object Management Group. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, ptc/2011-06-02. Object Management Group, June 2011Google Scholar
  2. 2.
    Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer 42(10), 22–27 (2009)Google Scholar
  3. 3.
    Gandla, S., Al-Assadi, W.K., Sedigh, S., Rao, R.A.R.: Design and FPGA prototyping of a flood prediction system. In: 2008 IEEE Region 5 Conference (2008)Google Scholar
  4. 4.
    Quadri, I.R., Meftali, S., Dekeyser, J.-L.: A model based design flow for dynamic reconfigurable FPGAs. Int. J. Reconfigurable Comput. (2009)Google Scholar
  5. 5.
    Krichen, F., Hamid, B., Zalila, B., Jmaiel, M.: Towards a model based approach for reconfigurable DRE systems. In: ECSA, pp. 295–302 (2011)Google Scholar
  6. 6.
    Trabelsi, C., Meftali, S., Dekeyser, J.L.: Semi-distributed control for FPG based reconfigurable systems (2012)Google Scholar
  7. 7.
    Said, M.B., Kacem, Y.H., Kerboeuf, M., Amor, N.B., Abid, M.: Design patterns for self-adaptive RTE systems specification. Int. J. Reconfigurable Comput. (2014)Google Scholar
  8. 8.
    Morin, B.: Leveraging models from design time to runtime to support dynamic variability. University of Rennes, Ph.D. thesis (2010)Google Scholar
  9. 9.
    Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., Jézéquel, J.-M.: Modeling and validating dynamic adaptation. Computing Department Lancaster University Lancaster UK 3 IRISA INRIA Rennes (2010)Google Scholar
  10. 10.
    Loukil, S., Kallel, S., Jmaiel, M.: An approach based on runtime models for developing dynamically adaptive systems. In: IEEE International Conference on the Engineering of Computer Based Systems (2016)Google Scholar
  11. 11.
    Costiou, S., Kerboeuf, M., Cavarle, G., Plantec, A.: Lub: a pattern for fine grained behavior adaptation at runtime. Sci. Comput. Program. 161, 149–171 (2017)CrossRefGoogle Scholar
  12. 12.
    Vardhan, V., Sachs, D.G., Yuan, W., Harris, A.F., Adve, S.V., Jones, D.L., Kravets, R.H., Nahrstedt, K.: Integrating finegrained application adaptation with global adaptation for saving energy. University of Illinois at Urbana-Champaign (2009)Google Scholar
  13. 13.
    Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25 (2006)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Nissaf Fredj
    • 1
    • 2
    Email author
  • Yessine Hadj Kacem
    • 2
  • Mohamed Abid
    • 2
  1. 1.ISITCOMUniversity of SousseSousseTunisia
  2. 2.CES Laboratory, ENISUniversity of SfaxSfaxTunisia

Personalised recommendations