Virtual prototyping AADL architectures in a polychronous model of computation

Proceedings - 6th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'08

Volumn , Issue , 2008, Pages 139-148

  Ma, Yue ^a   Talpin, Jean Pierre ^a   Gautier, Thierry ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT INSTRUMENTS; APPLICATIONS; ARCHITECTURE; AVIONICS; COBALT; COBALT COMPOUNDS; COMPUTER INTEGRATED MANUFACTURING; COMPUTER NETWORKS; DESIGN; FORMAL METHODS; INTEGRATED CIRCUITS;

CO DESIGNS; INTERNATIONAL CONFERENCES;

ARCHITECTURAL DESIGN;

EID: 51349136631     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2008.4547701     Document Type: Conference Paper

References (20)

1. R. Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, and J. Rabaey, Embedded system design using UML and platforms, In Forum on Specification and Design Languages, September 2002
2. M. Edwards and P. Green, UML for hardware and software object modeling, In UML for real: design of embedded real-time systems, Kluwer Academi Publishers, 2003
3. PH. Feiler, D.P. Gluch, J.J. Hudak. The Architecture Analysis & Design Language (AADL): An Introduction, Technical Note CMU/SEI-2006-TN-011, February 2006
4. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, The synchronous languages 12 years later, Proc of the IEEE, 91(1), January 2003
5. M. Krstić, E. Grass, F.K. Gürkaynak, P. Vivet, Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook, IEEE Design and Test of Computers, vol. 24, no. 5, pp. 430-441, September-October, 2007
6. P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann, Polychrony for system design, Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, World Scientific, April 2003
7. TopCased project, http://www.topcased.org
8. Airlines Electronic Engineering Committee. Design Guidance for Integrated Modular Avionics. ARINC Report 651-1, November 1997
9. J. Hudak, P. Feiler, The SAE Architecture Analysis & Design Language (AADL) Standard: A Language Summary, AADL Standard Document, 2006
10. Airlines Electronic Engineering Committee, Avionics Application Software Standard Interface. Arinc Specifcation 653, January 1997
11. A. Gamatié, T. Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language, Technical Report, IRISA, December 2002
12. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual, IRISA, June 2006
13. A. Gamatié, and T. Gautier, Synchronous modeling of avionics applications using the Signal language. In Proc of the 9th IEEE RTAS'2003, May 2003, IEEE Press
14. A. Gamatié, T. Gautier, P. Le Guernic and J.-P. Talpin, Polychronous Design of Embedded Real-Time Applications, ACM Transactions on Software Engineering and Methodology (TOSEM), April 2007
15. P. Dissaux, AADL model transformations, Proc DASIA 2005 Conference in Edinburgh, UK, 2005
16. A. Bertolino, R. Mirandola, Modeling and Analysis of Non-functional Properties in Component-Based Systems, Electronic Notes in Theoretical Computer Science 82(6), 2003
17. F. Singhoff, J. Legrand, L. Nana, L. Marcé, Cheddar: a Flexible Real Time Scheduling Framework, Proc of the ACM SIGAda International Conference, Atlanta, US, 2004
18. J. Hugues, B. Zalila, L. Pautet, Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina, Proc of the 18th IEEE/IFIP International Workshop on RSP'07, Brazil, 2007
19. A. Ledeczi, M. Maroti, and P. Volgyesi, The Generic Modeling Environment, Technical Report, Vanderbilt University, http://www.isis. vanderbilt.edu /projects/gme/GME2000Overview.pdf, 2002
20. AADL2SYNC project, available from http://wwwverimag.imag.fr/ ̃synchron/index.php?page=aad12sync