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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 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.
References
Eclipse modeling framework. https://www.eclipse.org/modeling/emf/. Accessed 20 Feb 2017
The cheddar project: a GPL real-time scheduling analyzer (2015). http://beru.univ-brest.fr/~singhoff/cheddar/. Accessed 11 Feb 2015
Constraint language for AADL: LUTE (2016). http://www.aadl.info/aadl/osate/osate-doc/osate-plugins/lute.html
AADL. Architecture analysis and design language. http://www.aadl.info/
Audsley, N.C.: Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times. Citeseer (1991)
Baruah, S., Burns, A.: Sustainable scheduling analysis. In: 27th IEEE International Real-Time Systems Symposium, RTSS 2006, pp. 159–168. IEEE (2006)
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)
Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. Real-Time Syst. 39(1–3), 5–30 (2008)
Brau, G., Hugues, J., Navet, N.: A contract-based approach to support goal-driven analysis. In: ISORC, pp. 236–243. IEEE (2015)
CORAC.Le conseil pour la recherche aéronautique civile. http://aerorecherchecorac.com/
Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)
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)
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)
Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973)
MARTE. Modeling and analysis of real-time and embedded systems. http://www.omg.org/omgmarte/. Accessed 20 Feb 2017
MAST. Modeling and analysis suite for real-time applications. http://mast.unican.es/. Accessed 20 Feb 2017
Object constraint language proposed by object menagement group (omg). http://www.omg.org/spec/OCL/. Accessed 20 Feb 2017
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)
Ouhammou, Y., Grolleau, E., Richard, P., Richard, M.: Reducing the gap between design and scheduling. In: 20th RTNS, pp. 21–30 (2012)
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)
Rouhifar, M., Ravanmehr, R.: A survey on scheduling approaches for hard real-time systems. Int. J. Comput. Appl. 131(17), 41–48 (2015)
Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. IEEE Comput. 39(2), 25–31 (2006)
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)
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)
Simso.Simulation of multiprocessor scheduling with overheads. http://projects.laas.fr/simso/. Accessed 20 Feb 2017
Stigge, M., Yi, W.: Graph-based models for real-time workload: a survey. Real-Time Syst. 51(5), 602–636 (2015)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40(2–3), 117–134 (1994)
Waruna. Atelier de modélisation et de vérification de propriétés temporelles. http://www.waruna-projet.fr/
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)