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

Transactions on Embedded Computing Systems - Tập 7 Số 4 - Trang 1-25 - 2008
Jérôme Hugues1, Bechir Zalila1, Laurent Pautet1, Fabrice Kordon2
1GET-Télécom Paris
2Université Pierre & Marie Curie

Tóm tắt

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.

Từ khóa


Tài liệu tham khảo

10.1109/ECRTS.2005.9

Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley New York. Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley New York.

10.1109/RTSS.2005.25

10.5555/646579.697613

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. 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.

ECSS. 2003. Space engineering. SpaceWire—Links nodes routers and networks. Standard ECSS-E-50-12A. ECSS. 2003. Space engineering. SpaceWire—Links nodes routers and networks. Standard ECSS-E-50-12A.

Ellidiss-Software. 2007. STOOD. http://www.ellidiss.com/stood.shtml. Ellidiss-Software. 2007. STOOD. http://www.ellidiss.com/stood.shtml.

ENST. 2006 . Ocarina: An AADL model processing suite . http://ocarina.enst.fr. ENST. 2006. Ocarina: An AADL model processing suite. http://ocarina.enst.fr.

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. 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.

10.1145/1183088.1183092

10.1109/ISORC.2005.60

10.1109/ACSD.2006.15

10.1016/j.entcs.2004.08.062

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. 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.

ISO/IEC 8652:2007(E) Ed. 3 . 2006 . Annotated Ada 2005 language reference manual. Tech . rep. ISO/IEC 8652:2007(E) Ed. 3. 2006. Annotated Ada 2005 language reference manual. Tech. rep.

10.1109/TSE.2002.1033222

10.1145/253671.253754

MoVe-Team. 2007. The CPN-AMI home page. http://www.lip6.fr/cpn-ami. MoVe-Team. 2007. The CPN-AMI home page. http://www.lip6.fr/cpn-ami.

OMG. 2001. Model Driven Architecture (MDA) Document number ormsc/2001-07-01. Tech. rep. OMG. OMG. 2001. Model Driven Architecture (MDA) Document number ormsc/2001-07-01. Tech. rep. OMG.

OMG. 2004. Data distribution service for real-time systems specification version 1.0. OMG. OMG Technical Document. OMG. 2004. Data distribution service for real-time systems specification version 1.0. OMG. OMG Technical Document.

SAE. 2004. Architecture Analysis &amp ; Design Language (AS 5506). http://www.sae.org. SAE. 2004. Architecture Analysis & Design Language (AS5506). http://www.sae.org.

SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D. SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D.

SAE. 2006. Open source AADL tool environment. Tech. rep. SAE. SAE. 2006. Open source AADL tool environment. Tech. rep. SAE.

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. 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.

10.1016/S0140-3664(97)00165-5

10.1145/1046191.1032298

Tindell , K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep ., University of York. Tindell, K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep., University of York.

10.1007/978-3-540-24841-5_8

Thông tin
Thông tin xuất bản

Transactions on Embedded Computing Systems

Tập 7 Số 4

1-25

Thông tin tác giả