Abstract
The increasing evolution of real-time and embedded systems needs methodologies and design tools in order to reduce design complexity. Moreover, the scheduling analysis is one of the aspects that integrate the development process to reduce development costs and to validate systems. Since model-driven engineering offers interesting solutions to the above-mentioned challenges, it is widely used in various industrial and academic research projects. This paper presents an overview of a model-based framework called MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems), which aims to help real-time designers to conceive, dimension and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. In fact, research results have been exploited in industrial contexts only to a modest extent to date. The MoSaRT framework is also a software tool for technology transfer enabling researchers to promote their works (e.g. analysis models and scheduling tests), then to increase the applicability of the real-time scheduling analysis.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
W. SAE AADL. The SAE Architecture Analysis & Design Language Standard, vol. 2009 (2009)
Burns, A., Wellings, A.: Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX, 4th edn. Addison Wesley (2009)
Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4), 35 (2011)
Gai, P., Natale, M.D., Serreli, N., Palopoli, L., Ferrari, A.: Adding timing analysis to functional design to predict implementation errors. SAE Technical Paper 2007-01-1272 (2007)
Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis–the symta/s approach. IEE Proceedings-Computers and Digital Techniques 152(2), 148–166 (2005)
Joseph, M., Pandya, P.K.: Finding response times in a real-time system. Computer Journal 29(5), 390–395 (1986)
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)
Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Software Engineering Notes 36, 1–8 (2011)
Society of Automotive Engineers (SAE). The SAE architecture analysis & design language standard, http://www.aadl.info (last access: April 15, 2014)
Object, O.: constraint language, omg available specification, version 2.0 (2006), http://www.omg.org/spec/OCL/2.0/
OMG. Uml profile for marte: Modeling and analysis of real-time embedded systems (2009), http://www.omgmarte.org
Ouhammou, Y., Grolleau, E., Hugues, J.: Mapping aadl models to a repository of multiple schedulability analysis techniques. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), p. 8 (2013)
Ouhammou, Y., Grolleau, E., Richard, M., Richard, P.: Model driven timing analysis for real-time systems. In: IEEE International Conference on Embedded Software and Systems (ICESS), pp. 1458–1465 (2012)
Ouhammou, Y., Grolleau, E., Richard, M., Richard, P.: Reducing the gap between design and scheduling. In: Real-Time and Network Systems (RTNS), pp. 21–30. ACM (2012)
Palencia, J.C., González Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: IEEE Real-Time Systems Symposium (RTSS), pp. 26–37 (1998)
Quadri, I.R., Brosse, E., Gray, I., Matragkas, N.D., Indrusiak, L.S., Rossi, M., Bagnato, A., Sadovykh, A.: Mades fp7 eu project: Effective high level sysml/marte methodology for real-time and embedded avionics systems. In: International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), pp. 1–8 (2012)
Sha, L., Abdelzaher, T., AArzé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 Systems 28(2-3), 101–155 (2004)
Singhoff, F., Plantec, A., Dissaux, P., Legrand, J.: Investigating the usability of real-time scheduling theory with the cheddar project. Real-Time Systems 43(3), 259–295 (2009)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Pearson Education (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Ouhammou, Y., Grolleau, E., Richard, M., Richard, P., Madiot, F. (2015). MoSaRT Framework: A Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems. In: Boulanger, F., Krob, D., Morel, G., Roussel, JC. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-11617-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-11617-4_20
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11616-7
Online ISBN: 978-3-319-11617-4
eBook Packages: EngineeringEngineering (R0)