Abstract
The development of Embedded Real Time Systems (ERTS) is generally a complex task that requires high costs and long delays. New development tools should be elaborated in order to improve ERTS developers productivity. Model Driven Engineering (MDE) is an emerging paradigm that advances the idea to use models and models transformations to make the development process cost effective.
This paper introduces the Architecture-centric Model Driven Engineering (ArchMDE) approach that stresses architecture-based development and validation of ERTS. We have defined a set of architectural meta-models and a set of QVT transformation rules to automate the generation of architecture-specific models of ERTS.
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
Apvrille, L., Courtia, J.P., Lohr, C., De Saqui-Sannes, P.: A Real-Time UML Profile Supported by a Formal Validation Toolkit. In: IEEE Transactions on Software Engineering, vol. 30(7), IEEE Computer Society Press, Los Alamitos (2004)
Apvrille, L., De Saqui-Sannes, P., Khendek, F.: TURTLE-P: a UML profile for the formal validation of critical and distributed systems. In: Software and Systems Modeling, Springer, Heidelberg (2006)
ATI-Wooddes project (2006), Visted on November http://wooddes.intranet.gr/ecoop2001/_private/Case-Study.ps
Burmester, S., Giese, H., Schafer, W.: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 25–40. Springer, Heidelberg (2005)
Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Rapport LAAS No99133 Computer Communications 23(12), 1104–1123 (2000)
Do Nascimento, F.A., Da, S., Oliveira, M.F., Wehrmeister, M.A., Pereira, C.E., Wagner, F.R.: MDA-based approach for embedded software generation from UML/MOF repository. In: SBCCI’06. Proceedings of the 19th Annual Symposium on integrated Circuits and Systems Design, Oliveira, pp. 143–148. ACM Press, New York (2006)
Douglass, B.P.: Doing Hard Time: Developing Real-time Systems with UML, Objects, Frameworks and Patterns (4th Print), Boston, MA. Addison-Wesley, Reading (2001)
Garlan, D.: Software Architecture: a Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, ACM Press, New York (2000)
Gerard, S., Terrier, F., Tanguy, Y.: Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML. In: Bruel, J.-M., Bellahsène, Z. (eds.) OOIS 2002. LNCS, vol. 2426, Springer, Heidelberg (2002)
Hudak, J., Feiler, P.: Developing AADL models for control systems: A parctitioner’s guide. Technical report. CMU/SEI-2006-TR-019. ESC-TR-2006-019 (October 2006)
Kent, S.: Model Driven Engineering, Integrated Formal Methods. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, Springer, Heidelberg (2002)
Lohr, C.: Contribution to real-time system specification relying on the RT-LOTOS formal description technique (in French). Ph.D.Thesis, Institut National Polytechnique de Toulouse (2002)
Mraidha, C.: Modelisation executable et analyse de proprietes temps reel. Ph.D.Thesis, Universty of EVRY (2005)
Mikkonen, T., Pitkanen, R., Pussinen, M.: On the role of architectural style in Model Driven Development. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 74–78. Springer, Heidelberg (2004)
Moore, A., Cooling, N.: Developing real-time systems using Object technology. Real-time Perspection: Foundation and overview version 1.3 (2000)
OMG.: MDA Guide Version 1.0.1. omg document number omg/2003-06-01 (June 2003)
OMG.: UML 2.0 Superstructure Specification (August 2003), http://www.omg.org/docs/ptc/030802.pdf
OMG.: MOF QVT Final Adopted Specification. (November 2005), http://www.omg.org/docs/ptc/051101.pdf
Pfleger, K.: hayes-Roth, B.: An Introduction to Blackbord-Style Systems Organization. Standford University technical Report KSL-98-03. Knowledge Systems Laboratory (1998)
RTL.: RTL Tool (November 2006), Visited on http://www.lass.fr/RT-LOTOS
TTool.: Turtle Toolkit. Visited on (January 2007), http://labsoc.comelec.enst.fr/turtle
Ventura, J., Siebert, F., Walter, A., Hunt, J.: HIDOORS - A High Integrity Distributed Deterministic Java Environment. In: WORDS. Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems, San Diego, January 2002 (2002)
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
Elleuch, N., Khalfallah, A., Ben Ahmed, S. (2007). ArchMDE Approach for the Development of Embedded Real Time Systems. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-73230-3_11
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)