Abstract
From small and very specialized applications, real-time embedded systems are now evolving towards large distributed and interconnected systems. The construction of such systems is becoming increasingly complex, while being put under heavy pressures (economic, mission criticality, time, etc.).
We see a current trend to extend and reuse existing specification and modeling techniques for embedded systems under the “Model Driven Architecture” approach (MDA). Expected benefits range from a better control over the application life-cycle to the integration of performance, analysis or verification tools.
In this paper, we take a very pragmatic position and illustrate how building Distributed Real-Time systems (DRE) for the High-Integrity domain in a Model Driven Development (MDD) process may fail to address core requirements, and why going “back to the basics” of the code and implementation is required to avoid missing the strongest requirements; and avoid a situation in which the MDD fails to deliver its promises.
Our claim is that MDD provides value to the engineering of complex system, if and only if it can take full advantage of the expressive power of the models to help the user in certifying or validating its system. This includes full control of the code generation, validation and verification or testing process.
In the following, we show some limits in current MDD-based DRE projects. We discuss how a careful use of a modeling language like AADL can reduce them, by separating modeling concerns from the underlying execution environment. We then introduce our work in this domain, demonstrating how both a unified modeling approach, combined with precise code generators can provide the user full control and confidence when building its own DRE systems.
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
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)
Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: ECRTS 2005. Proceedings of the 17th Euromicro Conference on Real-Time Systems, pp. 59–67. IEEE Computer Society, Washington (2005)
Gasperoni, F.: Safety, security, and object-oriented programming. SIGBED Rev. 3(4), 15–26 (2006)
García, J.J.G., Gutiérrez, J.C.P., Harbour, M.G.: Schedulability analysis of distributed hard real-time systems with multiple- event synchronization. In: Proceedings of 12th Euromicro Conference on Real-Time Systems, pp. 15–24. IEEE Computer Society Press, Los Alamitos (2000)
Halbwachs, N.: A tutorial of Lustre (1993)
Hugues, J., Kordon, F., Pautet, L., Vergnaud, T.: A Factory To Design and Build Tailorable and Verifiable Middleware. In: Workshop on Networked Systems: realization of reliable systems on top of unreliable networked platforms, 12th edn. Monterey Workshop Series, 2005, vol. 4322, pp. 123–144. Springer, Heidelberg (2007)
ISO/IEC 8652:2007(E) Ed. 3. Annotated Ada 2005 Language Reference Manual. Technical report (2006)
MoVe-Team. CPN-AMI, http://www.lip6.fr/cpn-ami
OMG. MDA Guide v1.01. OMG (2003)
OMG. Common Object Request Broker - for embedded. OMG (MAY 2006) Draft Adopted specification ptc/06-05-01
Quinot, T., Kordon, F., Pautet, L.: From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models. In: DOA 2001. Proceedings of the 3rd International Symposium on Distributed Objects and Applications, IEEE Computer Society Press, Los Alamitos (2001)
SAE. Architecture Analysis & Design Language (AS5506) (September 2004), available at http://www.sae.org
SAE. Open Source AADL Tool Environment. Technical report, SAE (2006)
Schmidt, D.C., Balasubramanian, K., Krishna, A.S., Turkay, E., Gokhale, A.: Model Driven Engineering for Distributed Real-time Embedded Systems. In: Model-Driven Development of distributed Real-Time and Embedded Systems, pp. 31–60. Hermes Publishing (2005)
Singhoff, F., Legrand, J., Tchamnda, L.N., Marcé, L.: Cheddar: a Flexible Real Time Scheduling Framework. ACM Ada Letters 24(4), 1–8 (2004)
Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 106–119. Springer, Heidelberg (2004)
Vergnaud, T., Zalila, B.: Ocarina: a Compiler for the AADL. Technical report, Télécom Paris (2006), available at http://aadl.enst.fr
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hugues, J., Pautet, L., Zalila, B. (2008). From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. In: Kordon, F., Sokolsky, O. (eds) Composition of Embedded Systems. Scientific and Industrial Issues. Monterey Workshop 2006. Lecture Notes in Computer Science, vol 4888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77419-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-77419-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77418-1
Online ISBN: 978-3-540-77419-8
eBook Packages: Computer ScienceComputer Science (R0)