U. .. Siml and D. Approche-avec-le-formalisme, Langage de modélisation dédié à la simulation 119 4.3.1 Développement utilisant le principe de profil 120 4.3.2 Développement utilisant le principe de méta-modèle formel, p.124

. Abid, L. Zilio, and . Botlan, Verification of Real-Time Specification Patterns on Time Transition Systems, pp.2011-109, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00593963

A. Projet, F. Telecom, and R. Bretagne, Conventions communes aux profils UML. Rapport technique, 2002.

A. and V. Albert, Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués, Cité en pages vii, pp.40-48, 2009.

A. and V. Albert, Support de cours en : Modélisation et simulation des systèmes complexes, 2012.

T. A. Alfaro-2001-]-luca-alfaro and . Henzinger, Interface automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM, pp.109-120, 2001.

R. Alur and D. Dill, Automata for modeling real-time systems, Automata, languages and programming, pp.322-335, 1990.
DOI : 10.1007/BFb0032042

R. Alur, L. David, 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

]. Doyle, Model based testing, Software Quality Week Conference, pp.296-300, 1997.

R. Applegate-2001-]-david-applegate, V. Bixby, W. Chvátal, and . Cook, TSP cuts which do not conform to the template paradigm, Computational Combinatorial Optimization, pp.261-303, 2001.

]. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal a tool suite for automatic verification of real-time systems, 1996.

]. Berger, D. Block, C. Hons, S. Kühnel, A. Leschke et al., Meta-metrics for simulations in software engineering on the example of integral safety systems, Proceedings des, pp.136-148, 2013.

F. Bergero and E. Kofman, PowerDEVS: a tool for hybrid system modeling and real-time simulation, SIMULATION, vol.87, issue.1-2, pp.113-132, 2011.
DOI : 10.1177/0037549710368029

. Bernard, Les tests logiciels, 2008.

J. Lee and . Hendler, Ora Lassilaet al. The semantic web, Scientific american, vol.284, issue.5, pp.28-37, 2001.

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

]. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Frederic Lang et François Vernadat. Fiacre : an intermediate language for model verification in the TOPCASED environment, ERTS 2008, 2008.

]. Berthomieu and S. D. Zilio, ?ukasz Fronc et François Vernadat Time petri nets with dynamic firing dates : Semantics and applications . In Formal Modeling and Analysis of Timed Systems, pp.85-99, 2014.
DOI : 10.1007/978-3-319-10512-3_7
URL : http://arxiv.org/abs/1404.7067

J. Bézivin and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-280, 2001.
DOI : 10.1109/ASE.2001.989813

]. Bhattacharya, E. Dewayne, and . Perry, Contextual reusability metrics for event-based architectures, 2005 International Symposium on Empirical Software Engineering, 2005., p.10, 2005.
DOI : 10.1109/ISESE.2005.1541853
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.4053

P. Bisgambiglia, R. Franceschini, F. Chatelon, and J. Bisgambiglia, Discrete event formalism to calculate acceptable safety distance, 2013 Winter Simulations Conference (WSC), pp.217-228, 2013.
DOI : 10.1109/WSC.2013.6721421
URL : https://hal.archives-ouvertes.fr/hal-01145616

]. Boehm, A spiral model of software development and enhancement, ACM SIGSOFT Software Engineering Notes, vol.11, issue.4, pp.14-24, 1986.

W. Barry and . Boehm, Improving software productivity, Computer. Citeseer, 1987.

W. Barry and . Boehm, A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988.

]. Breton and J. Bézivin, Towards an understanding of model executability, Proceedings of the international conference on Formal Ontology in Information Systems , FOIS '01, pp.70-80, 2001.
DOI : 10.1145/505168.505176
URL : https://hal.archives-ouvertes.fr/hal-00448048

W. Abreu and . Melo, Evaluating the impact of object-oriented design on software quality, Software Metrics Symposium Proceedings of the 3rd International, pp.90-99, 1996.

P. Frederick and . Brooks-jr, The mythical man-month, anniversary edition : Essays on software engineering. Pearson Education, 1995.

J. Bruck and K. Hussey, Customizing UML : Which technique is right for you, pp.47-117, 2007.

X. Cai, R. Michael, K. Lyu, R. Wong, and . Ko, Component-Based Software Engineering, Software Engineering Conference Proceedings. Seventh Asia-Pacific, pp.372-379, 2000.
DOI : 10.1002/9780470050118.ecse066

L. Capocchi, J. Santucci, B. Poggi, and C. Nicolai, DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems, 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp.6-130, 2011.
DOI : 10.1109/WETICE.2011.31
URL : https://hal.archives-ouvertes.fr/hal-00603466

E. François, E. Cellier, and . Kofman, Continuous system simulation, 2006.

. Chabrier, . Garcia, G. Martin-clouaire, and . Quesnel, Toward a simulation modeling platform for studying cropping systems management : the Record project, International Congress on Modelling and Simulation, International Society for Computer Simulation, pp.10-13, 2007.

R. Shyam, . Chidamber, F. Chris, and . Kemerer, Towards a metrics suite for object oriented design, 1991.

A. Chung, H. Chow, P. Bernard, and . Zeigler, Parallel DEVS : a parallel , hierarchical, modular, modeling formalism, Proceedings of the 26th conference on Winter simulation, pp.716-722, 1994.

]. A. Clapaud, PSA : deux fois moins de tests physiques pour concevoir la Peugeot 208, 2012.

]. Clark, P. Sammut, and J. Willans, Applied metamodelling. book to be published, 2004.

]. Clark, P. Sammut, and J. Willans, Applied metamodelling : a foundation for language driven development, 2008.

C. Edmund, M. Clarke, and A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, 1982.

. Combemale, . Rougemaille, . Cregut, and . Migeon, Experiences pour decrire la semantique en ingenierie des modeles, 2006.

. Benoit-combemale, X. Sylvain-rougemaille, F. Cregut, M. Migeon, C. Pantel et al., Experiences pour d'ecrire la semantique en ingenierie des modeles. IDM06, pp.18-19, 2006.

]. M. Crothaus, iPad 2 would have bested 1990s-era supercomputers, 2011.

. Cusumano, W. Richard, and . Selby, Microsoft Secrets, 1995.

D. Alfaro-2001-]-luca-de-alfaro, A. Thomas, and . Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

O. Thomas-degueule, A. Barais, . Blouin, and . Benoit-combemale, The K3 Model-Based Language Workbench, 2014.

D. Giampaolo-2010-]-b, . Di-giampaolo, J. F. Geeraerts, N. Raskin, and . Sznajder, Safraless procedures for timed specifications, 8th International Conference on Formal Modelling and Analysis of Timed Systems, pp.2010-109

L. David and . Dill, Timing assumptions and verification of finite-state concurrent systems, Automatic verification methods for finite state systems, pp.197-212, 1990.

. Sven-efftinge, S. Moritz-eysholdt-köhnlein, . Zarnekow, W. Robert-von-massow, M. Hasselbring et al., Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.112-121, 2012.
DOI : 10.1145/2371401.2371419

A. Emerson, Y. Joseph, and . Halpern, ???Sometimes??? and ???not never??? revisited: on branching versus linear time temporal logic, Journal of the ACM, vol.33, issue.1, pp.151-178, 1986.
DOI : 10.1145/4904.4999

]. Falkenhainer and K. D. Forbus, Cmpositional modeling: finding the right model for the job, Artificial Intelligence, vol.51, issue.1-3, pp.95-143, 1991.
DOI : 10.1016/0004-3702(91)90109-W

]. Felix, Cours : Test et Validation du Logiciel, 2009.

]. Filippi and P. Bisgambiglia, JDEVS : an implementation of DEVS based formal framework for environmental modellinf. Environmental Modelling and Software, 2004.

]. Forsberg, H. Mooz, and H. Cotterman, Visualizing project management : Models and frameworks for mastering complex systems, Wiley. com, 2005.

]. Foures, A. Vincent, and J. Pascal, ActivityDia- gram2PetriNet : Transformation-Based Model in Accordance with the OMG SysML Specification, The 2011 European Simulation and Modelling Conference, pp.2011-115, 2011.

. Foures, . Albert, and . Nketsa, Formal compatibility of experimental frame concept and finite and deterministic DEVS model, International Conference on Modeling Optimization SIMulation, p.10, 2012.

R. Franceschini, P. Bisgambiglia, P. Bisgambiglia, and D. Hill, DEVS-ruby : a domain specific language for DEVS modeling and simulation (WIP), Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative, pp.15-2014, 2014.

K. Frederick and . Frantz, A taxonomy of model abstraction techniques, WSC '95 : Proceedings of the 27th conference on Winter simulation, pp.1413-1420, 1995.

]. Genero, M. Piattini, and C. Calero, Early measures for UML class diagrams, pp.489-515, 2000.

]. Giambiasi, J. Paillet, and F. Châne, Simulation and verification II : from timed automata to DEVS models, Proceedings of the 35th conference on Winter simulation : driving innovation, pp.923-931, 2003.

A. Girard, J. George, and . Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, 2005.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Girard, . Julius, J. George, and . Pappas, APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS, IFAC Proceedings Volumes, vol.39, issue.5, pp.163-179, 2008.
DOI : 10.3182/20060607-3-IT-3902.00022
URL : https://hal.archives-ouvertes.fr/hal-00307035

P. Godfrey-smith, Theory and reality : An introduction to the philosophy of science, 2009.
DOI : 10.7208/chicago/9780226300610.001.0001

. Gross, Report from the fidelity definition and metrics implementation study group (FDM-ISG), Proceedings of the 1999 Spring Simulation Interoperability Workshop, 1999.

G. , G. Gui, D. Paul, and . Scott, Measuring software component reusability by coupling and cohesion metrics, Journal of computers, vol.4, issue.9, pp.797-805, 2009.

]. R. Guillerm, Intégration de la sûreté de fonctionnement dans les processus d'ingénierie système, 2011.

H. Hayes-roth, A. Donald, . Waterman, B. Douglas, and . Lenat, Building expert system, 1983.

J. Michel-heon, G. Basque, and . Paquette, Validation de la semantique d'un modele semi, 2010.

C. William, B. Hetzel, and . Hetzel, The complete guide to software testing, QED Information Sciences, 1988.

. Hwang, An introduction to input/output automata, 2005.

]. Hwang, P. Bernard, and . Zeigler, Reachability Graph of Finite and Deterministic DEVS Networks, IEEE Transactions on Automation Science and Engineering, vol.6, issue.3, pp.468-96, 2009.
DOI : 10.1109/TASE.2009.2021352

]. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with kermeta, Generative and Transformational Techniques in Software Engineering III, pp.201-221, 2011.

]. and J. Bezivin, KM3 : a DSL for Metamodel Specification, Formal Methods for Open Object Based Distributed Systems, pp.171-185, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448119

]. and I. Kurtev, Transforming models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448120

D. Karlsson, P. Eles, and Z. Peng, Model validation for embedded systems using formal method-aided simulation, IET Computers & Digital Techniques, vol.2, issue.6, pp.413-433, 2008.
DOI : 10.1049/iet-cdt:20070128

]. Kim, S. Hessam, V. Sarjoughian, and . Elamvazhuthi, DEVSsuite : a simulator supporting visual experimentation design and behavior monitoring, Proceedings of the 2009 Spring Simulation Multiconference, p.161, 2009.

E. Kofman and S. Junco, Quantized-state systems : a DEVS Approach for continuous system simulation, Transactions of the Society for Modeling and Simulation International, vol.18, issue.3, pp.123-132, 2001.

M. Ernesto-kofman, E. Lapadula, and . Pagliero, Power- DEVS : A DEVS?based environment for hybrid system modeling and simulation. School of Electronic Engineering, 2003.

A. Saul and . Kripke, Semantical considerations on modal logic, 1963.

]. , W. Kwon, . Park, . Jung, . Tag-gon et al., Fuzzy-DEVS formalism : concepts, realization and applications, Proceedings Of The, 1996.

C. On and A. , Simulation and Planning In High Autonomy Systems, Citeseer, pp.227-234, 1996.

L. Moigne, Jean-Louis Le Moigne. La modélisation des systèmes complexes, 1990.

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The generic modeling environment, Workshop on Intelligent Signal Processing, 2001.

]. Liao, L. Xiao, C. Yang, and Y. Lu, MilkyWay-2 supercomputer: system and application, Frontiers of Computer Science, vol.9, issue.1, pp.345-356, 2014.
DOI : 10.1007/s11704-014-3501-3

]. , L. , and Z. Li, Credibility Evaluation of Simulation Models, Advanced Materials Research, vol.765, pp.713-716, 2013.

]. Liu, M. Yang, and Z. Wang, Study on simulation credibility metrics, Proceedings of the 37th conference on Winter simulation Winter Simulation Conference, pp.2554-2560, 2005.

. Lothaire, Combinatorics on Words, of Encyclopedia of Mathematics and its Applications, 1983.
DOI : 10.1017/CBO9780511566097
URL : https://hal.archives-ouvertes.fr/hal-00620607

. M_-lothaire, Combinatorics on words, 1997.
DOI : 10.1017/CBO9780511566097

A. Nancy, . Lynch, R. Mark, and . Tuttle, An introduction to input/output automata, 1988.

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

J. Stephen, S. Mellor, R. Tockey, P. Arthaud, and . Le-blanc, Softwareplatform-independent, precise action specifications for UML. The Unified Modeling Language, UML, pp.281-286, 1999.

H. Marc, P. Meyer, . Tertzakian, M. James, and . Utterback, Metrics for managing research and development in the context of the product family, Management Science, vol.43, issue.1, pp.88-111, 1997.

M. Marvin-lee-minsky, M. Minsky, and . Minsky, Semantic information processing, 1968.

J. Saurabh-mittal, . Luis-risco-martín, P. Bernard, and . Zeigler, DEVSML : automating DEVS execution over SOA towards transparent simulators, Proceedings of the 2007 spring simulation multiconference, pp.287-295, 2007.

]. Montalk, Computer software in civil aircraft, Microprocessors and Microsystems, vol.17, issue.1, pp.17-23, 1993.
DOI : 10.1016/0141-9331(93)90089-P

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Model Driven Engineering Languages and Systems, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

L. Narasimhan and B. Hendradjaya, A new suite of metrics for the integration of software components, Proceedings of the The First International Workshop on Object Systems and Software Architectures (WOSSA'2004). Citeseer, 2004.

]. Narasimhan, P. Parthasarathy, and M. Das, Evaluation of a suite of metrics for component based software engineering (cbse), 2009.

P. Allen, G. Nikora, and . Balcom, Automated identification of LTL patterns in natural language requirements. ISSRE'09, 2009.

. Mda and . Omg, Guide Version 1.0. 1. Object Management Group, 2003.

T. Oneill and N. Foo, Reasoning about continuous change, PRICAI98 : Topics in Artificial Intelligence, pp.294-304, 1998.
DOI : 10.1007/BFb0095278

K. Dale and . Pace, Development and documentation of a simulation conceptual model, Proceedings of the 1999 Fall Simulation Interoperability Workshop, 1999.

]. Pasqua, D. Foures, A. Vincent, and A. Nketsa, From Sequence Diagrams UML 2. x To FD-DEVS By Model Transformation, European Simulation and Modelling Conference, pp.37-2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00781084

J. Daniel, L. Paulish, and . Bass, Architecture-centric software project management : A practical guide, 2001.

L. James and . Peterson, Petri net theory and the modeling of systems, 1981.

]. Printz, B. Mesdon, and N. Treves, Estimation des projets de l'entreprise numérique : Approche systémique, coûts, qualité et délais, pp.2013-2038, 2013.

R. Gauthier-quesnel, É. Duboz, . Ramat, K. Mamadou, and . Traoré, VLE : a multimodeling and simulation environment, Proceedings of the 2007 summer computer simulation conference, pp.367-374, 2007.

M. Stéphane-raël, H. Urbain, and . Renaudineau, Modèle multiphysique de batterie lithium-ion implanté dans un logiciel de simulation des systèmes électriques, Symposium de Génie Électrique, pp.2014-142, 2014.

R. and P. Preux, Virtual laboratory environment(VLE) : a software environment oriented agent and object for modeling and simulation of complex systems, Simulation Modelling Practice and Theory, vol.11, issue.1, pp.45-55, 2003.

E. Ramat, V. Ginot, H. Monod, F. Amblard, P. Bommel et al., Introduction à la simulation : principaux concepts, 2006.

. Neil-robertson, D. Paul, and . Seymour, Graph minors. X. Obstructions to tree-decomposition, Journal of Combinatorial Theory, Series B, vol.52, issue.2, pp.153-190, 1991.
DOI : 10.1016/0095-8956(91)90061-N

R. Winston and W. Royce, Managing the development of large software systems, proceedings of IEEE WESCON. Los Angeles, 1970.

I. James-rumbaugh, G. Jacobson, and . Booch, The unified modeling language reference manual, 1999.

]. A. Sage and J. E. Armstrong, Introduction to systems engineering. Wiley series in systems engineering, 2000.

G. Robert and . Sargent, Verification, validation, and accreditation : verification , validation, and accreditation of simulation models, Proceedings of the 32nd conference on Winter simulation, pp.50-59, 2000.

G. Robert and . Sargent, Verification and validation of simulation models, Proceedings of the 37th conference on Winter simulation, pp.130-143, 2005.

S. Hessam, Y. Sarjoughian, and . Chen, Standardizing devs models : an endogenous standpoint, Proceedings of the 2011 Symposium on Theory of Modeling & Simulation : DEVS Integrative M&S Symposium, pp.266-273, 2011.

S. Hessam, . Sarjoughian-et-abbas-mahmoodi, and . Markid, EMF-DEVS modeling, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium, page 19. Society for Computer Simulation International, pp.2012-124, 2012.

]. Seo, P. Bernard, R. Zeigler, D. Coop, and . Kim, DEVS modeling and simulation methodology with ms4me software, Theory of Modeling & Simulation Symposium, SpringSim Multi-Conference, pp.2013-136, 2013.

]. Sewell, D. Morris, H. Nikolas, S. Blevins, S. Agrawal et al., Validating metrics for a mastoidectomy simulator, Studies in health technology and informatics, vol.125, p.421, 2006.

. Db-shmoys, . Lenstra, E. Ahg-rinnooy-kan, and . Lawler, The traveling salesman problem, 1985.

M. Sintek and S. Decker, TRIPLE???A Query, Inference, and Transformation Language for the Semantic Web, The Semantic Web ISWC 2002, pp.364-378, 2002.
DOI : 10.1007/3-540-48005-6_28

]. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, Emf : eclipse modeling framework. Pearson Education, 2008.

D. Daniel and . Suthers, Representational guidance for collaborative inquiry, Arguing to Learn, pp.27-46, 2003.

]. Tremblay, L. Dessaint, and A. Dekkiche, A Generic Battery Model for the Dynamic Simulation of Hybrid Electric Vehicles, 2007 IEEE Vehicle Power and Propulsion Conference, pp.284-289, 2007.
DOI : 10.1109/VPPC.2007.4544139

V. Bertalanffy, Ludwig Von Bertalanffy General system theory General systems, pp.11-17, 1956.

W. Gabriel and N. Giambiasi, Timed Cell-DEVS : modeling and simulation of cell spaces, Discrete event modeling and simulation technologies, pp.187-214, 2001.

A. Gabriel, K. Wainer, S. Al-zoubi, . Mittal, H. Jl-risco-martín et al., An Introduction to DEVS standardization. Discrete-Event Modeling and Simulation : Theory and Applications, pp.2010-127, 2010.

H. Hironori-washizaki, Y. Yamamoto, and . Fukazawa, A metrics suite for measuring reusability of software components, Software Metrics Symposium, 2003. Proceedings. Ninth International, pp.211-223, 2003.

. Gezhi-weng, S. Upinder, R. Bhalla, and . Iyengar, Complexity in Biological Signaling Systems, Science, vol.284, issue.5411, pp.92-96, 1999.
DOI : 10.1126/science.284.5411.92

]. Wu, C. Wang, X. Jia, and C. Liu, Mining Open Source Component Behavior for Reuse Evaluation, High Confidence Software Reuse in Large Systems, pp.112-115, 2008.
DOI : 10.1007/978-3-540-68073-4_10

W. Lei-yonglin, L. Weiping, Z. Qun, and . Yifan, A transformation model from DEVS to SMP2 based on MDA. Simulation Modelling Practice and Theory, pp.1690-1709, 2009.

. Zeigler, Theory of Modelling and Simulation, IEEE Transactions on Systems, Man, and Cybernetics, vol.9, issue.1, pp.127-138, 1976.
DOI : 10.1109/TSMC.1979.4310082

P. Bernard, H. Zeigler, . Praehofer, . Tag-gon, and . Kim, Theory of modeling and simulation : integrating discrete event and continuous complex dynamic systems, Academic press, vol.43, issue.2, pp.45-48, 2000.

F. Auteur:-damien and . Titre, Validation des modèles de simulation Directeurs de thèse