Advertisement

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain

  • Jérôme Hugues
  • Laurent Pautet
  • Bechir Zalila
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4888)

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.

Keywords

Model Check Schedulability Analysis Model Drive Development Protected Object Model Drive Architecture 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BMR+96]
    Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)Google Scholar
  2. [BV05]
    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)Google Scholar
  3. [Gas06]
    Gasperoni, F.: Safety, security, and object-oriented programming. SIGBED Rev. 3(4), 15–26 (2006)CrossRefGoogle Scholar
  4. [GGH00]
    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)Google Scholar
  5. [Hal93]
    Halbwachs, N.: A tutorial of Lustre (1993)Google Scholar
  6. [HKPV07]
    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)Google Scholar
  7. [ISO06]
    ISO/IEC 8652:2007(E) Ed. 3. Annotated Ada 2005 Language Reference Manual. Technical report (2006)Google Scholar
  8. [MT]
    MoVe-Team. CPN-AMI, http://www.lip6.fr/cpn-ami
  9. [OMG03]
    OMG. MDA Guide v1.01. OMG (2003)Google Scholar
  10. [OMG06]
    OMG. Common Object Request Broker - for embedded. OMG (MAY 2006) Draft Adopted specification ptc/06-05-01Google Scholar
  11. [QKP01]
    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)Google Scholar
  12. [SAE04]
    SAE. Architecture Analysis & Design Language (AS5506) (September 2004), available at http://www.sae.org
  13. [SAE06]
    SAE. Open Source AADL Tool Environment. Technical report, SAE (2006)Google Scholar
  14. [SBK+05]
    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)Google Scholar
  15. [SLTM04]
    Singhoff, F., Legrand, J., Tchamnda, L.N., Marcé, L.: Cheddar: a Flexible Real Time Scheduling Framework. ACM Ada Letters 24(4), 1–8 (2004)CrossRefGoogle Scholar
  16. [VHPK04]
    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)CrossRefGoogle Scholar
  17. [VZ06]
    Vergnaud, T., Zalila, B.: Ocarina: a Compiler for the AADL. Technical report, Télécom Paris (2006), available at http://aadl.enst.fr

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jérôme Hugues
    • 1
  • Laurent Pautet
    • 1
  • Bechir Zalila
    • 1
  1. 1.GET-Télécom Paris – LTCI-UMR 5141 CNRS, 46, rue Barrault, F-75634 Paris CEDEX 13France

Personalised recommendations