Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model and Data Engineering

MEDI 2011: Model and Data Engineering pp 226–236Cite as

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

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. SAE AADL. The SAE Architecture Analysis & Design Language Standard, volume 2008 (2008)

    Google Scholar 

  2. Audsley, N.C., Dd, Y.: Optimal priority assignment and feasibility of static priority tasks with arbitrary start times (1991)

    Google Scholar 

  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. Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. Real-Time Syst. 39, 5–30 (2008)

    Article  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Joseph, M., Pandya, P.K.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986)

    Article  Google Scholar 

  12. Kay, J., Lauder, P.: A fair share scheduler. Commun. ACM 31, 44–55 (1988)

    Article  Google Scholar 

  13. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. Mok, A.K., Chen, D.: A multiframe model for real-time tasks. IEEE Transactions on Software Engineering 23, 635–645 (1996)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  21. OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2009)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. SysML. OMG system modeling language (OMG SysML) V1.0 (2007)

    Google Scholar 

  26. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117–134 (1994)

    Article  Google Scholar 

  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. Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng., 308–317 (1994)

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. LISI, ENSMA, Futuroscope, France

    Yassine Ouhammou, Emmanuel Grolleau & Michael Richard

  2. LISI, Université de Poitiers, Futuroscope, France

    Pascal Richard

Authors
  1. Yassine Ouhammou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emmanuel Grolleau
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Richard
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Pascal Richard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LISI/ENSMA Poitiers University, Futuroscope, France

    Ladjel Bellatreche

  2. Departamento Engenharia Informática, Instituto Politécnico de Leiria, Escola Superior Tecnologia e Gestão de Leiria, Rua General Norton de Matos, 2411-901, Leiria, Portugal

    Filipe Mota Pinto

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ouhammou, Y., Grolleau, E., Richard, M., Richard, P. (2011). Towards a Simple Meta-model for Complex Real-Time and Embedded Systems. In: Bellatreche, L., Mota Pinto, F. (eds) Model and Data Engineering. MEDI 2011. Lecture Notes in Computer Science, vol 6918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24443-8_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24443-8_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24442-1

  • Online ISBN: 978-3-642-24443-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation