. Guid_start, Enable(Guid_Id)==true Preempt_Node! AS1_Start? Enable(AS1_Id)==true

J. Robert and . Allen, Token token] 727 : ' target ' id= identifier 728 A formal approach to software architecture, 726 host_header returns, 1997.

D. Alur, D. L. Alur, and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

. Alur, Minimization of timed transition systems, pp.340-354, 1992.
DOI : 10.1007/BFb0084802

. Apvrille, Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System, Automated Software Engineering, vol.11, issue.2, pp.167-191, 2004.
DOI : 10.1023/B:AUSE.0000017742.47984.6c

. Apvrille, Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System, Automated Software Engineering, vol.11, issue.2, pp.167-191, 2004.
DOI : 10.1023/B:AUSE.0000017742.47984.6c

]. Barnes, Safe and secure software, an invitation to ada, 2005.

. Behrmann, A Tutorial on Uppaal, Formal Methods for the Design of Real-Time Systems : 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

. Bengtsson, Uppaal -a tool suite for automatic verification of real-time systems, 1996.

. Benveniste, The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

]. Berry, The foundations of Esterel, 2000.

. Bertrand, A Study of the AADL Mode Change Protocol, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), pp.288-293, 2008.
DOI : 10.1109/ICECCS.2008.29

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

N. Birrell, D. Andrew, B. J. Birrell, and . Nelson, Implementing remote procedure calls, ACM Transactions on Computer Systems, vol.2, issue.1, pp.39-59, 1984.
DOI : 10.1145/2080.357392

. Borde, Really hard time developing hard real-time, 2nd National workshop on Control Architecture of Robots, 2007.

. Borde, Les systèmes répartis en action : de l, 2008.

P. Bouyer, Modèles et algorithmes pour la vérification des systèmes temporisés, Thèse de doctorat, 2002.

C. Chang, Hervé Chang and Philippe Collet Compositional patterns of non-functional properties for contract negotiation, Journal of Software (JSW), vol.2, issue.2, pp.52-63, 2007.

. Coulouris, ) : concepts and design, 2005.

N. Cui, K. Cui, and . Nahrstedt, Qos-aware dependency management for component-based systems, HPDC '01 : Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing (HPDC- 10'01, p.127, 2001.

. Cui, Smart : A scalable middleware solution for ubiquitous multimedia service delivery. Multimedia and Expo, IEEE International Conference on, p.260, 2001.

. Dumant, Jonathan: an open distributed processing environment in Java, Distributed Systems Engineering, vol.6, issue.1, pp.3-12, 1999.
DOI : 10.1088/0967-1846/6/1/301

S. Fujii, T. Fujii, and . Suda, Component service model with semantics (cosmos) : A new component model for dynamic service composition. Applications and the Internet Workshops, IEEE/IPSJ International Symposium on, p.348, 2004.

H. Bibliographie, D. Garavel, and . Thivolle, Verification of gals systems by combining synchronous languages and process calculi, SPIN, pp.241-260, 2009.

. Gardey, Romeo: A Tool for Analyzing Time Petri Nets, 17th International Conference on Computer Aided Verification (CAV'05), 2005.
DOI : 10.1007/11513988_41

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

. Gokhale, CoSMIC, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, 2003.
DOI : 10.1145/1028664.1028758

S. Gorrieri, G. Gorrieri, and . Siliprandi, Real-time system verification using P/T nets, CAV '94 : Proceedings of the 6th International Conference on Computer Aided Verification, pp.14-26, 1994.
DOI : 10.1007/3-540-58179-0_40

K. Goudarzi, J. Goudarzi, and . Kramer, Maintaining node consistency in the face of dynamic change, Proceedings of International Conference on Configurable Distributed Systems, pp.62-69, 1996.
DOI : 10.1109/CDS.1996.509347

. Grondin, MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications, Proceedings of the 9th International SIGSOFT Symposium on Component- Based Software Engineering, pp.360-367, 2006.
DOI : 10.1007/11783565_28

URL : https://hal.archives-ouvertes.fr/emse-00680258

. Halbwachs, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

. Hamid, Automatic framework generation for hard real-time applications, Innovations in Systems and Software Engineering : A NASA Journal, 2008.
DOI : 10.1007/s11334-008-0044-5

P. Kr?ál and W. Yi, Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata, Proc. of TACAS'04, pp.236-250, 2004.
DOI : 10.1007/978-3-540-24730-2_20

. Labbani, Mode-Automata Based Methodology for Scade, Springer, Hybrid Systems : Computation and Control, 8th International Workshop, pp.386-401, 2005.
DOI : 10.1007/978-3-540-31954-2_25

URL : https://hal.archives-ouvertes.fr/inria-00000912

. Leclercq, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, 29th International Conference on Software Engineering (ICSE'07), pp.209-219, 2007.
DOI : 10.1109/ICSE.2007.82

. Leclercq, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, 29th International Conference on Software Engineering (ICSE'07), pp.209-219, 2007.
DOI : 10.1109/ICSE.2007.82

L. L. Liu, J. Liu, and . Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, 1973.

. 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

. Madl, A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.255-264, 2009.
DOI : 10.1109/RTAS.2009.32

. Mallet, Executing AADL Models with UML/MARTE, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.371-376, 2009.
DOI : 10.1109/ICECCS.2009.10

URL : https://hal.archives-ouvertes.fr/inria-00416592

R. Maraninchi, Y. Maraninchi, and . Rémond, Mode-automata: About modes and states for reactive systems, European Symposium On Programming, 1998.
DOI : 10.1007/BFb0053571

V. Mcmanis, Jennifer McManis and Pravin Varaiya. Suspension automata : A decidable class of hybrid automata, CAV, pp.105-117, 1994.

. Medina, Mast : An open environment for modeling, analysis, and design of real-time systems, 2002.

]. K. Moazami-goudarzi and . Moazami-goudarzi, Consistency Preserving Dynamic Reconfiguration of Distributed Systems, 1999.

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

. P. Pedro, A. Pedro, and . Burns, Schedulabillity analysis for. Mode changes in real-time systems. Real- Time Systems, 1998.

S. Polakovic, J. Polakovic, and . Stefani, Architecting reconfigurable component-based operating systems, Software Engineering and Advanced Applications, pp.562-575, 2006.
DOI : 10.1016/j.sysarc.2007.12.005

. Polakovic, Experience with safe dynamic reconfigurations in component-based embedded systems Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables École Nationale Supérieure des Télécommunications Elements of functional programming Jorge Real and Alfons Crespo. Mode change protocols for real-time systems : A survey and a new proposal, CBSEReal and CrespoReal and Wellings, 1999] Jorge Real and Andy Wellings. Implementing mode changes with shared resources in ada. Real-Time Systems, Euromicro Conference on, pp.242-257161, 1989.

E. Rtca and E. , Do-178b, software considerations in airborne systems and equipment certification, 1992.

C. Douglas, C. Schmidt, and . Cleeland, Applying a pattern language to develop extensible orb middleware, ORB Middleware Design Patterns in Communications, 2000.

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

. Schneider, Dynamic reconfiguration through OSA+, a real-time middleware, Proceedings of the 1st international doctoral symposium on Middleware -, pp.319-323, 2004.
DOI : 10.1145/1028480.1028488

. Sha, Mode change protocols for priority-driven preemptive scheduling, Real-Time Systems, vol.20, issue.1, pp.243-264, 1988.
DOI : 10.1007/BF00365439

. Sha, Priority inheritance protocols: an approach to real-time synchronization, SAE AADL Working Group meeting, pp.1175-11851, 1990.
DOI : 10.1109/12.57058

. Sriplakich, Collaborative software engineering on largescale models : requirements and experience in modelbus, SAC '08 : Proceedings of the 2008 ACM symposium on Applied computing, pp.674-681, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00668912

A. John and . Stankovic, Misconceptions about real-time computing : A serious problem for next-generation systems [Sun Microsystems Inc Sun Microsystems. Java remote method invocation specification] Thomas Vergnaud. Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées, Computer, vol.21, issue.10, pp.10-19, 1988.

. Weil, Efficient compilation of ESTEREL for real-time embedded systems, Proceedings of the international conference on Compilers, architectures, and synthesis for embedded systems , CASES '00, pp.2-8, 2000.
DOI : 10.1145/354880.354882

A. Xavier and C. Hymans, Xavier Allamigeon and Charles Hymans Analyse Statique par Interprétation Abstraite, 5ème Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'07), 2007.

. 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