I. Integre, EXPLOITATION 154 FIGURE 4, INTERFACE ARCHITECTURE, vol.1718, issue.4, p.157

A. Bibliographie, Architecture Analysis & Design Language, 2009.

K. Akkaya and M. Younis, A survey on routing protocols for wireless sensor networks, Ad Hoc Networks, pp.325-349, 2005.
DOI : 10.1016/j.adhoc.2003.09.010

V. Albert, Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués, Thèse de doctorat, 2009.

J. S. Albus, The engineering of mind, Information Sciences, vol.117, issue.1-2, pp.1-18, 1999.
DOI : 10.1016/S0020-0255(98)10102-0

P. Alengry, RR?0437 ? Evaluation d'un dispositif d'assistance a l'opérateur dans le secteur industriel. Ergonomie du dialogue, processus de traitement d'information, organisation socio? technique, 1985.

C. Alexander, S. Ishikawa, and M. Silverstein, Pattern Language: Towns, Buildings, Construction, 1977.

R. Amalberti, La Conduite de systèmes à risques (éd. 2), 2001.

J. ?. Auzelle, Proposition d'un cadre de modélisation multiéchelles d'un système d'information en entreprise centré sur le produit, 2009.

S. Baïna, L. Dirigee, and . Modeles, INTEROPERABILITE Une Approche Orientée Produit pour l'interopérabilité des systèmes d'entreprise, Thèse de doctorat, 2006.

E. Bajic, Ambient services modelling framework for intelligent products. Smart Object Systems, 2005.

E. Bajic, C. Ramirez, A. Dobre, and D. , Service Modeling for Smart Objects in the Supply Chain using RFID and UPnP Technologies, RFID in Operation and Supply Chain Management, pp.91-118, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00262467

L. Balmelli, The Systems Modeling Language for Products and Systems Development., The Journal of Object Technology, vol.6, issue.6, pp.149-177, 2007.
DOI : 10.5381/jot.2007.6.6.a5

M. V. Beeck, A structured operational semantics for UML?statecharts. Software and Systems Modeling, pp.130-141, 2002.

A. Belhimeur, Contribution à l'étude d'une méthode de conception des automatismes des systémes de conduite des processus industrels, Thèse de doctorat, 1989.

F. Belkadi, E. Bonjour, and M. Dulmet, Competency characterisation by means of work situation modelling, Computers in Industry, vol.58, issue.2, pp.164-178, 2007.
DOI : 10.1016/j.compind.2006.09.005
URL : https://hal.archives-ouvertes.fr/hal-00163412

P. Berruet, J. Lallican, A. Rossi, and J. Philippe, A component based approach for the design of FMS control and supervision, 2005 IEEE International Conference on Systems, Man and Cybernetics, pp.3005-3011, 2005.
DOI : 10.1109/ICSMC.2005.1571607
URL : https://hal.archives-ouvertes.fr/hal-00105818

M. Bjelkemyr and B. Lindberg, An Engineering Systems Perspective on System of Systems Methodology, 2007 1st Annual IEEE Systems Conference, pp.1-7, 2007.
DOI : 10.1109/SYSTEMS.2007.374659

D. Bjørner, From Domain to Requirements, 2009.
DOI : 10.1007/978-3-540-68679-8_18

D. Bjørner and M. C. Henson, Logics of Specification Languages, 2008.
DOI : 10.1007/978-3-540-74107-7

J. ?. Blaise, Apport d'une modélisation de l'information normative à l'intégration des règles de sécurité des machines en conception, Thèse de doctorat, 2000.

L. Bondé, Transformations de Modèles et Interopérabilité dans la Conception de Systèmes Hétérogènes sur Puce à Base d'IP, Thèse de doctorat, 2006.

S. Bonhomme, Méthodologie et outils pour la conception d'un habitat intelligent, 2008.

C. Bouhours, Détection, Explications et Restructuration de défauts de conception : les patrons abîmés, Thèse de doctorat, 2010.

G. Boy, Assistance à l'opérateur: une approche de l'intelligence artificielle, 1988.

F. W. Bruns, Ubiquitous computing and interaction, Annual Reviews in Control, vol.30, issue.2, pp.205-213, 2006.
DOI : 10.1016/j.arcontrol.2006.09.002

B. Cahour and P. Falzon, Assistance à l'opérateur et modélisation de sa compétence, Intellectica, vol.2, issue.12, pp.159-186, 1991.

A. Canals and A. Roussel, Mise en Place d'un processus « SysML?CS ». 8ième journée thématique AFIS: « Modélisation Système : SysML Langage universel ?, 2010.

F. Caron, La gestion collaborative des données d'ingénierie système, Génie logiciel, pp.75-77, 2005.

F. Caron, O. Penas, and F. Henni, De la modélisation système à la simulation métier: SysML et le pré?dimensionnement dans des projets "Mécatroniques". 8ième journée thématique AFIS: « Modélisation Système : SysML Langage universel ?, 2010.

P. V. Carvalho, I. L. Santos, J. O. Gomes, and M. R. Borges, Micro incident analysis framework to assess safety and resilience in the operation of safe critical systems: A case study in a nuclear power plant, Journal of Loss Prevention in the Process Industries, pp.277-286, 2008.
DOI : 10.1016/j.jlp.2007.04.005

F. Casella, M. Otter, K. Proelss, C. Richter, and H. Tummescheit, The Modelica Fluid and Media library for modeling of incompressible and compressible thermo?fluid pipe networks The Modelica Association, pp.631-641, 2006.

C. Ramirez and A. , Contribution à la Modélisation et à la Gestion des Interactions Produit? Processus dans la Chaîne Logistique par l'Approche Produits Communicants, Thèse de doctorat, 2006.

C. Ramirez, A. Dobre, D. Bajic, and E. , Ambient services interactions for Smart Objects in the supply chain, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00168591

G. A. Chauvet, Hierarchical Functional Organization of Formal Biological Systems: A Dynamical Approach. I. The Increase of Complexity by Self-Association Increases the Domain of Stability of a Biological System, Philosophical Transactions of the Royal Society B: Biological Sciences, vol.339, issue.1290, pp.425-481, 1290.
DOI : 10.1098/rstb.1993.0040

R. J. Cloutier, Applicability of Patterns to Architecting Complex Systems, Thèse de doctorat, Stevens Institute of Technology, 2006.

D. J. Cook, J. C. Augusto, and V. R. Jakkula, Ambient intelligence: Technologies, applications, and opportunities, Pervasive and Mobile Computing, vol.5, issue.4, pp.277-298, 2009.
DOI : 10.1016/j.pmcj.2009.04.001

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.45-621, 2006.
DOI : 10.1147/sj.453.0621

T. Dang and C. Devic, OCARI: Optimization of Communication for Ad hoc Reliable Industrial networks, Computational Methods in Applied Mechanics and Engineering, pp.688-693, 2008.

H. De-bruijn and P. M. Herder, System and Actor Perspectives on Sociotechnical Systems, IEEE Transactions on Systems, Man, and Cybernetics ? Part A: Systems and Humans, pp.981-992, 2009.
DOI : 10.1109/TSMCA.2009.2025452

2. Décret, Décret no2003?296 du 31 mars 2003 relatif à la protection des travailleurs contre les dangers des rayonnements ionisants, 2003.

J. Dick, G. Fanmuy, and L. H. Thevenet, A Requirements Guide For All (REGAL): An INCOSE Initiative, 14th IEEE International Requirements Engineering Conference (RE'06), 2006.
DOI : 10.1109/RE.2006.7
URL : https://hal.archives-ouvertes.fr/halshs-00176370

F. Dionis and D. Pirus, Ways to improve field operation on NPPs facilities by bringing additional operator aids, IEEE 8th Human Factors and Power Plants and HPRCT 13th Annual Meeting, 2007.

D. Dobre and E. Bajic, Active product modeling based on smart object concept. Application to chemical security management, 7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes (MOSIM'08), 2008.
DOI : 10.3166/jesa.43.561-579
URL : https://hal.archives-ouvertes.fr/hal-00337000

D. Dobre and E. Bajic, Produit Actif : Concept et implémentation, Présentation au Groupe de recherche du CNRS : GdR MACS, 2007.

D. Dobre and E. Bajic, Smart object design for active security management of hazardous products, 1st International Workshop on Design and Integration Principles for Smart Objects, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00168767

D. Dobre, E. Bajic, and A. Zouinkhi, Active product modeling based on smart object concept. Application to chemical security management, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.4-5, pp.43-561, 2009.
DOI : 10.3166/jesa.43.561-579
URL : https://hal.archives-ouvertes.fr/hal-00337000

D. Dobre, G. Morel, and D. Gouyon, Improving Human-System Digital Interaction for Industrial System Control: Some Systems Engineering Issues, 10th IFAC Workshop on Intelligent Manufacturing Systems (IMS'10, 2010.
DOI : 10.3182/20100701-2-PT-4011.00050
URL : https://hal.archives-ouvertes.fr/hal-00519602

D. Dobre, G. Morel, J. ?. Petin, and E. Bajic, Improving digital interaction for operator? driven process?plant operation, 9th IFAC Workshop on Intelligent Manufacturing Systems (IMS'08, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00336954

A. Dounis and C. Caraiscos, Advanced control systems engineering for energy and comfort management in a building environment???A review, Renewable and Sustainable Energy Reviews, vol.13, issue.6-7, pp.13-1246, 2009.
DOI : 10.1016/j.rser.2008.09.015

. Dymola, Récupéré sur Dymola: Multi?Engineering Modeling and Simulation: http://www.3ds.com/products/catia, 1992.

M. R. Endsley, Toward a Theory of Situation Awareness in Dynamic Systems, Human Factors: The Journal of the Human Factors and Ergonomics Society, vol.37, issue.1, pp.32-64, 1995.
DOI : 10.1518/001872095779049543

J. A. Estefan, Survey of Model?Based Systems Engineering (MBSE) Methodologies, 2008.

A. Faisandier, Formation enseignant?chercheur en ingénierie des systèmes, Toulouse: MAP Système, 2010.

A. Faisandier, Sensibilisation à l'Ingénierie des Systèmes, Toulouse: MAP Système, 2008.

D. Fass and R. Lieber, Rationale for human modelling in human in the loop systems design, 2009 3rd Annual IEEE Systems Conference, 2009.
DOI : 10.1109/SYSTEMS.2009.4815766
URL : https://hal.archives-ouvertes.fr/hal-00394608

C. Feliot, Modélisation de systèmes complexes : intégration et formalisation de modèles, Thèse de doctorat, 1997.

C. Feliot, Toward a formal theory of systems. Colloque d'Automne du LIX 2007 (CAL07), Complex Industrial Systems: Modelling, Verification and Optimization, 2007.

F. , K. Mooz, H. Cotterman, and H. , Récupéré sur Foundation for Intelligent Physical Agents: http://www.fipa.org Forsberg Visualizing Project Management: Models and Frameworks for Mastering Complex Systems, 2005.

S. Friedenthal and R. Burkhart, Extending UML From Software To Systems, Proceedings Of The INCOSE 2003, International Symposium, 2003.

A. Fusaoka, H. Seki, and K. Takahashi, A Description and Reasoning of Plant Controllers in Temporal Logic, Proceedings of the 8th International Joint Conference on Artificial Intelligence, pp.405-408, 1983.

D. Galara, Elaboration d'Informations crédibles pour les Systèmes de Contrôle/Commande Industriels: les Modules Fonctionnels d'Automatismes, 1986.

D. Galara, L'humain : un composant cognitif pour exploiter un système technique ? 4ème Forum Académie ? Industrie de l'AFIS (AFIS'10), 2010.

D. Galara, Roadmap to master the complexity of process operation to help operators improve safety, productivity and reduce environmental impact, Annual Reviews in Control, vol.30, issue.2, pp.215-222, 2006.
DOI : 10.1016/j.arcontrol.2006.09.001

D. Galara and J. P. Hennebicq, Process control engineering trends, Annual Reviews in Control, vol.23, pp.1-11, 1999.
DOI : 10.1016/S1367-5788(99)90049-4

B. Galara, D. Pirus, and D. , Finding the way up to the standardization of Human Machine Interface, 2007 IEEE 8th Human Factors and Power Plants and HPRCT 13th Annual Meeting, pp.133-139, 2007.
DOI : 10.1109/HFPP.2007.4413194

D. Galara, G. Morel, J. Pétin, and D. Méry, Vers un langage d'expression des besoins en informations pour les métiers d'exploitation. 1er Workshop du Groupement d'Intérêt Scientifique "Surveillance, des Grands Systèmes" (3SGS'08), 2008.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object?Oriented Software, 1995.

V. Gauthereau and E. Hollnagel, Planning, Control, and Adaptation:, European Management Journal, vol.23, issue.1, pp.118-131, 2005.
DOI : 10.1016/j.emj.2004.12.016

V. J. Gawron, Human performance, workload, and situational awareness measures handbook (éd. 2) CRC, 2008.

N. Gershenfeld, When Things Start to Think, 1999.

H. Giese, S. Hildebrandt, and S. Neumann, Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization, 2009.

D. Gouyon and M. David, Vers l'implantation d'un syst??me contr??l?? par le produit ?? l'aide de r??seaux de capteurs sans fil, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.4-5, pp.43-537, 2009.
DOI : 10.3166/jesa.43.537-560

M. Grout and P. Salaün, Instrumentation industrielle: spécification et installation des capteurs et vannes de régulation (éd. 2), 2009.

M. Grundstein, C. Rosenthal-sabroux, and A. Pachulski, Reinforcing decision aid by capitalizing on company???s knowledge: Future prospects, European Journal of Operational Research, vol.145, issue.2, pp.256-272, 2003.
DOI : 10.1016/S0377-2217(02)00533-7

C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave, A Reference Model for Requirements and Specifications, IEEE Software, vol.17, issue.3, pp.37-43, 2000.

G. Habib, P. Marangé, J. ?. Pétin, and T. Divoux, Evaluation de l'influence d'un r??seau de communication sans fil sur la commande d'un SED, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.43-855, 2009.
DOI : 10.3166/jesa.43.855-870

J. G. Hall and L. Rapanotti, Problem Frames for Socio?Technical Systems, Requirements Engineering for Socio?Technical Systems, pp.318-339, 2005.

T. P. Halpin, K. Bernus, &. G. Mertins, and . Schmidt, Object?Role Modeling, Handbook on Architectures of Information Systems UML 2.0?Based Systems Engineering Using a Model?Driven Development Approach. White Paper, 1998.

J. Holt and S. Perry, SysML for Systems Engineering, 2008.
DOI : 10.1049/PBPC007E

R. Isermann, Mechatronic Design Approach, MECHATRONICS: AN INTRODUCTION, 2005.
DOI : 10.1201/9781420037241.ch2

B. Iung, Contribution à une intelligence distribuée dans les equipements de niveau zero des processus industriels complexes, Thèse de doctorat, 1992.

M. Jackson, Problem Frames: Analysing & Structuring Software Development Problems, 2000.

M. Jackson, The meaning of requirements, Annals of Software Engineering, vol.3, issue.1, pp.5-21, 1997.
DOI : 10.1023/A:1018990005598

M. Jackson and P. Zave, Deriving specifications from requirements, Proceedings of the 17th international conference on Software engineering , ICSE '95, 1995.
DOI : 10.1145/225014.225016

Y. Jarraya, M. Debbabi, and J. Bentahar, On the Meaning of SysML Activity Diagrams, 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pp.95-105, 2009.
DOI : 10.1109/ECBS.2009.25

T. Johnson, Integrating Models and Simulations of Continuous Dynamic System Behavior into SysML, 2008.

D. E. Kieras and D. E. Meyer, An Overview of the EPIC Architecture for Cognition and Performance With Application to Human-Computer Interaction, Human???Computer Interaction, vol.704, issue.4, pp.391-438, 1997.
DOI : 10.1145/174630.174632

M. C. Kim, J. Park, and W. Jung, Sentence completeness analysis for improving team communications of safety-critical system operators, Journal of Loss Prevention in the Process Industries, pp.255-259, 2008.
DOI : 10.1016/j.jlp.2007.11.008

G. Kintzig, G. Poulain, G. Privat, and P. Favennec, Objets communicants, 2002.

A. Koestler, The Ghost in the Machine, 1967.

D. Kou, K. Zhao, Y. Tao, and W. Kou, RFID Technologies and Applications, Enabling Technologies for Wireless E?Business, pp.89-108, 2006.
DOI : 10.1007/978-3-540-30637-5_5

M. L. Kuras, A Multi Scale Definition of a System, 2006.

P. Lamboley, Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B, Thèse de doctorat, 2001.

J. ?. Lavigne, F. Mayer, and P. Lhoste, Category Theory Based Approach for IMS Modelling, IMS, 2003.

A. Léger, Contribution à la formalisation unifiée des connaissances fonctionnelles et organisationnelles d'un système industriel en vue d'une évaluation quantitative des risques et de l'impact des barrières envisagées, Thèse de doctorat, 2009.

J. ?. Leger, Contribution méthodologique à la maintenance prévisionnelle des systèmes industriels de production : proposition d'un cadre formel de modélisation, Thèse de doctorat, 1999.

P. Lhoste, Contribution au Génie Automatique: concepts, modèles, méthodes et outils pour le Génie Automatique, 1994.

Y. Liu, Contribution à l'automatisation des systèmes intégrés et à intelligence distribuée de Contrôle, Maintenance et Gestion Technique (ICMMS) pour les centrales hydroélectriques, 2002.

D. Luzeaux, Vers une nouvelle théorie abstraite des systèmes en vue de leur ingénierie. 5ème Conférence Annuelle d'Ingénierie Système ? AFIS, 2009.

D. Luzeaux and J. Ruault, Ingénierie des systèmes de systèmes ? concepts et illustrations pratiques, Hermes Science, 2008.

M. W. Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998.
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D

P. Marangé, Synthése et filtrage robuste de la commande pour des systémes manufacturiers sûrs de fonctionnement, Thèse de doctorat, 2008.

F. Mayer, Contribution to manufacturing engineering: Application to pedagogical engineering within a CIME centre, Thèse de doctorat, 1995.

D. Mcfarlane, S. Sarma, C. J. Lung, C. Wong, and K. Ashton, THE INTELLIGENT PRODUCT IN MANUFACTURING CONTROL AND MANAGEMENT, 15th Triennial IFAC World Congress, 2002.
DOI : 10.3182/20020721-6-ES-1901.00011

J. ?. Meinadier, Ingénierie et intégration des systèmes, 1998.

J. ?. Meinadier, Le métier d'intégration de systèmes, 2002.

. Modelica, Modelica ? a unified object?oriented language for physical systems modeling. Language specification,. Version 3.2, The Modelica Association, 2010.

G. Morel, H. Panetto, F. Mayer, and J. ?. Auzelle, System of Enterprise?Systems Integration Issues: an Engineering Perspective, IFAC Conference on Cost Effective Automation in Networked Product Development and Manufacturing (IFAC?CEA'07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00168535

E. Neunreuther, Contribution à la modélisation des Systémes Intégrés de Production à Intelligence Distribuée: application à la distribution du contrôle et de la gestion technique sur les équipements de terrain, Thèse de doctorat, 1998.

N. 1. Bibliographie, NASA Systems Engineering Processes and Requirements. National Aeronautics and Space Administration, 2009.

O. Connor, P. O-'dea, A. Flin, R. Belton, and S. , Identifying the team skills required by nuclear power plant operations personnel, International Journal of Industrial Ergonomics, issue.11?12, pp.38-1028, 2008.

O. 'hara, J. M. Pirus, D. Beltratcchi, and L. , Information Display: Considerations For Designing Computer?Based Display Systems. 4th International Topical Meeting on Nuclear Plant Instrumentation Control and Human Machine Interface Technologies, 2004.

H. Panetto, G. Morel, and D. Dobre, SysML : Langage de spécification en Ingénierie Système ? 8ème Journée thématique AFIS sur Modélisation Système : SysML langage universel? Retours d'expérience, 2010.

R. Pannequin, Proposition d'un environnement de modélisation et de test d'architectures de pilotage par le produit de systèmes de production, Thèse de doctorat, 2007.

C. Paredis, P. Fritzson, and R. Peak, SysML and Modelica : Opportunities for Synergy. OMG Santa Clara Meeting, 2008.

R. Peak, R. Burkhart, S. Friedenthal, M. Wilson, M. Bajaj et al., 9.3.2 Simulation-Based Design Using SysML Part 1: A Parametrics Primer, Part 2: Celebrating Diversity by Example. INCOSE Intl. Symposium, 2007.
DOI : 10.1002/j.2334-5837.2007.tb02964.x
URL : https://hal.archives-ouvertes.fr/in2p3-00011403

J. ?. Penalva, La modélisation par les systèmes en situation complexe, Thèse de doctorat, 1997.

J. ?. Perronne, L. Thiry, and B. Thirion, Architectural concepts and Design Patterns for behavior modeling and integration, Mathematics and Computers in Simulation, vol.70, issue.5-6, pp.314-329, 2006.
DOI : 10.1016/j.matcom.2005.11.004
URL : https://hal.archives-ouvertes.fr/hal-00911318

J. ?. Pétin, Contribution méthodologique à l'Actionnement et la Mesure Intelligents: Application au projet ESPRIT, 1995.

J. ?. Pétin, B. Iung, and G. Morel, Distributed intelligent actuation and measurement (IAM) system within an integrated shop-floor organisation, Computers in Industry, vol.37, issue.3, 1998.
DOI : 10.1016/S0166-3615(98)00099-2

J. ?. Pétin, G. Morel, and H. Panetto, Formal Specification Method for Systems Automation, European Journal of Control, vol.12, issue.2, pp.115-130, 2006.
DOI : 10.3166/ejc.12.115-130

. Philips, I?CODE SLI : Standard Label IC SL2 ICS20. Functional Specification, 2005.

D. Pirus, Field Operation Computerization Study. 5th ANS meeting on NPIC and HMIT, 2006.

A. Pop, Integrated Model?Driven Development Environments for Equation?Based Object? Oriented Languages, Thèse de doctorat, 2008.

M. Prevostini and E. Zamsa, SysML Profile for SoC Design and SystemC Transformation, 2007.

J. ?. Prioul, Rapport d'activité sur la conception de la partie commande de la plate? forme CISPI, 2009.

J. Rasmussen, Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models, IEEE Transactions on Systems, Man, and Cybernetics, vol.13, issue.3, pp.257-266, 1983.
DOI : 10.1109/TSMC.1983.6313160

J. Reason, Human error: models and management, BMJ, vol.320, issue.7237, pp.768-770, 2000.
DOI : 10.1136/bmj.320.7237.768

T. Reiman, Assessing Organizational Culture in Complex Sociotechnical Systems. Methodological Evidence from Studies in Nuclear Power Plant Maintenance Organizations, Thèse de doctorat, 2007.

S. Robertson and J. Robertson, Mastering the Requirements Process (éd, 2006.

B. Saint?germain, Distributed coordination and control for networked production systems, Thèse de doctorat, 2010.

A. I. Santos, C. H. Grecco, A. C. Mol, and P. V. Carvalho, The use of questionnaire and virtual reality in the verification of the human factors issues in the design of nuclear control desk, International Journal of Industrial Ergonomics, vol.39, issue.1, pp.1-8, 2008.

M. D. Santos and J. Vrancken, Including SysML in the 4+1 View Model of Architecture for Software?Intensive Systems, 7th Annual Conference on Systems Engineering Research, 2009.

R. M. Seater, Building Dependability Arguments for Software Intensive Systems, Thèse de doctorat, 2009.

C. Seidner, Vérification des EFFBDs : Model?checking en Ingénierie Système, Thèse de doctorat, 2009.

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

A. A. Shah, D. Schaefer, and C. J. Paredis, Enabling Multi?View Modeling With SysML Profiles and Model Transformations, International Conference on Product Lifecycle Management, 2009.

. Sysml, Systems Modeling Language. Object Management Group, Version 1, 2008.

. Sysml?modelica_integration, SysML?Modelica Transformation Specification . Object Management Group, Version 1, 2010.

. Topcased, Récupéré sur TOPCASED, The Open?Source Toolkit for Critical Systems, 2010.

S. Turki, Ingénierie système guidée par les modèles: Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques, Thèse de doctorat, 2008.

A. Van-lamsweerde, Goal-oriented requirements engineering: a guided tour, Proceedings Fifth IEEE International Symposium on Requirements Engineering, 2001.
DOI : 10.1109/ISRE.2001.948567

A. Van-lamsweerde and E. Letier, Integrating obstacles in goal-driven requirements engineering, Proceedings of the 20th International Conference on Software Engineering, pp.53-62, 1998.
DOI : 10.1109/ICSE.1998.671102

A. Van-lamsweerde, R. Darimont, and E. Letier, Managing conflicts in goal-driven requirements engineering, IEEE Transactions on Software Engineering, vol.24, issue.11, pp.24-908, 1998.
DOI : 10.1109/32.730542

K. J. Vicente and J. Rasmussen, Ecological interface design: theoretical foundations, IEEE Transactions on Systems, Man, and Cybernetics, vol.22, issue.4, pp.589-606, 1992.
DOI : 10.1109/21.156574

C. Vogel, Génie cognitif, 1988.

H. Wang and C. Wang, Intelligent agents in the nuclear industry, Computer, vol.30, issue.11, pp.28-31, 1997.
DOI : 10.1109/2.634838

R. Wang and C. Dagli, An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net, 2008 2nd Annual IEEE Systems Conference, pp.1-8, 2008.
DOI : 10.1109/SYSTEMS.2008.4518997

T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design, 2008.

B. Willard, UML for systems engineering, Computer Standards & Interfaces, vol.29, issue.1, pp.69-81, 2007.
DOI : 10.1016/j.csi.2005.12.006

J. ?. Wippler, Les Architectes Systèmes ont?ils les moyens de s'offrir le luxe de SysML ? 8ième journée thématique AFIS: « Modélisation Système : SysML Langage universel ?, 2010.