Abstract
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can be interpreted in order to perform real time scheduling analysis of real time systems. By the past, different projects showed that the Cheddar programming language is useful for the modeling of real time schedulers. But these experiments also showed that the interpreter is lacking of efficiency in case of large scheduling simulations. In this article, by designing a Cheddar meta-model, we investigate on how to compile such Cheddar programs in order to extend the Cheddar library. For such a purpose, we use Platypus, a meta CASE Tool based on EXPRESS. For a given Cheddar program and with a meta-model of Cheddar handled by Platypus, we can generate a set of Ada packages. Such Ada packages can be compiled and integrated as builtin schedulers into Cheddar. Then, the efficiency of scheduling simulations can be increased.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a Flexible Real Time Scheduling Framework. ACM Ada Letters journal. Also published in the proceedings of the International ACM SIGAda Conference, Atlanta, USA, vol. 24(4), pp. 1–8 (2004)
Singhoff, F.: Cheddar Release 2.x User’s Guide. Technical report, number singhoff-01-2007 (2007), Available at http://beru.univ-brest.fr/~singhoff/cheddar
Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of the Association for Computing Machinery 20(1), 46–61 (1973)
Hopcroft, J.E., Ullman, J.D.: Introduction of Automata Theory, Languages and Computation (2001)
Alur, R., Dill, D.L.: Automata for modeling real time systems. In: Paterson, M.S. (ed.) Automata, Languages and Programming. LNCS, vol. 443, pp. 322–335. Springer, Heidelberg (1990)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. Technical Report Updated the 17th November 2004 (Department of Computer Science, Aalbord University, Denmark) (2004)
Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic Task Scheduling for Hard-real-time Systems. The. Journal of Real. Time. Systems 1, 27–60 (1989)
Plantec, A.: Platypus Technical Summary and download. ( http://cassoulet.univ-brest.fr/mme )
Team, T.S.: Squeak web site. ( http://www.squeak.org )
ISO 10303-1: Part 1: Overview and fundamental principles. (1994)
ISO 10303-11: Part 11: EXPRESS Language Reference Manual (1994)
Plantec, A., Ribaud, V.: Experiences using an Application Generator Builder. In: Proceedings of the 11th International Conference on software engineering and knowledge engineering, Kaiserslautern, Germany, June 16-19, 1999, pp. 16–19 (1999)
Mimoune, M.E.H., Pierra, G., Ait-Ameur, Y.: An ontology-based approach for exchanging data between heterogeneous database systems. In: ICEIS 2003. Proceedings of the 5th International Conference On Enterprise Information Systems, Angers - France, École Supérieure d’ Électronique de l’ Ouest (2003)
Plantec, A., Singhoff, F.: Refactoring of an Ada 95 Library with a Meta CASE Tool. ACM Ada Letters journal. Also published. In: The proceedings of the International ACM SIGAda Conference, Albuquerque, 26(3), 61–70 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Singhoff, F., Plantec, A. (2007). Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. In: Abdennadher, N., Kordon, F. (eds) Reliable Software Technologies – Ada Europe 2007. Ada-Europe 2007. Lecture Notes in Computer Science, vol 4498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73230-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-73230-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73229-7
Online ISBN: 978-3-540-73230-3
eBook Packages: Computer ScienceComputer Science (R0)