Internal Standard -Develop, Integrate and Validate Shared Simulation Models Methods and Guidelines, 2009. ,
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. ,
Game Models for Open Systems, Verification: Theory and Practice, FSE, vol.2772, pp.269-289, 2001. ,
Alternating refinement relations, CONCUR 98: Concurrency Theory. 9th Int. Conf., volume, vol.1466, pp.163-178, 1998. ,
Theory in practice for system design and verification, ACM SIGLOG News archive, vol.2, issue.1, pp.46-51, 2015. ,
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. ,
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. ,
Towards ontology-driven interoperability for simulation-based applications, Controlled and Conditioned Invariants in Linear System Theory, vol.22, pp.101-108, 1992. ,
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. ,
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. ,
Quantized state system simulation, Grand Challenges in Modeling and Simulation, pp.504-510, 1991. ,
Interface simulation distances, Theoretical Computer Science, vol.560, pp.348-363, 2014. ,
Simulation Distances, Lecture Notes in Computer Science, vol.6269, pp.253-268, 2010. ,
Functional Representation as a Basis for Design Rationale, IEEE Computer, vol.26, issue.1, pp.48-56, 1993. ,
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
Quantitative Temporal Simulation and Refinement Distances for Timed Systems, IEEE Transactions on Automatic Control, vol.60, issue.9, pp.2291-2306, 2015. ,
, Game Theory and Strategic Complexity, pp.1292-1308, 2012.
Mean-payoff parity games, Proceedings of IEEE LICS, pp.178-187, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00766251
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.410-425, 2005. ,
A Study on Run Time Assurance for Complex Cyber Physical Systems, 2013. ,
Introduction to Model Checking, pp.0-262, 2000. ,
Virtual components consisting of form, function and behaviour, Automation in Construction, vol.8, issue.3, pp.351-367, 1999. ,
Towards the design of intelligent CAD systems: An ontological approach, Advanced Engineering Informatics, vol.21, issue.2, pp.153-168, 2007. ,
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-514, 1992. ,
A Future Vision For The Engineering Design Environment: A Future Sociotechnical Scenario, 14th International Conference on Engineering Design, pp.249-250, 2003. ,
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. ,
Function and behaviour representation in conceptual mechanical design, Artif. Intell. Eng. Des. Anal. Manuf, vol.16, issue.5, pp.343-362, 2002. ,
Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178C, Lecture Notes in Computer Science, vol.8174, pp.382-383, 2011. ,
Specification Mining of Industrial-scale Control Systems, Talk, 2013. ,
, IBM Rational DOORS Requirements Management Framework Add-on User manual, DOORS, 2014.
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. ,
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. ,
Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868406
Society for Modeling & Simulation International, Vista, CA, Article 55, Knowledge and Information Systems, pp.1-29, 2016. ,
A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995. ,
General systems research: quo vadis?, General Systems: Yearbook of the Society, vol.24, pp.1-9, 1979. ,
The situated function-behaviour-structure framework, Foundations and Applications, vol.25, issue.4, pp.373-391, 2004. ,
From Timed Automata to DEVS models, Proceedings of the Winter Simulation Conference, vol.1, pp.923-931, 2003. ,
Application of OWL 1.1 to Systems Engineering, OWL Experiences and Directions, 2008. ,
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. ,
Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, pp.1307-1317, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171420
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
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. ,
Automata Logics, and Infinite Games -A Guide to Current Research, Lecture Notes in Computer Science, vol.2500, 2002. ,
Integrating SysML & OWL, Proceedings of OWL: Experiences and Directions, vol.529, pp.117-124, 2009. ,
Description Logic Programs: Combining Logic Programs with Description Logic, Proc. of the Twelfth International World Wide Web Conference, pp.48-57, 2003. ,
Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, pp.229-261, 1999. ,
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. ,
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.
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. ,
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. ,
An Automata Theoretic Approach to Branching-Time Model Checking, JACM, vol.47, issue.2, pp.312-360, 2000. ,
, PRISM: Probabilistic Symbolic Model Checker. Proceedings of PAPM/PROBMIV'01 Tools Session, pp.7-12, 2001.
Towards the verification and validation of DEVS models, Proceedings of 1st Open International Conference on Modeling & Simulation, pp.295-305, 2005. ,
Potential Modeling and Simulation Applications of the Web Ontology Language -OWL, Proceedings of the Winter Simulation Conference, 2004. ,
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. ,
A Practical Ontology Framework for Static Model Analysis, Proceedings of the ninth ACM international conference on Embedded software, vol.2, pp.219-246, 1988. ,
, Control from Computer Science, IFAC Annual Review in Control, vol.26, issue.2, pp.175-187, 2002.
Approximating Continuous Systems by Timed Automata, Lecture Notes in Computer Science, vol.5054, pp.77-89, 2008. ,
Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009. ,
Mode-Automata: About Modes and States for Reactive Systems, Proceedings of the 22nd International Conference on Computer Aided Verification, pp.566-569, 1998. ,
Investigating Ontologies for Simulation Modeling, Perspectives in Modeling: Simulation, Database, and Workflow, Conceptual Modeling, vol.1565, pp.154-167, 1999. ,
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. ,
Ontology development 101: A guide to creating your first ontology, Stanford knowledge systems laboratory technical report, 2001. ,
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. ,
Modeling and Simulation Verification and Validation Challenges, Johns Hopkins APL Technical Digest, vol.25, issue.2, pp.163-172, 2004. ,
Bisimilar linear systems, Automatica, vol.39, pp.2035-2047, 2003. ,
Hierarchically consistent control systems, IEEE Transactions on Automatic Control, vol.45, issue.6, pp.1144-1160, 2000. ,
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. ,
The temporal logic of programs, The 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
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
, Consistent behavioural abstractions of experimental frame, AIAA Modeling & Simulation Technologies Conference, 2016.
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
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
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. ,
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
A model-based method to support complex system design via systems interactions analysis, CSDM 2013 Poster Workshop, p.1085, 2013. ,
Simulation Model Verification & Validation: Increasing the User's Confidence, WSC'97 Proceedings of the 1997 Winter Simulation Conference, pp.53-59, 1997. ,
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. ,
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. ,
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. ,
What models mean, IEEE software, vol.20, issue.5, pp.26-32, 2003. ,
, The Validation issue in Modeling and Simulation, 2011.
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. ,
Fuzzy Cardinalities as a Basis to Cooperative Answering, Flexible Approaches in Data, Information and Knowledge Management, Computational Intelligence, vol.497, pp.261-289, 2013. ,
Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Proceedings Fifteenth National Conference on Artificial Intelligence, vol.2623, pp.482-497, 1998. ,
Abstractions of constrained linear systems, Proceedings of the American Control Conference, vol.4, pp.3381-3386, 2003. ,
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
Invisible Formal Methods for Embedded Control Systems, Proceedings of the IEEE, vol.91, issue.1, pp.29-39, 2002. ,
Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, pp.986-1001, 2003. ,
Capturing the dual relationship between simulation models and their context. Simulation Modeling Practice and Theory, vol.14, pp.126-142, 2006. ,
Compositionality in the Science of System Design, Lecture Notes in Computer Science, vol.104, issue.5, pp.35-35, 2009. ,
Approximating and computing behavioural distances in probabilistic transition systems, IEEE Transactions on Automatic Control, vol.49, issue.12, pp.373-385, 2004. ,
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. ,
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. ,
Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering, Proceeding sof ICECCS, pp.355-360, 2010. ,
Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000. ,
,
, 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
, 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
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
Simulation Fidelity Distance: A Game-Theoretic Framework, Spring Simulation Multi-Conference, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01912556
,
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
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
,
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
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
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
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
A Simulation Fidelity Framework, Poster, 2014. ,
Simulation Fidelity, Poster, 2013. ,
, Chapter I -section 1.1, 1.2, Chapter II -section 3.3, Chapter IV -section 2
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
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)
,
, //fidelity distribution max_fid=max(Cmeans)
, min_fid=min(Cmeans
, histogram(Cmeans