. Sys-7, Il permet de simuler le bus de communication SPACEWIRE en utilisant Tsim. Ci-dessous, nous donnons les traces d'exécution de chacun des noeuds de l'application

B. Allen, A formal approach to software architecture, 1997.

]. Barnes, High Integrity Software : The SPARK Approach to Safety and Security, 2003.

]. Barnes, Safe and Secure Software, an invitation to Ada, AdaCore, 2005.

. Bruneton, Recursive and Dynamic Software Composition with Sharing, Proceedings of the International Workshop on Component- Oriented Programming (WCOP), 2002.

. Bruneton, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

. Burns, Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, vol.XXIV, issue.2, pp.1-74, 2004.
DOI : 10.1145/997119.997120

. Buschmann, Pattern-Oriented Software Architecture : A System of Patterns, 1996.

. Coffman, System Deadlocks, ACM Computing Surveys, vol.3, issue.2, pp.67-78, 1971.
DOI : 10.1145/356586.356588

P. Comar, Ada 9X tagged types and their implementation in GNAT, Proceedings of the conference on TRI-Ada '94 , TRI-Ada '94, pp.71-81, 1994.
DOI : 10.1145/197694.197709

. Coupaye, Intergiciel et Construction d'Applications Réparties, chapter Le système de composants Fractal, 2007.

. Curnow, A synthetic benchmark, The Computer Journal, vol.19, issue.1, pp.43-49, 1976.
DOI : 10.1093/comjnl/19.1.43

P. De-la, An Open Ravenscar Real-Time Kernel for GNAT, Ada-Europe '00 : Proceedings of the 5th Ada- Europe International Conference on Reliable Software Technologies, pp.5-15, 2000.

. Delange, Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain, 4th European Congress ERTS, 2008.

. Demathieu, Sébastien Gérard , and François Terrier. First Experiments Using the UML Profile for MARTE, 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC'08), pp.50-57, 2008.

A. Déplanche and S. Faucou, Systèmes temps réel 1 : Techniques de description et de vérification, chapter Description d'architectures pour le temps réel : l'approche AADL, Hermes, 2006.

. Dumant, Jonathan : an open distributed processing environment in java, IFIP Int'l Conference on Distributed Systems Platforms and Open Distributed Processing, pp.175-190, 1998.

]. M. Eisler, XDR : External Data Representation Standard, RFC, vol.4506, 2006.
DOI : 10.17487/rfc4506

. Estec and . Estec, ECSS-E-50-12A SpaceWire -Links, nodes, routers and networks, 2003.

. Faa, Handbook for Object-Oriented Technology in Aviation (OOTiA). FAA, 2004.

. Feiler, The Architecture Analysis & Design Language (AADL) : An Introduction, 2006.

. Fernàndez-marina, Ramòn Fernàndez-Marina. Gem #33 : Accessibility Checks (Part I : Ada95). http://www.adacore.com, p.33, 2008.

. Fernàndez-marina, Ramòn Fernàndez-Marina. Gem #41 : Accessibility Checks (Part II : Ada2005). http://www.adacore.com, p.41, 2008.

. Garlan, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997.
DOI : 10.1145/1925805.1925814

]. Gasperoni, Safety, security, and object-oriented programming, ACM SIGBED Review, vol.3, issue.4, pp.15-26, 2006.
DOI : 10.1145/1183088.1183092

]. Geisler, TSIM2 Simulator User's Manual, 2008.

H. O. Gilles, J. Gilles, and . Hugues, Applying WCET analysis at architectural level, Worst-Case Execution Time (WCET'08), pp.113-122, 2008.

H. O. Gilles, J. Gilles, and . Hugues, Validating requirements at model-level, Ingénierie Dirigée par les modèles (IDM'08), pp.35-49, 2008.

. Gokhale, CoS- MIC : An MDA Generative Tool for Distributed Real-time and Embdedded Component Middleware and Applications, Proceedings of the OOPSLA 2002 Workshop on Generative Techniques in the Context of Model Driven Architecture, 2002.

C. Gomez, Engineering and Scientific Computing with Scilab, 1998.
DOI : 10.1007/978-1-4612-1584-4

. Gorappa, Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 2005.
DOI : 10.1109/ISORC.2005.60

B. Gosling, G. Gosling, and . Bollella, The Real-Time Specification for Java, 2000.

]. T. Grandpierre and Y. Sorel, From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003.
DOI : 10.1109/MEMCOD.2003.1210097

. Grandpierre, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, pp.74-78, 1999.
DOI : 10.1145/301177.301489

. Hugues, Revisiting COTS middleware for DRE systems, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), pp.72-79, 2005.
DOI : 10.1109/ISORC.2005.46

. Hugues, From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite, Bechir ZALILA [ Hugues, 2005 ] Jérôme Hugues. Architectures et Services des Intergiciels Temps Réel, pp.1-25, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01175916

. Kavimandan, QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp.62-70, 2007.
DOI : 10.1109/ISORC.2007.50

. Kermarrec, GARLIC, Proceedings of the conference on TRI-Ada '95 Ada's role in global markets: solutions for a changing complex world, TRI-Ada '95, pp.263-269, 1995.
DOI : 10.1145/376503.376591

. Kermarrec, GNATDIST, Proceedings of the conference on TRI-Ada '96 disciplined software development with Ada, TRI-Ada '96, pp.63-72, 1996.
DOI : 10.1145/240678.240695

L. Kordon, An introduction to rapid system prototyping, IEEE Transactions on Software Engineering, vol.28, issue.9, pp.817-821, 2002.
DOI : 10.1109/TSE.2002.1033222

URL : https://hal.archives-ouvertes.fr/hal-01198697

P. Kordon, L. Kordon, and . Pautet, Toward next-generation toward nextgeneration middleware ? IEEE Distributed Systems Online, 2005.

. Krishnamurthy, The design and implementation of real-time corba 2.0: dynamic scheduling in TAO, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., p.121, 2004.
DOI : 10.1109/RTTAS.2004.1317256

. Kwon, Ravenscar-Java, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande , JGI '02, pp.131-140, 2002.
DOI : 10.1145/583810.583825

S. S. Lam, A. U. Lam, and . Shankar, A theory of interfaces and modules I-composition theorem, IEEE Transactions on Software Engineering, vol.20, issue.1, pp.55-71, 1994.
DOI : 10.1109/32.263755

]. Lasnier, Étude et Support du Standard AADLv2 dans Ocarina, 2008.

. Lu, CoSMIC : An MDA Tool suite for Application Deployment and Configuration, Proceedings of the OOPSLA 2003 Workshop on Generative Techniques in the Context of Model Driven Architecture, 2003.

. Luckham, Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.
DOI : 10.1109/32.385971

C. Mead, L. Mead, and . Conway, Introduction to VLSI Systems, 1979.

T. Medvidovic, R. N. Medvidovic, and . Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

URL : https://hal.archives-ouvertes.fr/hal-00444077

S. Miranda, GNAT : The GNU Ada Compiler, 2004.

]. Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, pp.1-41, 2008.
DOI : 10.1145/1353445.1353446

URL : https://hal.archives-ouvertes.fr/hal-00128124

. Omg and . Omg, CORBA Component Model Specification Version 4.0. OMG, avr 2006. OMG Technical Document formal, pp.6-10

. Omg and . Omg, Data Distribution Service for Real-time Systems Version 1.2. OMG, pp.7-8, 2007.

. Panday, AIL : description of a global electronic architecture at the vehicle scale, DATE'01 : Proceedings of the conference on Design, automation and test in Europe, p.112, 2001.

K. L. Pautet, F. Pautet, and . Kordon, Des vertus de la schizophr??nie pour le prototypage d'applications ?? composants interop??rables., Techniques et sciences informatiques, vol.23, issue.10, p.23, 2004.
DOI : 10.3166/tsi.23.1301-1328

T. Pautet, S. Pautet, and . Tardieu, GLADE: a framework for building large object-oriented real-time distributed systems, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607), p.244, 2000.
DOI : 10.1109/ISORC.2000.839536

]. Pautet, Intergiciels schizophrènes : une solution à l'interopérabilité entre modèles de répartition. Habilitation à diriger des recherches, 2002.

R. Juan and . Pimentel, Designing and Implementing Real-time and Dependable, Embedded Control Applications Using FlexCAN An Incremental Approach to Task and Message Scheduling for AUTOSAR Based Distributed Automotive Appqlications, IEEE 32nd Annual Conference on Industrial Electronics SEAS '07 : Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, pp.3650-3655, 2006.

]. I. Puaut, Real-time performance of dynamic memory allocation algorithms. Real- Time Systems, Proceedings. 14th Euromicro Conference on, pp.41-49, 2002.

]. Quinot, Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables, 2003.

. Raman, RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, Lecture Notes in Computer Science, vol.77, pp.225-248, 2005.
DOI : 10.1016/j.jss.2003.12.038

. Sae and . Sae, Architecture Analysis & Design Language : Annex Behavior, Draft V2, 2008.

N. A. Sangiovanni-vincentelli, M. D. Sangiovanni-vincentelli, and . Natale, Embedded System Design for Automotive Applications, Computer, vol.40, issue.10, pp.42-51, 2007.
DOI : 10.1109/MC.2007.344

]. D. Schmidt and C. Cleeland, Applying a Pattern Language to Develop Extensible ORB Middleware, Design Patterns in Communications (L. Rising, 2000.

. Schmidt, The design of the TAO real-time object request broker, Computer Communications, vol.21, issue.4, pp.294-324, 1998.
DOI : 10.1016/S0140-3664(97)00165-5

. Schmidt, Pattern-Oriented Software Architecture ? Volume 2 ? Patterns for Concurrent and Networked Objects, 2000.

G. Schreiner, M. Karl, and . Goschka, A Component Model for the AUTOSAR Virtual Function Bus, 31st Annual International Computer Software and Applications Conference, Vol. 2, (COMPSAC 2007), pp.635-641, 2007.
DOI : 10.1109/COMPSAC.2007.12

. Sha, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

. Sha, Rate Monotonic Analysis for Real- Time Systems Design and performance evaluation of configurable component middleware for end-to-end adaptation of distributed real-time embedded systems, ISORC '07 : Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp.73-74, 1993.

. Singhoff, Cheddar : a Flexible Real Time Scheduling Framework, Also published in the proceedings of the ACM SIGADA International Conference, pp.1-8, 2004.

]. Y. Sorel, From modeling/simulation with Scilab/Scicos to optimized distributed embedded real-time implementation with SynDEx, Proceedings of the International Workshop On Scilab and Open Source Software Engineering, SOSSE'05, 2005.

. Sriplakich, Collaborative software engineering on large-scale models, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.674-681, 2008.
DOI : 10.1145/1363686.1363849

URL : https://hal.archives-ouvertes.fr/hal-00668912

K. Sztipanovits, Model-integrated computing, Computer, vol.30, issue.4, pp.110-111, 1997.
DOI : 10.1109/2.585163

Z. Urueña, J. Urueña, and . Zamorano, Building high-integrity distributed systems with Ravenscar restrictions, ACM SIGAda Ada Letters, vol.XXVII, issue.2, pp.29-36, 2007.
DOI : 10.1145/1316002.1316008

. Vergnaud, Using the AADL to Describe Distributed Applications from Middleware to Software Components, Reliable Software Technologies (RST'05), 2005.
DOI : 10.1007/11499909_6

URL : https://hal.archives-ouvertes.fr/hal-01493416

. Vergnaud, Ocarina : a Compiler for the AADL, 2006.

]. Vergnaud, Modélisation des Systèmes Temps-réel Répartis Embarqués pour la Génération Automatique d'Application Formellement Vérifiées, 2006.

M. Wilhelm, D. Wilhelm, and . Maurer, Compiler Design, 1995.
DOI : 10.1007/978-3-642-17540-4

. Zalila, An Improved IDL Compiler for Optimizing CORBA Applications, ACM SIGAda Ada Letters XXVI, issue.3, pp.21-27, 2006.

. Zalila, Towards Automatic Middleware Generation, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.221-228, 2008.
DOI : 10.1109/ISORC.2008.27