A Framework for Rapid Configuration of Collaborative Aviation System-of-Systems Simulations

We propose a model-based framework to specify, integrate, and verify heterogeneous Software Integration Lab and System of Systems (SoS) simulations that include unmanned aviation mission systems during the early development and evaluation phases. This approach would bridge the currently separated development and test/training domains. We propose a tool suite for Rapid Configuration of Collaborative Aviation SoS Simulations (RCAS3.) This will provide a seamless plug-and-play framework that is highly adaptive and configurable while providing model transformation mechanisms to easily interface with High Level Architecture or other federated simulation protocols. RCAS3 will be built around already existing technologies: Aviation Scenario Definition Language Modeling, Discrete Event System Specification, and System Entity Structure implemented in RTSync’s MS4 Me. These will be augmented with an Architecture Analysis and Design Language (AADL)-based configuration and behavior analysis suite. This paper presents RCAS3 framework architecture and its underlying concepts.

[1]  José Luis Risco-Martín,et al.  Model-driven systems engineering for netcentric system of systems with DEVS unified process , 2013, 2013 Winter Simulations Conference (WSC).

[2]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[3]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[4]  Thorsten Pawletta,et al.  Extended variability modeling using system entity structure ontology within MATLAB/Simulink , 2016, SpringSim.

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

[6]  Andreas Pommert,et al.  A "Virtual Body" Model for Surgical Education and Rehearsal , 1996, Computer.

[7]  James J. Nutaro,et al.  Building Software for Simulation: Theory and Algorithms, with Applications in C++ , 2010 .

[8]  Umut Durak,et al.  Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study , 2016 .

[9]  Bernard P. Zeigler,et al.  Towards a framework for more robust validation and verification of simulation models for systems of systems , 2016 .

[10]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[11]  Osman Balci,et al.  A life cycle for modeling and simulation , 2012, Simul..

[12]  Hessam S. Sarjoughian,et al.  Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach , 2004, Simul..

[13]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[14]  H. Vangheluwe.  DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[15]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[17]  Umut Durak,et al.  Graphical Specification of Flight Scenarios with Aviation Scenario Defintion Language (ASDL) , 2017 .

[18]  Jordi Cabot,et al.  A Catalogue of Refactorings for Model-to-Model Transformations , 2012, J. Object Technol..

[19]  Bernard P. Zeigler,et al.  System Entity Structure Basics , 2013 .

[20]  Frank Budinsky,et al.  Eclipse modeling framework : a developer's guide , 2004 .

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

[22]  Jan Hodický.  HLA as an Experimental Backbone for Autonomous System Integration into Operational Field , 2014, MESAS.

[23]  Jordi Cabot,et al.  MoDisco: a generic and extensible framework for model driven reverse engineering , 2010, ASE.

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

[25]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.