. Si-cette-dernière-est-vraie, ajouter l'élément à l'ensemble intermédiaire. 7.3, Résultats et interprétation Original FGH-CB HGH-CB FGH-PB HGH-PB Connexions, pp.171-155

O. Gilles, J. Hugues, and L. Pautet, SAE AeroTech Congress & Exhibition -Avionics -Integrated Model-based System, Application and Architectures Towards Model-based optimisations of Real-Time systems, an application with the AADL, 2009.

J. Gilles and . Hugues, Ingénierie Dirigée par les modèles (IDM'08), pp.35-49, 2008.

T. Abdelzaher, J. Stankovic, C. Lu, R. Zhang, and Y. Lu, Feedback performance control in software services, IEEE Control Systems, vol.23, issue.3, 2003.

A. Aleti, S. Bjornander, L. Grunske, and I. Meedeniya, ArcheOpterix: An extendable tool for architecture optimization of AADL models, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009.
DOI : 10.1109/MOMPES.2009.5069138

C. André, Representation and analysis of reactive behaviors : A synchronous approach, Computational Engineering in Systems Applications (CESA), 1996.

K. Balasubramanian and D. C. Schmidt, Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 2008.
DOI : 10.1109/RTAS.2008.36

T. Barris, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2009.
DOI : 10.1007/s12243-008-0069-7

D. E. Bell and L. J. Lapadula, Secure computer system : Unied exposition and multics interpretation The MITRE Corporation, 1976.

A. Benoit, Scheduling Pipelined Applications : Models, Algorithms and Complexity. Habilitation à diriger des recherches, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00404147

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

G. Berry and G. Gonthier, The esterel synchronous programming language : Design, semantics , implementation. Science of computer programming, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

K. J. Biba, M. Corp, and . Ma, Integrity considerations for secure computer systems, 1977.

B. W. Boehm, A spiral model of software development and enhancement, Computer, vol.21, 1988.

C. Boettcher, R. Delong, J. Rushby, and W. Sifre, The MILS component integration approach to secure information sharing, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008.
DOI : 10.1109/DASC.2008.4702758

E. Borde, G. Haik, V. Watine, and L. Pautet, Really hard time developping hard real time, Control Architecture of Robots, 2007.

D. Víctor-braberman, S. Garbervetsky, and . Yovine, A static analysis for synthesizing parametric specications of dynamic memory consumption, Journal of Object Technology, vol.5, issue.5, p.3158, 2006.

E. Bruneton, T. Coupaye, and J. B. Stefani, The fractal component model, 2003.

W. Burns, Arinc 653 and why is it important for a safety-critical rtos, Boards & Solutions, p.1618, 2004.

A. Caprara, D. Pisinger, and P. Toth, Exact Solution of the Quadratic Knapsack Problem, INFORMS Journal on Computing, vol.11, issue.2, p.125137, 1998.
DOI : 10.1287/ijoc.11.2.125

A. Caprara, D. Pisinger, and P. Toth, Exact Solution of the Quadratic Knapsack Problem, INFORMS Journal on Computing, vol.11, issue.2, p.125137, 1999.
DOI : 10.1287/ijoc.11.2.125

D. Cornhill, L. Sha, and J. P. Leboczky, Limitations of ada for real-time scheduling, Proceedings of the First international Workshop on Real-time Ada Issues (IRTAW'87), 1987.

R. I. Davis and A. Burns, Response time upper bounds for xed priority real-time systems, Real-Time Systems Symposium, p.407418, 2008.

D. De-niz and R. Rajkumar, Partitioning bin-packing algorithms for distributed real-time systems, International Journal of Embedded Systems, 2006.

J. Delange, O. Gilles, J. Hugues, and L. Pautet, Model-based engeineering for the development of arinc653 architectures, AEROTECH'09, 2009.

J. Delange, O. Gilles, J. Hugues, and L. Pautet, Model-based engineering for the development of partitioned architectures, SAE AeroTech Congress & Exhibition -Avionics - Integrated Model-based System, Application and Architectures, 2009.

J. Delange, L. Pautet, and F. Kordon, Code generation strategies for partitioned systems, 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01303791

S. Demathieu, F. Thomas, C. Andre, S. Gerard, and F. Terrier, First experiments using the uml prole for marte, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.

I. Demeure and C. Bonnet, Introduction aux systèmes temps-réel. Hermes, 1999. [43] B. Demuth and C. Wilke. Model and object verication by using dresden OCL, Proceedings of the Russian-German Workshop "Innovation Information Technologies : Theory and Practice, 2009.

B. Dobbing, A. Burns, and T. Vardanega, Guide for the use of the of the Ravenscar Prole in High Integrity Systems, 2003.

M. Ducassé and L. Rozé, Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency, Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, 2000.
DOI : 10.1007/10720327_2

S. A. Edwards, V. Kapadiab, and M. Halasb, Compiling Esterel into Static Discrete-Event Code, Proceedings of the Third International Workshop on Synchronous Languages, Applications , and Programs, 2004.
DOI : 10.1016/j.entcs.2006.02.027
URL : http://doi.org/10.1016/j.entcs.2006.02.027

S. A. Edwars and J. Zeng, Code generation in the columbia esterel compiler, EURASIP Journal on Embedded Systems, 2007.

J. L. Lions, FLight 501 Failure. http://sunnyday.mit, 1996.

R. J. Feiertag, K. N. Levitt, and L. Robinson, Proving multilevel security of a system design

P. H. Feiler and J. Hansson, Flow latency analysis with the architecture analysis and design language, 2007.

O. Gilles and J. Hugues, Applying WCET analysis at architectural level, Worst-Case Execution Time (WCET'08), p.113122, 2008.

O. Gilles and J. Hugues, Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009.
DOI : 10.1109/RTCSA.2009.21

O. Gilles and J. Hugues, A MDE-Based Optimisation Process for Real-Time Systems, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010.
DOI : 10.1109/ISORC.2010.38

J. Gustafsson, A. Ermedahl, and B. Lisper, Towards a ow analysis for embedded system c programs, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), p.287297, 2005.

I. Hamid, Automatic Code Generation and Verication of Hard Real-time Systems, 2008.

R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm, The inuence of processor architecture on the design and the results of wcet tools, Proceedings of the IEEE, pp.1038-1054, 2003.

N. Holsti, Computing time as a program variable : A way around infeasible paths, 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite, ACM Transactions in Embedded Computing Systems (TECS), vol.7, issue.4, p.125, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

J. Hugues, Architecture et Services des Intergiciels Temps Réel, Thèse de doctorat, École nationale supérieure des télécommunications, 2005.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina, Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping, p.106112, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335114

. Iso, Information Technology Programming Languages Guide for the use of the Ada programming language in high integrity systems, 2000.

J. Abrial, The B book -Assigning Programs to meanings, 1996.

B. A. Julstrom, Greedy, genetic, and greedy genetic algorithms for the quadratic knapsack problem, Proceedings of the 2005 conference on Genetic and evolutionary computation , GECCO '05, 2005.
DOI : 10.1145/1068009.1068111

L. Kinnan, J. Wlad, and P. Rogers, Porting applications to an arinc 653 compliant ima platform using vxworks as an example. Digital Avionics Systems Conference, pp.24-28, 2004.

B. Lewis, E. Colbert, and S. Vestal, Developing evolvable, embedded, time-critical systems with metah, Proceedings of the Technology of Object-Oriented Languages and Systems, 2000.

C. D. Locke, D. R. Vogel, and J. B. Goodenough, Generic avionic software specication, 1990.

C. D. Locke, D. R. Vogel, and T. J. Mesler, Building a predictable avionic plateform in ada : A case study, IEEE Real-Time Systems Symposium, p.181189, 1991.

C. Lu, X. Wang, and X. D. Koutsoukos, Feedback utilization control in distributed realtime systems with end-to-end tasks, IEEE Transactions on Parallel and Distributed Systems, issue.6, p.16, 2005.

F. Mallet, Clock constraint specication language, 2008.
DOI : 10.4018/978-1-4666-6194-3.ch002

P. L. Martinez, J. M. Drake, P. Pacheco, and J. L. Medina, Ada-ccm : Componentbased technology for distributed real-time systems, 11th International Symposium on Component-based Software Engineering, 2008.

N. Medvidovic and R. N. Taylor, A classication and comparison framework for software architecture description languages, IEEE Trans. Softw. Eng, vol.26, issue.1, p.7093, 2000.

M. Natale and V. Pappalardo, Buer optimization in multitask implementations of simulink models, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, p.132, 2008.

D. Niz, Diagrams and languages for model-based software engineering of embedded systems : Uml and aadl, 2007.

D. Niz and P. H. Feiler, On Resource Allocation in Architectural Models, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008.
DOI : 10.1109/ISORC.2008.49

M. Object and . Group, OMG SysML Specication [79] N. Pernet. Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques, p.7, 2006.

S. Popinchalk, J. Glass, R. Shenoy, and R. Aberg, Working in Teams: Modeling and Control Design Within a Single Software Environment, AIAA Modeling and Simulation Technologies Conference and Exhibit, 2007.
DOI : 10.2514/6.2007-6882

X. Renault, Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis, 2009.

J. Rushby, Separation and integration in mils (the mils constitution), 2008.

F. Singho, J. Legrand, L. Nana, and L. Marc, Cheddar : a exible real time scheduling framework, ACM SIGAda Ada Letters, 2004.

C. Sjöstedt, D. Chen, P. Cuenot, P. Frey, R. Johansson et al., Developing dependable automotive embedded systems using the east-adl ; representing continuous time systems in sysml, 1st Int. Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT'2007), 2007.

Y. Sorel, SynDEx : System-level cad software for optimizing distributed real-time embedded systems, ERCIM News, issue.59, 2004.

J. Souyris, E. Le-pavec, G. Himbert, V. Jégu, G. Borios et al., Computing the worst case execution time of an avionics program by abstract interpretation, 5th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2007.

S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach et al., An abstract interpretation-based timing validation of hard real-time avionics software systems, Proceedings of the 2003 International Conference on Dependable Systems and Networks, 2003.

A. Torgerson, Automatic thread stack management for resource-constrained sensor operating systems, 2005.

X. Wang, Y. Chen, C. Lu, and X. D. Koutsoukos, Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control, IEEE Transactions on Computers, vol.58, issue.8, p.58, 2009.
DOI : 10.1109/TC.2009.19

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problemoverview of methods and survey of tools, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, p.153, 2008.

B. Zalila, Conguration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture, 2008.

B. Zalila, L. Pautet, and J. Hugues, Towards Automatic Middleware Generation, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008.
DOI : 10.1109/ISORC.2008.27

J. Zamorano and J. F. Ruiz, Gnat/ork : An open cross-developpment environment for embedded ravenscar, Reliable Software Technologies Ada-Europe, 2000.