skip to main content
research-article

From the prototype to the final embedded system using the Ocarina AADL tool suite

Published:01 August 2008Publication History
Skip Abstract Section

Abstract

Building distributed deal-time embedded systems requires a stringent methodology, from early requirement capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g., scheduling and resource dimensioning). Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis and code generation) is required to speed up the development cycle. In this article, we show how the AADL (Architecture Analysis and Design Language), which appeared in late 2004, helps solve these issues thanks to a dedicated tool suite. We then detail the prototyping process and its current implementation: Ocarina.

References

  1. Bordin, M. and Vardanega, T. 2005. Automated model-based generation of ravenscar-compliant source code. In Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS'05). IEEE Computer Society, Los Alamitos, CA, 59--67. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Davis, R. I. and Burns, A. 2005. Hierarchical fixed priority pre-emptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS'06). IEEE Computer Society, Los Alamitos, CA, 389--398. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. de la Puente, J. A., Ruiz, J. F., and Zamorano, J. 2000. An open ravenscar real-time kernel for gnat. In Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'00). Springer-Verlag, Berlin. 5--15. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Dobbing, B., Burns, A., and Vardanega, T. 2003. Guide for the use of the of the Ravenscar profile in high integrity systems. Tech. rep. University of York.Google ScholarGoogle Scholar
  6. ECSS. 2003. Space engineering. SpaceWire—Links, nodes, routers and networks. Standard ECSS-E-50-12A.Google ScholarGoogle Scholar
  7. Ellidiss-Software. 2007. STOOD. http://www.ellidiss.com/stood.shtml.Google ScholarGoogle Scholar
  8. ENST. 2006. Ocarina: An AADL model processing suite. http://ocarina.enst.fr.Google ScholarGoogle Scholar
  9. Feiler, P. H., Gluch, D. P., and Hudak, J. J. 2006. The architecture analysis & design language (AADL): An introduction. Tech. rep. CMU/SEI-2006-TN-011.Google ScholarGoogle Scholar
  10. Gasperoni, F. 2006. Safety, security, and object-oriented programming. SIGBED Rev. 3, 4, 15--26. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Gorappa, S., Colmenares, J. A., Jafarpour, H., and Klefstad, R. 2005. Tool-based configuration of real-time CORBA middleware for embedded systems. In Proceedings of the International Symposium on Object-oriented Real-time distributed Computing (ISORC'05). Seattle, WA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., and Thierry-Mieg, Y. 2006. New features in CPN-AMI 3: Focusing on the analysis of complex distributed systems. In Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06). Turku, Finland. IEEE Computer Society, Los Alamitos, CA. 273--275. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Hugues, J., Thierry-Mieg, Y., Kordon, F., Pautet, L., Baarir, S., and Vergnaud, T. 2004. On the formal verification of middleware behavioral properties. In Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04). Electronic Notes in Theoretical Computer Science, vol. 133, Elsevier. 139--157. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Hugues, J., Zalila, B., and Pautet, L. 2006. Middleware and tool suite for high integrity systems. In Proceedings of RTSS-WiP'06. Rio de Janeiro, Brazil. IEEE, Los Alamitos, CA.Google ScholarGoogle Scholar
  15. ISO/IEC 8652:2007(E) Ed. 3. 2006. Annotated Ada 2005 language reference manual. Tech. rep.Google ScholarGoogle Scholar
  16. Kordon, F. and Luqi. 2002. An introduction to rapid system prototyping. IEEE Trans. Softw. Eng. 28, 9, 817--821. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Leveson, N. 1997. Software engineering: Stretching the limits of complexity. Comm. ACM 40, 2, 129--131. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. MoVe-Team. 2007. The CPN-AMI home page. http://www.lip6.fr/cpn-ami.Google ScholarGoogle Scholar
  19. OMG. 2001. Model Driven Architecture (MDA), Document number ormsc/2001-07-01. Tech. rep., OMG.Google ScholarGoogle Scholar
  20. OMG. 2004. Data distribution service for real-time systems specification, version 1.0. OMG. OMG Technical Document.Google ScholarGoogle Scholar
  21. SAE. 2004. Architecture Analysis & Design Language (AS5506). http://www.sae.org.Google ScholarGoogle Scholar
  22. SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D.Google ScholarGoogle Scholar
  23. SAE. 2006. Open source AADL tool environment. Tech. rep., SAE.Google ScholarGoogle Scholar
  24. Schmidt, D., Stal, M., Rohnert, H., and Buschmann, F. 2000. Pattern-Oriented Software Architecture—Volume 2: Patterns for Concurrent and Networked Objects. Wiley, New York. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Schmidt, D. C., Levine, D. L., and Mungee, S. 1998. The design of the TAO real-time object request broker. Comput. Comm. 21, 4, 294--324. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Singhoff, F., Legrand, J., Tchamnda, L. N., and Marcé, L. 2004. Cheddar: A flexible real time scheduling framework. ACM Ada Lett. J. 24, 4, 1--8. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Tindell, K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep., University of York.Google ScholarGoogle Scholar
  28. Vergnaud, T., Hugues, J., Pautet, L., and Kordon, F. 2004. PolyORB: A schizophrenic middleware to build versatile reliable distributed applications. Lecture Notes in Computer Science, vol. 3063, 106--119.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. From the prototype to the final embedded system using the Ocarina AADL tool suite

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!