Skip to main content
SpringerLink
Log in

PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs

  • Conference paper
  • First Online:
Software Architecture (ECSA 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10475))

Included in the following conference series:

Abstract

In this paper, we focus on RTES (real-time embedded systems) designs expressed in AADL (Architecture and Analysis Design Language) and we propose a model-based approach to improve the way that designers check and analyze the performance of their system designs by capitalizing the analysis process. Our approach is based on proposing customized repositories of models using formal AADL-compliant query and constraint languages in order to orient designers to choose the most suitable analysis models and tests. Furthermore, this work is also dedicated to research teams to share their researches and prototypes, in order to enhance the (re-)usability of the real-time performance analysis tests.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Notes

  1. 1.

    We have analyzed papers published in the main real-time system conferences like: RTSS (rtss.org), ECRTS (ecrts.eit.uni-kl.de) and RTAS (rtas.org).

  2. 2.

    https://forge.lias-lab.fr/projects/parad.

References

  1. Eclipse modeling framework. https://www.eclipse.org/modeling/emf/. Accessed 20 Feb 2017

  2. The cheddar project: a GPL real-time scheduling analyzer (2015). http://beru.univ-brest.fr/~singhoff/cheddar/. Accessed 11 Feb 2015

  3. Constraint language for AADL: LUTE (2016). http://www.aadl.info/aadl/osate/osate-doc/osate-plugins/lute.html

  4. AADL. Architecture analysis and design language. http://www.aadl.info/

  5. Audsley, N.C.: Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times. Citeseer (1991)

    Google Scholar 

  6. Baruah, S., Burns, A.: Sustainable scheduling analysis. In: 27th IEEE International Real-Time Systems Symposium, RTSS 2006, pp. 159–168. IEEE (2006)

    Google Scholar 

  7. Baruah, S.K., Rosier, L.E., Howell, R.R.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. 2(4), 301–324 (1990)

    Article  Google Scholar 

  8. Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. Real-Time Syst. 39(1–3), 5–30 (2008)

    Article  MATH  Google Scholar 

  9. Brau, G., Hugues, J., Navet, N.: A contract-based approach to support goal-driven analysis. In: ISORC, pp. 236–243. IEEE (2015)

    Google Scholar 

  10. CORAC.Le conseil pour la recherche aéronautique civile. http://aerorecherchecorac.com/

  11. Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)

    Article  MATH  Google Scholar 

  12. Gaudel, V., Singhoff, F., Plantec, A., Rubini, S., Dissaux, P., Legrand, J.: An ada design pattern recognition tool for AADL performance analysis. In: SIGAda, pp. 61–68 (2011)

    Google Scholar 

  13. Jeffay, K., Stone, D.: Accounting for interrupt handling costs in dynamic priority task systems. In: 1993 Proceedings of the Real-Time Systems Symposium, pp. 212–221. IEEE (1993)

    Google Scholar 

  14. Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  16. MARTE. Modeling and analysis of real-time and embedded systems. http://www.omg.org/omgmarte/. Accessed 20 Feb 2017

  17. MAST. Modeling and analysis suite for real-time applications. http://mast.unican.es/. Accessed 20 Feb 2017

  18. Object constraint language proposed by object menagement group (omg). http://www.omg.org/spec/OCL/. Accessed 20 Feb 2017

  19. Ouhammou, Y., Grolleau, E., Richard, M., Richard, P.: Towards a model-based approach guiding the scheduling analysis of real-time systems design. In: WATERS (2014)

    Google Scholar 

  20. Ouhammou, Y., Grolleau, E., Richard, P., Richard, M.: Reducing the gap between design and scheduling. In: 20th RTNS, pp. 21–30 (2012)

    Google Scholar 

  21. Peres, F., Hladik, P.-E., Vernadat, F.: Specification and verification of real-time systems using pola. Int. J. Crit. Comput.-Based Syst. 2(3–4), 332–351 (2011)

    Article  Google Scholar 

  22. Rouhifar, M., Ravanmehr, R.: A survey on scheduling approaches for hard real-time systems. Int. J. Comput. Appl. 131(17), 41–48 (2015)

    Google Scholar 

  23. RT-Druid. http://www.evidence.eu.com/products/rt-druid.html

  24. Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. IEEE Comput. 39(2), 25–31 (2006)

    Article  Google Scholar 

  25. Sha, L., Abdelzaher, T., Årzén, K.-E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real time scheduling theory: a historical perspective. Real-Time Syst. 28(2–3), 101–155 (2004)

    Article  MATH  Google Scholar 

  26. Sha, L., Klein, M.H., Goodenough, J.B.: Rate monotonic analysis for real-time systems. In: van Tilborg, A.M., Koob, G.M. (eds.) Foundations of Real-Time Computing: Scheduling and Resource Management, pp. 129–155. Springer, New York (1991)

    Google Scholar 

  27. Simso.Simulation of multiprocessor scheduling with overheads. http://projects.laas.fr/simso/. Accessed 20 Feb 2017

  28. Stigge, M., Yi, W.: Graph-based models for real-time workload: a survey. Real-Time Syst. 51(5), 602–636 (2015)

    Article  MATH  Google Scholar 

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

    Article  Google Scholar 

  30. Waruna. Atelier de modélisation et de vérification de propriétés temporelles. http://www.waruna-projet.fr/

Download references

Acknowledgements

This work is co-funded through the Waruna project by the French Ministry of the Economy, Finances and Industry, and by the PIA CORAC Panda project.

Author information

Authors and Affiliations

  1. LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Futuroscope, France

    Thanh Dat Nguyen, Yassine Ouhammou & Emmanuel Grolleau

Authors
  1. Thanh Dat Nguyen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yassine Ouhammou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Emmanuel Grolleau
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yassine Ouhammou .

Editor information

Editors and Affiliations

  1. Universidade de Lisboa, Lisbon, Portugal

    Antónia Lopes

  2. University of Kent, Canterbury, United Kingdom

    Rogério de Lemos

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Nguyen, T.D., Ouhammou, Y., Grolleau, E. (2017). PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs. In: Lopes, A., de Lemos, R. (eds) Software Architecture. ECSA 2017. Lecture Notes in Computer Science(), vol 10475. Springer, Cham. https://doi.org/10.1007/978-3-319-65831-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-65831-5_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-65830-8

  • Online ISBN: 978-3-319-65831-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation