Advertisement

Generating Distributed High Integrity Applications from Their Architectural Description

  • Bechir Zalila
  • Irfan Hamid
  • Jerome Hugues
  • Laurent Pautet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4498)

Abstract

High-Integrity distributed applications are used in many critical domains. They must be designed and built with a great deal of vigor, as a failure could mean loss of life. Thus, it is preferable that a significant part of their code be generated automatically from a model that describes their critical aspects. Automatic code generation eases the process of certification as well. In this paper we introduce the use of AADL as a modeling language for HI distributed systems. Then we present our Ravenscar Profile compliant Ada code generation rules from AADL models. Finally, we present our Ravenscar Profile compliant middleware, PolyORB-HI and the extension of the code generation rules for HI distributed applications.

Keywords

Data Component Sporadic Task Schedulability Analysis Call Sequence Protected Object 
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. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical report, University of York, UK (january 2003)Google Scholar
  2. Barros, M.C., Madeira, E.R., Sotoma, I.: An Experience on CORBA Component Deployment. In: ISADS’03. Proceedings of the sixth International Symposium on Autonomous Decentralized Systems (April 2003)Google Scholar
  3. Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: ECRTS ’05. Proceedings of the 17th Euromicro Conference on Real-Time Systems, pp. 59–67. IEEE Computer Society Press, Washington, DC (2005)Google Scholar
  4. Hugues, J., Zalila, B., Pautet, L.: Middleware and Tool suite for High Integrity Systems (December 2006)Google Scholar
  5. Pautet, L., Tardieu, S.: GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In: ISORC’00. Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Newport Beach, California (June 2000)Google Scholar
  6. SAE. Architecture Analysis & Design Language (AS5506), (september 2004), available at http://www.sae.org
  7. SAE. Language Compliance and Application Program Interface. SAE 2005. The AADL Specification Document Annex D.Google Scholar
  8. Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Scheduling and memory requirement analysis with aadl. In: ACM Press (ed.) Proceedings of the ACM SIGADA International Conference, vol. 25, pp. 1–10. ACM Press, New York (2005)Google Scholar
  9. Ellidiss Software. STOOD. http://www.ellidiss.com/stood.shtml
  10. Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. In: IEEE Transactions on Computers, pp. 1175–1185. IEEE Computer Society Press, Washington DC (1990)Google Scholar
  11. Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: Rapid Development Methodology for Customized Middleware. In: RSP’05. Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping, Montreal, Canada (June 2005)Google Scholar
  12. Ada Working Group. Ada Reference Manual. ISO/IEC (2005), Available at http://www.adaic.com/standards/05rm/RM-Final.pdf

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

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

Personalised recommendations