Abstract
This paper discusses the requirements on the selection of a programming language as the target of automated code generation in a high-integrity model driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.
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
Bordin, M., Vardanega, T.: Automated model-based generation of ravenscar-compliant source code. In: ECRTS, pp. 59–67. IEEE Computer Society Press, Los Alamitos (2005)
Bordin, M., Vardanega, T.: A new strategy for the HRT-HOOD to ada mapping. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 51–66. Springer, Heidelberg (2005)
Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodel-driven approach. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 114–127. Springer, Heidelberg (2007)
Bordin, M., Vardanega, T.: A domain-specific metamodel for reusable, object-oriented, high-integrity components. In: OOPSLA DSM 2007 (2007)
Bordin, M., Vardanega, T.: Real-time java from an automated code generation perspective. In: Bollella, G. (ed.) JTRES. ACM International Conference Proceeding Series, pp. 63–72. ACM, New York (2007)
Brosgol, B.M.: A comparison of the object-oriented features of ada 2005 and javatm. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 115–129. Springer, Heidelberg (2008)
Brosgol, B.M.: Languages for safety-critical software: Issues and assessment. In: Ada Core. IEEE Computer Society, Los Alamitos (2008)
Brosgol, B.M., Wellings, A.J.: A comparison of ada and real-time javaTMfor safety-critical applications. In: Pinho, L.M., González Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol. 4006, pp. 13–26. Springer, Heidelberg (2006)
MISRA C, http://www.misra-c2.com/
Cechticky, V., Egli, M., Pasetti, A., Rohlik, O., Vardanega, T.: A UML2 profile for reusable and verifiable software components for real-time applications. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol. 4039, pp. 312–325. Springer, Heidelberg (2006)
Clemente, P.J., Núñez, J.H., Murillo, J.M., Pérez, M.A., Sánchez, F.: AspectCCM: An aspect-oriented extension of the corba component model. In: EUROMICRO, pp. 10–16. IEEE Computer Society Press, Los Alamitos (2002)
Deng, G., Xiong, M., Gokhale, A.S., Edwards, G.: Evaluating real-time publish/subscribe service integration approaches in qoS-enabled component middleware. In: ISORC, pp. 222–227. IEEE Computer Society Press, Los Alamitos (2007)
Dobbing, B., Burns, A.: The ravenscar tasking profile for high integrity real-time programs. In: SIGAda, pp. 1–6 (1998)
Radio Technical Commission for Aeronautics, http://www.rtca.org
The Real-Time Specification for Java, http://www.rtsj.org
Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286–298. Springer, Heidelberg (2002)
Kermarrec, Y., Nana, L., Pautet, L.: Gnatdist: a configuration language for distributed ada 95 applications. In: TRI-Ada 1996: Proceedings of the conference on TRI-Ada 1996, pp. 63–72. ACM Press, New York (1996)
Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Laprie, J.C.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer, New York, Inc (1992)
Douglass Locke, C.: Safety critical javaTMtechnology. In: JTRES 2006: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, Paris, France, pp. 95–96. ACM, New York (2006)
OMG’s MDA, http://www.omg.org/mda/products_success.htm
Sun Microsystems. JavaTM 2 Platform, Micro Edition (November 2002), http://java.sun.com/j2me
Miller, J., Mukerji, J.: Model driven architecture (MDA). Draft ormsc/2001-07-01, Architecture Board ORMSC (July 2001)
Panunzio, M., Vardanega, T.: A metamodel-driven process featuring advanced model-based timing analysis. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 128–141. Springer, Heidelberg (2007)
The Eclipse Platform, http://www.eclipse.org
Urueńa, S., Zamorano, J.: Building high-integrity distributed systems with ravenscar restrictions. In: IRTAW 2007: Proceedings of the 13th international workshop on Real-time Ada, pp. 29–36. ACM, New York (2007)
Vardanega, T.: Property-preserving reuse-geared approach to model-driven development. In: RTCSA, pp. 223–232. IEEE Computer Society Press, Los Alamitos (2006)
Vardanega, T., Zamorano, J., De La Puente, J.A.: On the dynamic semantics and the timing behavior of ravenscar kernels. Real-Time Syst. 29(1), 59–89 (2005)
Wellings, A.J., Burns, A.: A framework for real-time utilities for ada 2005. In: IRTAW 2007: Proceedings of the 13th international workshop on Real-time Ada, pp. 41–47. ACM Press, New York (2007)
Wellings, A.: Is java augmented with the rtsj a better real-time systems implementation technology than ada 95? In: IRTAW 2003: Proceedings of the 12th international workshop on Real-time Ada, pp. 16–21. ACM Press, New York (2003)
SC-205 WG-71, http://ultra.pr.erau.edu/SCAS/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zovi, A., Vardanega, T. (2009). Requirements on the Target Programming Language for High-Integrity MDE. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)