. Airbus, Internal Standard -Develop, Integrate and Validate Shared Simulation Models Methods and Guidelines, 2009.

A. V. Albert, V. Albert, S. S. Ponnusamy, L. Alfaro, M. Faella et al., Codage de CDEVS et de PDEVS en réseau de Petri Temporisé: Théorie et Application, Simulation validity assessment in the context of embedded system design, Thesis (Phd), vol.15597, pp.83-104, 2005.

L. Alfaro-;-alfaro, T. A. Henzinger, and L. Alfaro, Game Models for Open Systems, Verification: Theory and Practice, FSE, vol.2772, pp.269-289, 2001.

R. Alur, T. Henzinger, O. Kupferman, and M. Vardi, Alternating refinement relations, CONCUR 98: Concurrency Theory. 9th Int. Conf., volume, vol.1466, pp.163-178, 1998.

R. Alur, T. Henzinger, and M. Vardi, Theory in practice for system design and verification, ACM SIGLOG News archive, vol.2, issue.1, pp.46-51, 2015.

R. Alur, D. L. Dill, F. Baader, I. Horrocks, and U. Sattler, Description Logics as Ontology Languages for the Semantic Web, Volume 2605 of the series Lecture Notes in Computer Science pages, vol.126, pp.228-248, 1994.

L. J. Bair, A. Tolk, O. Balci, W. F. Ormsby, M. Baleani et al., Well-Defined Intended Uses: An Explicit Requirement for Accreditation of Modeling and Simulation Applications, Correctby-construction transformations across design environments for model-based embedded software development, Design, Automation and Test in Europe, vol.2, pp.1044-1049, 2000.

G. Basile-;-basile, G. Marro, J. Bengtsson, K. Larsen, F. Larsson et al., Towards ontology-driven interoperability for simulation-based applications, Controlled and Conditioned Invariants in Linear System Theory, vol.22, pp.101-108, 1992.

B. Berthomieu, M. Diaz, B. Berthomieu, P. O. 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.17, issue.3, pp.2741-2756, 1991.

B. Berthomieu, S. D. Zilio, L. Fronc, F. Vernadat, B. Berthomieu et al., Time petri nets with dynamic firing dates: Semantics and applications, Formal Modeling and Analysis of Timed Systems, Embedded Real Time Software and Systems, pp.1-14, 1996.

F. E. Cellier, F. Cellier, E. Kofman, G. Migoni, and M. Bortolotto, Quantized state system simulation, Grand Challenges in Modeling and Simulation, pp.504-510, 1991.

P. Cerny-;-cerny, T. Henzinger, and A. Radhakrishna, Interface simulation distances, Theoretical Computer Science, vol.560, pp.348-363, 2014.

. Cerny, P. Cerny, T. Henzinger, and A. Radhakrishna, Simulation Distances, Lecture Notes in Computer Science, vol.6269, pp.253-268, 2010.

B. Chandrasekaran, A. Goel, and Y. Iwasaki, Functional Representation as a Basis for Design Rationale, IEEE Computer, vol.26, issue.1, pp.48-56, 1993.

T. Chatain, A. David, and K. G. Larsen, Playing games with timed games, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00772637

K. Chatterjee-;-chatterjee and V. S. Prabhu, Quantitative Temporal Simulation and Refinement Distances for Timed Systems, IEEE Transactions on Automatic Control, vol.60, issue.9, pp.2291-2306, 2015.

K. Chatterjee-;-chatterjee and H. Sabourian, Game Theory and Strategic Complexity, pp.1292-1308, 2012.

K. Chatterjee, T. A. Henzinger, and M. Jurdzinski, Mean-payoff parity games, Proceedings of IEEE LICS, pp.178-187, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00766251

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.410-425, 2005.

M. Clark, X. Koutsoukos, R. Kumar, I. Lee, G. J. Pappas et al., A Study on Run Time Assurance for Complex Cyber Physical Systems, 2013.

E. M. Clarke-;-clarke, O. Grumberg, and D. O. Peled, Introduction to Model Checking, pp.0-262, 2000.

M. J. Clayton, P. Teicholz, M. Fischer, and J. Kunz, Virtual components consisting of form, function and behaviour, Automation in Construction, vol.8, issue.3, pp.351-367, 1999.

G. Colombo, A. Mosca, and F. Sartori, Towards the design of intelligent CAD systems: An ontological approach, Advanced Engineering Informatics, vol.21, issue.2, pp.153-168, 2007.

;. Cousot and P. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-514, 1992.

R. Cowder-;-crowder, R. Bracewell, G. Hughes, M. Kerr, D. Knott et al., A Future Vision For The Engineering Design Environment: A Future Sociotechnical Scenario, 14th International Conference on Engineering Design, pp.249-250, 2003.

M. Y. Dahab, H. Hassan, and A. Rafea, Requirements Enabling Virtual Testing as Means of Compliance for Certification-CRESCENDO FP7 234344 Report, Expert Systems with Applications, vol.34, issue.2, pp.1474-1480, 2008.

Y. Deng-;-deng and M. , Function and behaviour representation in conceptual mechanical design, Artif. Intell. Eng. Des. Anal. Manuf, vol.16, issue.5, pp.343-362, 2002.

A. Do-178c-;-donzè, Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178C, Lecture Notes in Computer Science, vol.8174, pp.382-383, 2011.

A. Donzè-;-donzè, Specification Mining of Industrial-scale Control Systems, Talk, 2013.

, IBM Rational DOORS Requirements Management Framework Add-on User manual, DOORS, 2014.

D. A. Duffy-;-duffy, U. Durak, T. Ören, P. A. Fishwick, N. H. Narayanan et al., Joint Aircraft System/Component Code, Table and Definitions, Light Standards Service Regulatory Support Division, Aviation Data Systems Branch, AFS-620, FAA Flight Standards Service, 72 pages, Proceedings of the 49th Annual Simulation Symposium (ANSS '16), vol.24, 1991.

J. Fitzgerald-;-fitzgerald, P. G. Larsen, K. Pierce, and M. Verhoef, A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems, Mathematical Structures in Computer Science, vol.23, issue.4, pp.726-750, 2013.

D. Foures, V. Albert, and A. Nkesta, Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868406

G. Foukou, S. Jean, A. Hadjali, and M. Baron, Society for Modeling & Simulation International, Vista, CA, Article 55, Knowledge and Information Systems, pp.1-29, 2016.

F. K. Frantz, A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995.

B. Gaines-;-gaines, General systems research: quo vadis?, General Systems: Yearbook of the Society, vol.24, pp.1-9, 1979.

B. Ganter, G. Stumme, R. Wille, J. S. Gero, and U. Kannengiesser, The situated function-behaviour-structure framework, Foundations and Applications, vol.25, issue.4, pp.373-391, 2004.

N. Giambiasi, From Timed Automata to DEVS models, Proceedings of the Winter Simulation Conference, vol.1, pp.923-931, 2003.

H. Graves-;-graves and I. Horrocks, Application of OWL 1.1 to Systems Engineering, OWL Experiences and Directions, 2008.

A. Girard-;-girard, Reachability of Uncertain Linear Systems Using Zonotopes, Hybrid Systems: Computation and Control, of the series Lecture Notes in Computer Science pages, vol.3414, pp.291-305, 2005.

A. Girard-;-girard, A. Girard, and G. Pappas, Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, pp.1307-1317, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171420

A. Girard and G. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Goel, S. Rugaber, and S. Vattam, Structure, behaviour, and function of complex systems: The structure, behaviour, and function modeling language, Journal of Artificial Intelligence for Engineering Design, vol.23, issue.1, pp.23-35, 2009.

E. Grädel-;-grädel, W. Thomas, and T. Wilke, Automata Logics, and Infinite Games -A Guide to Current Research, Lecture Notes in Computer Science, vol.2500, 2002.

H. Greves-;-greves, Integrating SysML & OWL, Proceedings of OWL: Experiences and Directions, vol.529, pp.117-124, 2009.

B. N. Grosof-;-grosof, I. Horrocks, R. Volz, and S. Decker, Description Logic Programs: Combining Logic Programs with Description Logic, Proc. of the Twelfth International World Wide Web Conference, pp.48-57, 2003.

D. Gross-;-gross, E. Haghverdi, . Tabuada, and G. J. Pappas, Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, pp.229-261, 1999.

C. Haskins, K. Forsberg, R. T. Hays, and T. A. Henzinger, Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, INCOSE-TP-2003-002-03.2.1, US Army Research Institute for Behavioural & Social Sciences, DTIC, vol.28, pp.331-344, 1980.

T. A. Henzinger, R. Majumdar, and V. Prabhu, Quantifying similarities between timed systems, Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol.3829, pp.226-241, 2005.

, 1362-1998 -IEEE Guide for Information Technology -System Definition -Concept of Operations (ConOps) Document, 2007.

M. G. Ilieva and O. Ormandjieva, Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation, Natural Language Processing and Information Systems, Lecture Notes in Computer Science, vol.610, pp.392-397, 1990.

F. Jahanian, A. K. Mok, F. Jahanian, A. K. Mok, D. A. Stuart et al., Reference model based high fidelity simulation modeling for manufacturing systems, 16th International Symposium on Mathematical Theory of Networks and Systems, vol.20, pp.933-947, 1972.

O. Kupferman-;-kupferman, M. Vardi, Y. Wolper, and P. , An Automata Theoretic Approach to Branching-Time Model Checking, JACM, vol.47, issue.2, pp.312-360, 2000.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker. Proceedings of PAPM/PROBMIV'01 Tools Session, pp.7-12, 2001.

Y. Labiche and G. Wainer, Towards the verification and validation of DEVS models, Proceedings of 1st Open International Conference on Modeling & Simulation, pp.295-305, 2005.

L. W. Lacy and W. J. Gerber, Potential Modeling and Simulation Applications of the Web Ontology Language -OWL, Proceedings of the Winter Simulation Conference, 2004.

A. Lehmann, A. Y. Levy, Y. Iwasaki, and R. Fikes, Introduction to the special issue on verification, validation and accreditation in modeling and simulation, The Journal of Defense Modeling and Simulation: Applications, Methodology, vol.10, issue.4, pp.351-394, 1997.

B. Lickly, C. Shelton, E. Latronico, L. Lynch, N. A. Tuttle et al., A Practical Ontology Framework for Static Model Analysis, Proceedings of the ninth ACM international conference on Embedded software, vol.2, pp.219-246, 1988.

O. Maler, Control from Computer Science, IFAC Annual Review in Control, vol.26, issue.2, pp.175-187, 2002.

O. Maler-;-maler and G. Batt, Approximating Continuous Systems by Timed Automata, Lecture Notes in Computer Science, vol.5054, pp.77-89, 2008.

M. , J. Mandl, T. Lee, E. Latronico, E. Shelton et al., Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009.

F. Marninchi-;-maraninchi, Y. Rémond, M. Mazo, A. Davitan, and P. Tabuada, Mode-Automata: About Modes and States for Reactive Systems, Proceedings of the 22nd International Conference on Computer Aided Verification, pp.566-569, 1998.

J. Miller-;-miller, G. Baramidze, T. Sheth, A. , P. Fishwick et al., Investigating Ontologies for Simulation Modeling, Perspectives in Modeling: Simulation, Database, and Workflow, Conceptual Modeling, vol.1565, pp.154-167, 1999.

R. Milner-;-milner, P. Concurrency, A. Hall-;-monceaux, M. Callot, R. Myerson et al., Applications of Ontologies for Assembling Simulation Models of Industrial Systems, On the Move to Meaningful Internet Systems: OTM 2011 Workshop, vol.258, pp.148-157, 1989.

N. F. Noy and D. L. Mcguinness, Ontology development 101: A guide to creating your first ontology, Stanford knowledge systems laboratory technical report, 2001.

T. I. Omg-sysml-;-Ören, The Richness of Modeling and Simulation and an Index of its Body of Knowledge, Advances in Intelligent Systems and Computing, vol.256, pp.3-24, 2006.

D. K. Pace, Modeling and Simulation Verification and Validation Challenges, Johns Hopkins APL Technical Digest, vol.25, issue.2, pp.163-172, 2004.

G. J. Pappas, Bisimilar linear systems, Automatica, vol.39, pp.2035-2047, 2003.

G. J. Pappas, . Lafferriere, and S. Sastry, Hierarchically consistent control systems, IEEE Transactions on Automatic Control, vol.45, issue.6, pp.1144-1160, 2000.

J. L. Peterson, . Piersall, C. H. Iii, and F. E. Grange, The Necessity of Intended Use Specification for successful Modeling and Simulation of a System-of-Systems, Crosstalk, the Journal of Defense Software Engineering, pp.20-24, 1981.

A. Pnueli, The temporal logic of programs, The 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

G. Pola, A. Girard, and P. Tabuada, Symbolic models for nonlinear control systems using approximate bisimulation, The 46th IEEE Conference on Decision and Control, pp.4656-4661, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00307012

S. S. Ponnusamy, V. Albert, and P. Thebault, Consistent behavioural abstractions of experimental frame, AIAA Modeling & Simulation Technologies Conference, 2016.

S. S. Ponnusamy, V. Albert, P. Thebault, S. S. Ponnusamy, V. Albert et al., Simulation Fidelity Distance: A Game-Theoretic Framework, Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.318-326, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01912556

S. S. Ponnusamy, V. Albert, and P. Thebault, A Meta-Model for Consistent & Automatic Simulation Model Selection, Proceedings of the 29th European Simulation and Modelling Conference, pp.31-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01912572

S. S. Ponnusamy, S. S. Syntactic-;-ponnusamy, V. Albert, and P. Thebault, The 16th Congress of Ecole Doctorale Systémes, Proceedings of the International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.436-471, 2014.

S. S. Ponnusamy, V. Albert, and P. Thebault, Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction, Proceedings of the International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.385-394, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912545

F. Retho, H. Smaoui, J. C. Vannier, and P. Dessante, A model-based method to support complex system design via systems interactions analysis, CSDM 2013 Poster Workshop, p.1085, 2013.

S. Robinson, Simulation Model Verification & Validation: Increasing the User's Confidence, WSC'97 Proceedings of the 1997 Winter Simulation Conference, pp.53-59, 1997.

P. Roques, M. Roza, M. Roza, J. Voogd, and D. Sebalj, The Generic Methodology for Verification and Validation to support acceptance of models, simulations and data, The 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), vol.10, pp.347-365, 1999.

M. Roza, H. Saadawi, G. Wainer, A. P. Sage, J. E. Armstrong et al., Simulation Fidelity Theory and Practice: A unified approach to defining, specifying and measuring the realism of simulations, Building Simulation Modeling Environments Using Systems Theory and Software Architecture Principles, Advanced Simulation Technology Conference, pp.99-104, 2000.

M. Sebti, A. Girard, and G. Gregor, CoSyMA: a tool for controller synthesis using multi-scale abstractions, 16th international conference on Hybrid Systems: Computation and Control, HSCC'13, pp.83-88, 2013.

E. Seidewitz, What models mean, IEEE software, vol.20, issue.5, pp.26-32, 2003.

, The Validation issue in Modeling and Simulation, 2011.

H. Simon-;-simon, M. Sintek, and S. Decker, Reference Manual, Reference for Generic Methodology for Verification and Validation (GM-VV) to Support Acceptance of Models, Simulations and Data, The Semantic Web ISWC, vol.3, pp.364-378, 1969.

G. Smits-;-smits, O. Pivert, and A. Hadjali, Fuzzy Cardinalities as a Basis to Cooperative Answering, Flexible Approaches in Data, Information and Knowledge Management, Computational Intelligence, vol.497, pp.261-289, 2013.

R. Stolle, E. Bradley, O. Stursberg, and B. H. Krogh, Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Proceedings Fifteenth National Conference on Artificial Intelligence, vol.2623, pp.482-497, 1998.

H. Tanner and G. J. Pappas, Abstractions of constrained linear systems, Proceedings of the American Control Conference, vol.4, pp.3381-3386, 2003.

P. Thebault, T. Suquet, M. Duffy, B. Viaud, P. Will et al., Engineering of complex avionics systems simulations using a model based approach, Proceedings of the 12th International Multidisciplinary Modeling & Simulation Multi conference, pp.34-43, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02272338

G. Thomas, E. Wilke, W. , T. Tiwari, A. Shankar et al., Invisible Formal Methods for Embedded Control Systems, Proceedings of the IEEE, vol.91, issue.1, pp.29-39, 2002.

C. J. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, pp.986-1001, 2003.

M. K. Traoré and A. Muzzy, Capturing the dual relationship between simulation models and their context. Simulation Modeling Practice and Theory, vol.14, pp.126-142, 2006.

S. Tripakis, Compositionality in the Science of System Design, Lecture Notes in Computer Science, vol.104, issue.5, pp.35-35, 2009.

A. J. Van-der-schaft, F. Van-breugel, and J. Worrell, Approximating and computing behavioural distances in probabilistic transition systems, IEEE Transactions on Automatic Control, vol.49, issue.12, pp.373-385, 2004.

L. Vincent, J. Dunyach, S. Huet, G. Pelissier, J. Merlet et al., Towards Application of NASA Standard for Models and Simulations in Aeronautical Design Process, Proceedings of the 8th International Conference on Simulation Tools and Techniques, pp.29-37, 2012.

D. A. Wagner-;-wagner, M. B. Bennett, R. Karban, N. Rouquette, S. Jenkins et al., An ontology for State Analysis: Formalizing the mapping to SysML, Discrete-Event Modeling and Simulation: A Practitioner's Approach, vol.520, pp.1261-1306, 2002.

D. S. Zayas, A. Monceaux, and Y. A. Ameur, Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering, Proceeding sof ICECCS, pp.355-360, 2010.

B. P. Zeigler, H. Praehofer, G. K. Tag, B. P. Zeigler, H. Praehofer et al., Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000.

W. References,

, solutions LIST OF PUBLICATIONS The following publications were a part of this thesis and are listed below based on their partial or full contribution to this thesis chapters

, Chapter II -section 3.1, Chapter IV -section 2, Annex -section 6

S. S. Ponnusamy, V. Albert, and P. Thebault, Consistent behavioural abstractions of experimental frame, AIAA Modeling & Simulation Technologies Conference, pp.10-2514, 2016.

, Chapter I -section 1, 2, Chapter II -section 3.1, Chapter III -section 1, 2, 5.1, 6, Chapter

S. S. Ponnusamy, V. Albert, and P. Thebault, Towards an Ontology Driven Simulation Model Development, Proceedings of the 8th European Congress on Embedded Real Time Software and Systems, p.11, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291993

, Chapter II -section 4.1, Chapter IV -section 2, 4, 5.1, Chapter V -section 2.1-2, 6

S. S. Ponnusamy, V. Albert, and P. Thebault, Simulation Fidelity Distance: A Game-Theoretic Framework, Spring Simulation Multi-Conference, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01912556

. Chapter,

S. S. Ponnusamy, P. Thebault, and V. Albert, Quantifying Fidelity for Timed Transition Systems, Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.318-326, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01912574

, Chapter I -section 1, 2.1, 2.2, Chapter II -section 2, Chapter III -section 1, 2, 5, vol.1, p.6

P. Thebault, S. S. Ponnusamy, and V. Albert, A Multimodal Approach to Simulation Fidelity, Proceedings of the 12th International Multidisciplinary Modeling & Simulation Multi conference, pp.34-43, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01912569

. Chapter,

S. S. Ponnusamy, V. Albert, and P. Thebault, A Meta-Model for Consistent & Automatic Simulation Model Selection, Proceedings of the 29th European Simulation and Modelling Conference, pp.31-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01912572

, Chapter I -section 1.1-2, 2, Chapter II -section 1, 3.4, 4, Chapter III -section 1, Annex -section 6

S. S. Ponnusamy and . Syntactic, Semantic Abstraction Framework, The 16th Congress of Ecole Doctorale Systémes, 2015.

, Chapter II -section 4.1, Chapter IV -section 2, 5.3, Chapter V -section 2

S. S. Ponnusamy, V. Albert, and P. Thebault, Experimental Frame Fidelity Distances, Journal of Simulation Modeling Practice & Theory, 2016.

, Chapter I -section 1.1, 1.2, 2, Chapter II -section 1, 3.3-4, Chapter III -section 1, Annex -section 6

S. S. Ponnusamy, V. Albert, and P. Thebault, A Simulation Fidelity Assessment Framework, Proceedings of the International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), pp.436-471, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912540

S. S. Ponnusamy, A Simulation Fidelity Framework, Poster, 2014.

S. S. Ponnusamy, Simulation Fidelity, Poster, 2013.

, Chapter I -section 1.1, 1.2, Chapter II -section 3.3, Chapter IV -section 2

S. S. Ponnusamy, V. Albert, and P. Thebault, Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction, Proceedings of the International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), pp.385-394, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912545

V. Albert, S. S. Ponnusamy, P. Codage-de-cdevs-et-de-pdevs-en-réseau-de, and . Temporisé, Axiom: 1850 Logical axiom count: 1430 Declaration axioms count: 356 Class count: 160 Object property count: 105 Data property count, Théorie et Application, Journées DEVS Francophones 2016, N° 15597, vol.9, p.11, 2016.

, DISTINCT ?c_req ?c_avb ?c_avb_1 ?m_avb_1 WHERE { ?m a mm:TestScope. ?m a mm:OperatingMode. ?c_req mm:hasMode ?m. ?c_req mm:hasName ?n1. ?s mm:composedOf ?c_avb. ?s mm:isdesignedBy ?sd. ?c_avb mm:hasName ?n2. ?c_avb mm:hasMode ?m_avb. ?c_avb mm:isConnectedFrom ?c_avb_1. ?c_avb_1 mm:hasMode ?m_avb_1. ?s mm:composedOf ?c_avb_1. ?s mm:isdesignedBy ?sd. } end end if(isempty(branch_list)==true) output('R graph generation over ') break end branch_list_end=branch_list

, if(length(branch_list_end)>1) id=branch_list_end(end)

, branch_list(end)=branch_list_end, issue.1, p.1

, if(length(branch_list(end))==1)

, Total no of trajectories generated, Column_size(R)

, Length of trajectories generated, Row_size(R)

, Number of plays : ',Row_size(R)/3))

, // extract error data from R tree plot(epsilon)

, plot(minimum_epsilon_values)

, plot(maximum_epsilon_values)

. C_mean-=-epsilon,

, //fidelity distribution max_fid=max(Cmeans)

, min_fid=min(Cmeans

, histogram(Cmeans