Model-based Simulation Systems Engineering

Synergies play a critical role in the evolution of simulation discipline. The contribution of systems engineering to simulation is by introducing methodologies that enhance the engineering of simulations, especially for large and complex systems. The result is named as simulation systems engineering: the interdisciplinary process for developing, maintaining and employing simulation systems. Over-and-above, this thesis investigates possibilities for leveraging model-based approaches in systems engineering, particularly as applied for software intensive systems, in engineering of simulation systems. There are a wide range of methodologies and approaches used in simulation modeling depending on the behavior of the modeled system (e.g. continuous, discrete, hybrid), the focus of the modeler (e.g. activity diagrams, state transition diagrams), the abstraction (e.g. agent-based simulation, object-oriented simulation), the execution (e.g. activity scanning, event scanning) or model syntax (e.g. declarative, functional). Hence, the thesis claims that it is practically hard and maybe even not attainable to develop a common and widely accepted model-based process for engineering of simulation systems. It rather promotes pragmatic utilization of model-based approaches and endorses them as indispensable elements of the emerging simulation systems engineering tool set. The thesis asserts that the pragmatic employment of model-based practices is beneficial in increasing the quality characteristics, such as effectiveness, efficiency, consistency and repeatability of the simulation systems engineering process. It supports this propositional statement with various publications that introduce model-based techniques and methodologies which address particular steps in the simulation engineering process.

[1]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[2]  Umut Durak,et al.  Model integration workflow for keeping models up to date in a research simulator , 2014, 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications (SIMULTECH).

[3]  Hans Vangheluwe,et al.  Processing causal block diagrams with graph-grammars in AToM3 , 2002 .

[4]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[5]  Andy Schürr,et al.  Checking and Enforcement of Modeling Guidelines with Graph Transformations , 2008, AGTIVE.

[6]  Koos Zwaanenburg Six-degree-of-freedom missile simulation using the ADI AD 100 digital computer and ADSIM simulation language , 1989 .

[7]  Christian Stenzel,et al.  Distributed Simulation in Technical Applications , 2008 .

[8]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[9]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[10]  Thorsten Pawletta,et al.  Ontology-Assisted System Modeling and Simulation within MATLAB/Simulink , 2014, Simul. Notes Eur..

[11]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[12]  Pieter J. Mosterman,et al.  Embedded Real-Time Control via MATLAB, Simulink, and xPC Target , 2005, Handbook of Networked and Embedded Control Systems.

[13]  Dimka Karastoyanova,et al.  Using Services and Service Compositions to Enable the Distributed Execution of Legacy Simulation Applications , 2011, ServiceWave.

[14]  Gareth D. Padfield,et al.  The Use of Flight Simulation for Research and Teaching in Academia. , 2006 .

[15]  Nelson Weiderman,et al.  Options Analysis for Reengineering (OAR): Issues and Conceptual Approach , 1999 .

[16]  Eric Dillaber,et al.  Best practices for developing DO-178 compliant software using Model-Based Design , 2013 .

[17]  Justyna Zander-Nowicka,et al.  Model-based Testing of Real-Time Embedded Systems in the Automotive Domain , 2009 .

[18]  Ilkay Yavrucuk,et al.  Helicopter Slung Load Simulations Using Heli-Dyn+ , 2012 .

[19]  Hessam S. Sarjoughian,et al.  CoSMoS: a visual environment for component-based modeling, experimental design, and simulation , 2009, SimuTools.

[20]  Umut Durak,et al.  Pragmatic model transformations for refactoring in Scilab/Xcos , 2016, Int. J. Model. Simul. Sci. Comput..

[21]  Harry M. Sneed,et al.  Estimating the costs of a reengineering project , 2005, 12th Working Conference on Reverse Engineering (WCRE'05).

[22]  Jean-Philippe Chancelier,et al.  Modeling and Simulation in Scilab/Scicos , 2006 .

[23]  Stephan Weißleder Test models and coverage criteria for automatic model-based test generation with UML state machines , 2010 .

[24]  Elizabeth L. White,et al.  Adapting Legacy Computational Software for XMSF , 2003 .

[25]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[26]  Robert Stevens,et al.  The Protege OWL Experience , 2005, OWLED.

[27]  Federico Bergero,et al.  PowerDEVS: a tool for hybrid system modeling and real-time simulation , 2011, Simul..

[28]  Thorsten Pawletta,et al.  Ontology for Objective Flight Simulator Fidelity Evaluation , 2014 .

[29]  Frederick G. Andersen,et al.  A Low-Cost Flight Simulation for Rapid Handling Qualities Evaluations During Design , 1998 .

[30]  Bernard P. Zeigler,et al.  System theoretic foundations of modeling and simulation: a historic perspective and the legacy of A Wayne Wymore , 2012, Simul..

[31]  Saurabh Mahapatra,et al.  Applying Model-Based Design to Large-Scale Systems Development: Modeling, Simulation, Test, & Deployment of a Multirotor Vehicle , 2012 .

[32]  John A. Miller,et al.  Ontologies for modeling and simulation: issues and approaches , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[33]  Dennis Kiefer,et al.  Developmental evaluation of a centrifuge flight simulator as an enhanced maneuverability flying qualities tool , 1992 .

[34]  Umut Durak,et al.  Ontology-Based Domain Engineering for Trajectory Simulation Reuse , 2009, Int. J. Softw. Eng. Knowl. Eng..

[35]  Ahmet Zengin,et al.  Formal verification and validation with DEVS-Suite: OSPF Case study , 2012, Simul. Model. Pract. Theory.

[36]  Tuncer Ören,et al.  Towards an ontology for simulation systems engineering , 2016, SpringSim.

[37]  Janette Cardoso,et al.  Distributed Simulation of Heterogeneous and Real-Time Systems , 2013, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications.

[38]  David Braun,et al.  Universal Automated Flight Simulator Fidelity Test System , 2004 .

[39]  Bernhard Schätz,et al.  Model clone detection in practice , 2010, IWSC '10.

[40]  Stefan Klaes ATTAS & ACT/FHS System Simulation For Pre-Flight Software and Hardware Testing , 2002 .

[41]  Michael G. Hinchey,et al.  Model-Based Verification of Embedded Software , 2009, Computer.

[42]  Bernard P. Zeigler,et al.  DEVS modeling and simulation methodology with MS4 Me software tool , 2013, SpringSim.

[43]  Virginie Wiels,et al.  A Meta-model for Tests of Avionics Embedded Systems , 2013, MODELSWARD.

[44]  Jean-Baptiste Filippi,et al.  An experimental frame for the simulation of forest fire spread , 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

[45]  Sunjoo K. Advani,et al.  Design of the DLR AVES Research Flight Simulator , 2013 .

[46]  Junwei Han,et al.  An Automated Test System for Flight Simulator Fidelity Evaluation , 2009, J. Comput..

[47]  Ingo Stürmer,et al.  Automated Transformation of MATLAB , Simulink and Stateflow Models , .

[48]  Pieter J. Mosterman,et al.  Rule-based model transformation for, and in simulink , 2014, SpringSim.

[49]  Quang Minh Tran,et al.  Refactoring of Simulink Diagrams via Composition of Transformation Steps , 2013, ICSEA 2013.

[50]  Umut Durak,et al.  2Simulate: A Distributed Real-Time Simulation Framework , 2014 .

[51]  M. Trcka Radosevic,et al.  Distributed Building Performance Simulation—A Novel Approach to Overcome Legacy Code Limitations , 2006 .

[52]  Section De Microtechnique,et al.  design and control of quadrotors with application to autonomous flying , 2007 .

[53]  P. Saager Real-Time Hardware-in-the-Loop Simulation for 'ATTAS' and 'ATTHeS' Advanced Technology Flight Test Vehicles. , 1990 .

[54]  David Allerton,et al.  Principles of Flight Simulation , 2009 .

[55]  Alexander Verbraeck,et al.  MDD4MS: a model driven development framework for modeling and simulation , 2011, SCSC 2011.

[56]  Okan Topçu,et al.  Layered simulation architecture: A practical approach , 2013, Simul. Model. Pract. Theory.

[57]  F. Muckler,et al.  PERFORMANCE MEASUREMENT IN FLIGHT SIMULATION STUDIES , 1963 .

[58]  Max Mulder,et al.  Using the SIMONA Research Simulator for Human-machine Interaction Research , 2003 .

[59]  Ingo Stürmer,et al.  Quality Assurance Methods for Model-based Development: A Survey and Assessment , 2007 .

[60]  Matthew McCullough,et al.  Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development , 2009 .

[61]  Damien Foures,et al.  Simulation validation using the compatibility between simulation model and experimental frame , 2013, SummerSim.

[62]  Jeffrey G. Gray,et al.  Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine , 2005, Model-Driven Software Development.

[63]  Michael Pilato Version Control with Subversion , 2004 .

[64]  Bernard P. Zeigler,et al.  System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..

[65]  J. Davis,et al.  Automatic Flight Control System development for U.S. Army heavy lifthelicopter , 1974 .

[66]  Tom Mens,et al.  A survey of software refactoring , 2004, IEEE Transactions on Software Engineering.

[67]  James H. Cross,et al.  Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.

[68]  Holger Giese,et al.  A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink , 2006 .

[69]  Paul Soukup,et al.  The NASA 747-400 Flight Simulator: A National Resource for Aviation Safety , 1996 .

[70]  James R. Cordy,et al.  Models are code too: Near-miss clone detection for Simulink models , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[71]  Junwei Han,et al.  Flight Simulator Fidelity Evaluation Automated Test System Analysis , 2008, 2008 International Workshop on Education Technology and Training & 2008 International Workshop on Geoscience and Remote Sensing.

[72]  Bernard P. Zeigler,et al.  Guide to Modeling and Simulation of Systems of Systems , 2012, SpringerBriefs in Computer Science.

[73]  Mauricio A. Saca Refactoring improving the design of existing code , 2017, 2017 IEEE 37th Central America and Panama Convention (CONCAPAN XXXVII).

[74]  Umut Durak,et al.  An Ontology for Trajectory Simulation , 2006, Proceedings of the 2006 Winter Simulation Conference.

[75]  Andrew Watt Beginning Regular Expressions , 2005 .

[76]  Bernard P. Zeigler,et al.  Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange , 2007 .

[77]  M.M. Lehman,et al.  Programs, life cycles, and laws of software evolution , 1980, Proceedings of the IEEE.

[78]  Jan Top,et al.  The PhysSys Ontology for Physical Systems , 1995 .

[79]  Tiauw Hiong Go,et al.  SIMULATOR FIDELITY CONSIDERATIONS FOR TRAINING AND EVALUATION OF TODAY'S AIRLINE PILOTS , 2001 .

[80]  Mamadou Kaba Traoré,et al.  Capturing the dual relationship between simulation models and their context , 2006, Simul. Model. Pract. Theory.

[81]  Marc Höfinger,et al.  The Software Development Enviroment of the DLR Research Rotorcraft ACT/FHS , 2012 .

[82]  Hans Vangheluwe,et al.  Explicit transformation modeling , 2009, MODELS'09.

[83]  Peter Palensky,et al.  The high level architecture RTI as a master to the functional mock-up interface components , 2013, 2013 International Conference on Computing, Networking and Communications (ICNC).

[84]  Vladan Devedzic,et al.  Model driven architecture and ontology development , 2006 .

[85]  Bernard P. Zeigler,et al.  System Entity Structure Ontological Data Fusion Process Integrated with C2 Systems , 2010 .

[86]  Mario Piattini,et al.  Architecture-Driven Modernization , 2011 .

[87]  Okan Topçu,et al.  A metamodel for federation architectures , 2008, TOMC.

[88]  Bernhard Schätz,et al.  Clone detection in automotive model-based development , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[89]  Bernard P. Zeigler,et al.  Service-Oriented Model Engineering and Simulation for System of Systems Engineering , 2015 .

[90]  Adrian Pop,et al.  OpenModelica - A free open-source environment for system modeling, simulation, and teaching , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[91]  Andreas Tolk Avoiding another Green Elephant - A Proposal for the Next Generation HLA based on the Model Driven Architecture , 2010, ArXiv.

[92]  Umut Durak,et al.  Ontology-Based Trajectory Simulation Framework , 2008, J. Comput. Inf. Sci. Eng..

[93]  Bernard P. Zeigler,et al.  Representing and constructing system specifications using the system entity structure concepts , 1993, WSC '93.

[94]  Stefan Biffl,et al.  Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems , 2010, SEKE.

[95]  Mirko Conrad,et al.  Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.

[96]  D. J. Allerton The design of a real-time engineering flight simulator for the rapid prototyping of avionics systems and flight control systems , 1999 .

[97]  Osman Balci Guidelines for successful simulation studies , 1990, 1990 Winter Simulation Conference Proceedings.

[98]  Richard Thompson,et al.  Development of AUTOSAR Software Components within Model-Based Design , 2008 .

[99]  Bernard P. Zeigler,et al.  Object-oriented simulation with hierarchical, modular models , 1990 .

[100]  P.J. Mosterman,et al.  Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[101]  Peter Jarvis,et al.  Flight Simulator Modeling and Validation Approaches and Pilot-in-the-loop Fidelity , 2008 .

[102]  Giuseppe Visaggio,et al.  Journal of Software Maintenance and Evolution: Research and Practice Ageing of a Data-intensive Legacy System: Symptoms and Remedies , 2022 .

[103]  Dewayne E. Perry,et al.  Implications of evolution metrics on software maintenance , 1998, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).

[104]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[105]  S. Klaes ATTAS Ground Based System Simulator - An Update , 2000 .

[106]  Michael Blum,et al.  Design of a Hexapod Motion Cueing System for the NASA Ames Vertical Motion Simulator , 2002 .

[107]  G. C. Vansteenkiste,et al.  Architectures for Simulation Environment , 1989 .

[108]  R. Marshall Smith A Description of the Cockpit Motion Facility and the Research Flight Deck Simulator , 2000 .

[109]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[110]  Ivan Porres,et al.  Model Refactorings as Rule-Based Update Transformations , 2003, UML.

[111]  K.L. Butler-Purry,et al.  Real-Time Simulation using PC-based Kernels , 2006, 2006 IEEE PES Power Systems Conference and Exposition.

[112]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[113]  Anna Perini,et al.  Ontology-based Test Generation for MultiAgent Systems (Short Paper) , 2008 .

[114]  Jez Humble,et al.  Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation , 2010 .

[115]  Lee W. Lacy,et al.  Interchanging discrete event simulation process-interaction models using the web ontology language - OWL , 2005, WSC '05.

[116]  Meir M. Lehman,et al.  On understanding laws, evolution, and conservation in the large-program life cycle , 1984, J. Syst. Softw..

[117]  Lloyd Landry Application of Modeling, Simulation and Labs to the F-35 Program , 2008 .

[118]  Chanchal Kumar Roy,et al.  Comparison and evaluation of code clone detection techniques and tools: A qualitative approach , 2009, Sci. Comput. Program..

[119]  Thorsten Pawletta,et al.  Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames , 2015, SpringSim.

[120]  Asunción Gómez-Pérez,et al.  Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages , 2000 .