Advertisement

Towards a Simple Meta-model for Complex Real-Time and Embedded Systems

  • Yassine Ouhammou
  • Emmanuel Grolleau
  • Michael Richard
  • Pascal Richard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6918)

Abstract

We introduce an open meta-model that will be easily enriched to cover new real-time scheduling models and techniques. On the one hand, it will be possible to connect several independent schedulability analysis tools, following closely the advances in real-time scheduling theory, dealing with a temporal model that will be covered by our meta-model. On the other hand, we will use model transformation techniques in order to extract information from different design methodologies. This extraction can be done at different stages of the design (early for sensitivity analysis, at a later stage for temporal validation) to create a temporal model of the designed system, without the designer to be an expert in scheduling theory. We are working currently on the meta-model phase. The objective is to cover enough concepts to be able to represent a big part of the real-time scheduling models and problems, without introducing too much complexity. This paper uses the UML profile mechanism to describe such a meta-model.

Keywords

Task Model Schedulability Analysis Schedule Analysis Optimal Priority Assignment Model Transformation Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    W. SAE AADL. The SAE Architecture Analysis & Design Language Standard, volume 2008 (2008)Google Scholar
  2. 2.
    Audsley, N.C., Dd, Y.: Optimal priority assignment and feasibility of static priority tasks with arbitrary start times (1991)Google Scholar
  3. 3.
    Bartolini, C., Bertolino, A., De Angelis, G., Lipari, G.: A uml profile and a methodology for real-time systems design. In: EUROMICRO, pp. 108–117 (2006)Google Scholar
  4. 4.
    Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. Real-Time Syst. 39, 5–30 (2008)CrossRefzbMATHGoogle Scholar
  5. 5.
    Davis, R.I., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. In: Proceedings of the 26th IEEE International Real-Time Systems Symposium, pp. 389–398. IEEE Computer Society, Washington, DC (2005)Google Scholar
  6. 6.
    Debruyne, V., Simonot-Lion, F., Trinquet, Y.: EAST-ADL: An architecture description language. In: Architecture Description Languages. IFIP, vol. ch. 12, pp. 181–195. Springer, Boston (2005)CrossRefGoogle Scholar
  7. 7.
    Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in combining sysml and marte for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 98–113. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Gu, Z., He, Z.: Real-time scheduling techniques for implementation synthesis from component-based software models. In: ACM SIGSOFT International Symposium on Component Based Software Engineering, CBSE (2005)Google Scholar
  9. 9.
    Hagner, M., Goltz, U.: Integration of scheduling analysis into uml based development processes through model transformation. In: Proceedings of International Multiconference on Computer Science and Information Technology - IMCSIT 2010, Wisla, Poland, October 18-20, pp. 797–804 (2010)Google Scholar
  10. 10.
    Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the symta/s approach. In: IEE Proceedings Computers and Digital Techniques (2005)Google Scholar
  11. 11.
    Joseph, M., Pandya, P.K.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986)CrossRefGoogle Scholar
  12. 12.
    Kay, J., Lauder, P.: A fair share scheduler. Commun. ACM 31, 44–55 (1988)CrossRefGoogle Scholar
  13. 13.
    Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)CrossRefzbMATHGoogle Scholar
  14. 14.
    Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of uml-rt models and experimental validation. In: Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003, p. 70. IEEE Computer Society, Washington, DC (2003)CrossRefGoogle Scholar
  15. 15.
    Medina, J.L., Cuesta, Á.G.: From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev. 8, 64–68 (2011)CrossRefGoogle Scholar
  16. 16.
    Pasaje, J.L.M., Harbour, M.G., Drake, J.M.: Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001, p. 245. IEEE Computer Society, Washington, DC (2001)Google Scholar
  17. 17.
    Mishra, R., Rastogi, N., Zhu, D., Mossé, D., Melhem, R.: Energy aware scheduling for distributed real-time systems. In: International Parallel and Distributed Processing Symposium, p. 21 (2003)Google Scholar
  18. 18.
    Mok, A.K., Chen, D.: A multiframe model for real-time tasks. IEEE Transactions on Software Engineering 23, 635–645 (1996)CrossRefGoogle Scholar
  19. 19.
    Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. SIGSOFT Softw. Eng. Notes 36, 1–8 (2011)CrossRefGoogle Scholar
  20. 20.
    NGuyen, T.H.C., Richard, P., Bini, E.: Approximation techniques for response-time analysis of static-priority tasks. Real-Time Systems 43, 147–176 (2009)CrossRefzbMATHGoogle Scholar
  21. 21.
    OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2009)Google Scholar
  22. 22.
    Richard, M., Richard, P., Grolleau, E., Cottet, F.: Contraintes de précédences et ordonnancement mono-processeur. In: Teknea (ed.) Real Time and Embedded Systems, March 26-28, pp. 121–138 (2002)Google Scholar
  23. 23.
    Ridouard, F., Richard, P., Cottet, F.: Negative results for scheduling independent hard real-time tasks with self-suspensions. In: Proceedings of the 25th IEEE International Real-Time Systems Symposium, pp. 47–56. IEEE Computer Society, Washington, DC (2004)CrossRefGoogle Scholar
  24. 24.
    Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems Using Ada and Related Technologies, SIGAda 2004, pp. 1–8. ACM, New York (2004)Google Scholar
  25. 25.
    SysML. OMG system modeling language (OMG SysML) V1.0 (2007)Google Scholar
  26. 26.
    Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117–134 (1994)CrossRefGoogle Scholar
  27. 27.
    Traore, K., Grolleau, E., Cottet, F.: Characterization and analysis of tasks with offsets: Monotonic transactions. In: Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006, pp. 10–16. IEEE Computer Society, Washington, DC (2006)Google Scholar
  28. 28.
    Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng., 308–317 (1994)Google Scholar
  29. 29.
    Zhang, F., Burns, A., Baruah, S.: Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. Real-Time Systems, 1–29 (April 2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Yassine Ouhammou
    • 1
  • Emmanuel Grolleau
    • 1
  • Michael Richard
    • 1
  • Pascal Richard
    • 2
  1. 1.LISIENSMAFuturoscopeFrance
  2. 2.LISIUniversité de PoitiersFuturoscopeFrance

Personalised recommendations