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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (529 KB)

Source

ACM Transactions on Embedded Computing Systems (TECS) archive
Volume 7 , Issue 4 (July 2008) table of contents

Article No. 42

Year of Publication: 2008

ISSN:1539-9087

Authors

Jerome Hugues	GET-Télécom Paris
Bechir Zalila	GET-Télécom Paris
Laurent Pautet	GET-Télécom Paris
Fabrice Kordon	Université Pierre & Marie Curie

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 19, Downloads (12 Months): 205, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1376804.1376810 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Matteo Bordin , Tullio Vardanega, Automated Model-Based Generation of Ravenscar-Compliant Source Code, Proceedings of the 17th Euromicro Conference on Real-Time Systems, p.59-67, July 06-08, 2005 [doi>10.1109/ECRTS.2005.9]
	2	Frank Buschmann , Regine Meunier , Hans Rohnert , Peter Sommerlad , Michael Stal, Pattern-oriented software architecture: a system of patterns, John Wiley & Sons, Inc., New York, NY, 1996
	3	R. I. Davis , A. Burns, Hierarchical Fixed Priority Pre-Emptive Scheduling, Proceedings of the 26th IEEE International Real-Time Systems Symposium, p.389-398, December 05-08, 2005 [doi>10.1109/RTSS.2005.25]
	4	Juan Antonio de la Puente , José F. Ruiz , Juan Zamorano, An Open Ravenscar Real-Time Kernel for GNAT, Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies, p.5-15, June 26-30, 2000
	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.
	6	ECSS. 2003. Space engineering. SpaceWire—Links, nodes, routers and networks. Standard ECSS-E-50-12A.
	7	Ellidiss-Software. 2007. STOOD. http://www.ellidiss.com/stood.shtml.
	8	ENST. 2006. Ocarina: An AADL model processing suite. http://ocarina.enst.fr.
	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.
	10	Franco Gasperoni, Safety, security, and object-oriented programming, ACM SIGBED Review, v.3 n.4, p.15-26, October 2006 [doi>10.1145/1183088.1183092]
	11	Shruti Gorappa , Juan A. Colmenares , Hojjat Jafarpour , Raymond Klefstad, Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems, Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, p.342-349, May 18-20, 2005 [doi>10.1109/ISORC.2005.60]
	12	A. Hamez , L. Hillah , F. Kordon , A. Linard , E. Paviot-Adet , X. Renault , Y. Thierry-Mieg, New features in CPN-AMI 3: focusing on the analysis of complex distributed systems, Proceedings of the Sixth International Conference on Application of Concurrency to System Design, p.273-275, June 28-30, 2006 [doi>10.1109/ACSD.2006.15]
	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.
	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.
	15	ISO/IEC 8652:2007(E) Ed. 3. 2006. Annotated Ada 2005 language reference manual. Tech. rep.
	16	Fabrice Kordon , Luqi, An Introduction to Rapid System Prototyping, IEEE Transactions on Software Engineering, v.28 n.9, p.817-821, September 2002 [doi>10.1109/TSE.2002.1033222]
	17	Nancy G. Leveson, Software engineering: stretching the limits of complexity, Communications of the ACM, v.40 n.2, p.129-131, Feb. 1997 [doi>10.1145/253671.253754]
	18	MoVe-Team. 2007. The CPN-AMI home page. http://www.lip6.fr/cpn-ami.
	19	OMG. 2001. Model Driven Architecture (MDA), Document number ormsc/2001-07-01. Tech. rep., OMG.
	20	OMG. 2004. Data distribution service for real-time systems specification, version 1.0. OMG. OMG Technical Document.
	21	SAE. 2004. Architecture Analysis & Design Language (AS5506). http://www.sae.org.
	22	SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D.
	23	SAE. 2006. Open source AADL tool environment. Tech. rep., SAE.
	24	Douglas C. Schmidt , Hans Rohnert , Michael Stal , Dieter Schultz, Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, John Wiley & Sons, Inc., New York, NY, 2000
	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.
	26	F. Singhoff , J. Legrand , L. Nana , L. Marcé, Cheddar: a flexible real time scheduling framework, ACM SIGAda Ada Letters, v.XXIV n.4, p.1-8, December 2004
	27	Tindell, K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep., University of York.
	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.