Wednesday, November 23, 2016

Modelling and Simulation in Aerospace


















 I would like kindly announce and encourage yourselves to submit papers to the Special Interest Track on Modeling and Simulation in Aerospace that will be held within Workshop ASIM/GI – Fachgrouppentreffen STS/GMMS in Ulm. The workshop is the organized by Simulation of Technical Systems and, Modeling and Simulation Methodologies technical groups of  ASIM, the simulation association for German speaking countries. It takes place annually. The workshop languages are German and English.

Topics
The following is a recommended but not exclusive list of topics:         
  • Modelling and simulation air and space vehicles
    • Real-time simulation
    • Simulation design, development and integration
    • Simulation tools
    • Validation and verification
    • Distributed simulation
    • Hardware-in-the-loop simulation
    • Model-based engineering of aerospace systems
    • Human factors, perception and cueing
    • Multi-disciplinary modelling and simulation (e.g. structural, thermal, aerodynamic)
    • Multi-scale modelling
    Submission Guidelines
    Contributed papers can be short papers with 2-4 pages or full papers with 6-8 pages. They will - if accepted and presented at the conference – appear in symposium proceedings. Authors will also be encouraged to submit an extended English version of their papers to the corresponding “Special Issue in Simulation Notes Europe” (SNE). Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review or submitted to another forum. At least one author of an accepted paper must register for the symposium and must present the paper at the symposium.

    Important Deadlines
    Abstract (1-2 pages) submission  : 09. January 2017
    Notification of Acceptance         : 16. January 2017
    Camera-ready Paper                   : 13. February 2017

    Thursday, September 8, 2016

    Model-based Development of Enhanced Ground Proximity Warning System for Heterogeneous Multi-Core Architectures


    The aerospace domain, very much similar to other cyber-physical systems domains such as automotive or automation, is demanding new methodologies and approaches for increasing performance and reducing cost, while maintaining safety levels and programmability. I am presenting a paper on model-based development of Enhanced Ground Proximity Warning System (EGPWS) for heteregeneous multi-core architectures in ASIM 2016 23. Symposium Simulationstechnik. The work is being carried out within the scope of EU H2020 project ARGO (WCET-Aware Parallelization of Model-Based Applications for Heterogeneous Parallel Systems). This initial publication includes the proposed appoach and systems modeling effort

    Friday, September 2, 2016

    What is your favorite model-driven simulation paper?

    After Andreas Tolk published his "Avoiding another green elephant - a proposal for the next generation HLA based on the model driven architecture" paper in 2002 Fall Simulation Interoperability Workshop, we have to chance read various papers, book chapters even books about application of model-driven practices for the engineering of simulation systems. Almost 15 years after this paper, this year, we are making a dedicated symposium, MOD4SIM, within SpringSim that addresses model-driven approaches to simulation engineering. I would like to kindly invite you to the LinkedIn group that we launched for  MOD4SIM. In this group, I just started a discussion with asking your favorite model-driven simulation papers. Please contribute our discussion with your comments.

    Saturday, July 23, 2016

    Aviation Scenario Definition Language



    The Modeling and Simulation Technologies Conference at AIAA Scitech 2017 will be hosting an Invited Session on Aviation Simulation Scenario Development. Dr. Shafagh Jafer from Embry-Riddle Aeronautical University (ERAU) and myself from German Aerospace Center (DLR) will be chairing this exciting session which will address topics in aviation scenario development including but not limited to: 
    • scenario specification, management and execution
    • scenario tools and languages
    • formal methods for scenario development
    • scenario modeling
    • automated scenario generation, verification, and validation
    • model-driven scenario engineering

    In this session we will have papers and presentation from various research groups around the globe including DLR, ERAU, NASA, NLR, NTSB and ONERA. This invited session will also announce the newly formed Aviation Simulation Scenario Development Working Group (WG) under AIAA Modeling and Simulation Technical Committee. The session will include presentation of the WG charter, invited presentations, and a panel discussion about the WG and possible collaborations among the scenario simulation community.
    Please do not hessitate to contact us, the chairs, for your further questions and inquiries. 

    Wednesday, June 15, 2016

    M&S Technologies Conference in AIAA Aviation 2016

    We are currently in Washington, D.C. for the Modeling and Simulation Technologies Conference in AIAA Aviation 2016. We have three papers that present three recent research directions that we are putting our effort. Dr.Jafers from Embry-Riddle Aeronautical University presented the first one  (Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study) yesterday. It was about Aviation Scenario Definition Language. In this paper we not only present a domain specific language for scenario definition for modeling and simulation in aviation, but also introduce an model-based approach for meta-modeling, scenario model development. The goal is then to utilize model transformation capabilities for executable scenarios. Today I will be presenting the second paper (Flight Simulator Model Integration for Supporting Pilot-in-the-Loop Testing in Model-Based Rotorcraft Design) on model integration in flight simulators. In this paper, we introduce both a tailored model-to-text transformation for Simulink models that address the integration challenges and a simulation framework that enables early desktop model integration to mitigate integration risks. The last one (Running High Level Architecture in Real-Time for Flight Simulator Integration) will be presented tomorrow by Torsten Gerlach. In this one, we investigated the performance of CERTI for flight simulator coupling with a real-time operating system deployment.

    Tuesday, May 17, 2016

    Colloquium: Model Based Testing Approach for Objective Fidelity Evaluation

    Next week I will be offering a colloquium in TU Clausthal Department of Informatics about one of the topics that I worked and published intensively during the last couple of years. This is a collaborative research effort that I conducted with Prof.Dr.Thorsten Pawletta and his research group Computational Engineering and Automation.
    The increasing complexity of the systems entails an increasing complexity of simulation models. Likewise, heterogeneity in system components corresponds to heterogeneous simulation models. Due to the growth of simulation complexity and heterogeneity, large numbers of test cases are required to reach admissible coverage to assure adequate simulation fidelity which is the measure for the conformance of a simulation to the characteristics of the real system that it represents. Objective fidelity evaluation is an engineering approach that attacks the fidelity problem with comparison of simulation and the actual system behavior over some quantitative measures. In order to tackle emerging challenges, adaptability, flexibility and automation can be introduced as the key characteristics of a fidelity evaluation approach that determines its success. Model Based Testing (MBT) will be presented as the enabler to achieve these quality characteristics. Despite the fact that it is widely used in the software testing community, its application in modeling and simulation is quite limited. 
    Model-based methodologies ask for metamodels to express models. Metamodeling on the other hand requires a complete and accurate specification of concepts. Regarding the testing of simulation models as experimentation, the concept of experimental frames (EF) that originates from the Discrete Event System Specification (DEVS) are proposed for formally specifying simulation test models. System Entity Structure (SES) is then promoted for metamodeling. While EF formally specifies a limited set of circumstances under which a model has to be observed, SES can be defined as an ontology with a limited set of elements and axioms that are used to describe various system structures and their configurations. For generating an executable EF, configurable Basic Models (BMs) for objective fidelity evaluation are provided by a Model Base (MB). BMs usually correspond to atomic or coupled models which are used to construct modular, hierarchical models. The SES is represented by a directed and labelled tree with links to BMs in the MB. The proposed MBT approach for the objective fidelity evaluation will first described in detail and then a prototype implementation in MATLAB/Simulink will be introduced. 
    Objective fidelity assessment is a tedious and labor intensive effort also for flight simulators. Yet, in the global standards for qualification of flight training devices, like International Civil Aviation Organization (ICAO) 9625 Manual of Criteria for the Qualification of Flight Training Devices, the set of test cases for objective fidelity evaluation are specified. The root motivation of this effort was to attack objective fidelity evaluation of flight dynamics models that have been developed in German Aerospace Center (DLR). Accordingly, I will be presenting a case study from flight simulation domain and discussing anecdotal evidences about the pros and cons of the proposed approached based on this case study.

    Edit:
    The video footage of the colloquium is available in this link.

    Thursday, April 14, 2016

    After the 2016 Spring Simulation Multi-Conference

    The 2016 Spring Simulation Multi-Conference has been held from the 3rd to the 5th of April in Pasadena, California. Pasadena itself is a great place for science with NASA JPL and Caltech. It was very nice to have one of our main simulation conferences at the doorsteps of these two well know organizations.
    The conference started on Sunday with Tutorials. Dr.Ross Gore made a great job to collect more than interesting five topics for the tutorials. My favourite was the first one from Yentl Van Tendeloo on Devs Modelling and Simulation. Monday we started with a plenary talk from Stephan D. Wall from NASA JPL on Model-Based Space Exploration. It was an interesting presentation for me, having the core research focus on model-based methodologies in modelling and simulation, to hear how model-based methodologies are utilized for new space exploration projects.
    Other than co-chairing the proceedings team, I contributed the conference in two directions. We organized a special interest track on Ontologies in Modeling and Simulation within Annual Simulation Symposium (ANSS) with Prof.Dr.Thorsten Pawletta. Additionally, I supported Prof.Dr. Andrea D'Ambrogio as the co-chair for 6th International Workshop on Model-driven Approaches for Simulation Engineering (MOD4SIM). Both were interesting and successful. In ontology track we had 3 papers. I presented Towards an Ontology for Simulation Systems Engineering that we prepared with Prof.Dr.Tuncer Ă–ren. In this paper, we stressed that the synergy between the simulation and systems engineering is leading us towards simulation based systems engineering and systems engineering based simulation, or shortly simulation systems engineering. Based on IEEE Recommended Practice for Distributed Simulation Engineering and Execution Process (DSEEP), we propose an ontology for simulation systems engineering to create a common understanding. The other two papers on the track were Ontology-Driven Data Input Optimization from Markus Brandmeier and his colleagues and Extended Variability Modeling Using System Entity Structure Ontology within MATLAB/Simulink from Prof.Dr.Thorsten Pawleta, Artur Schmidt, Prof.Dr.Bernard Zeigler and myself. In this paper we proposed SES/MB for variability management towards simulation product lines.
    In MOD4SIM, we had 6 papers in two sessions all of which lead to very fruitful discussions.  Two headlines were Prof.Dr.Hans Vangheluwe presenting Modular Design of Hybrid languages by Explicit Modeling of Semantic Adoptations and Hamzat Olanrewaju Aliyu presenting Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap. Here, I presented our work with Turkish Aerospace Industries, Inc., on utilizing causal block diagrams to model simulation deployment process for various targets in order to create MATLAB/Simulink blockset for automating simulation deployment. The name of the paper was Simulation Deployment Blockset for MATLAB/Simulink.

    Sunday, March 13, 2016

    Modeling and Simulation in Aviation




    Aligned with the plenary talk that I mentioned in my previous post, we are organizing a special interest track in ASIM 2016 that will be conducted in September in Dresden. Since decades, the philosophy of modelling and simulation is widely employed in the aviation community. The applications cover a wide range from modelling small sub systems up to developing large flight simulators. New standards, techniques and methodologies have been developed to tackle the complexity of problems and solve the challenges of tomorrow. Now, this Special Interest Track endeavours to establish a platform under the umbrella of ASIM to share modelling and simulation efforts from the aviation community. I would like to encouraged authors to submit papers as applied to the fields of aviation and aerospace systems. The following is a recommended but not exclusive list of topics:

    • Modelling and simulation air vehicles
    • Flight simulators
    • Air traffic simulation
    • Simulation tools 
    • Validation and verification 
    • Model integration
    • Distributed simulation 
    • Hardware-in-the-loop simulation

    Model-based engineering of aviation and aerospace systems
    Contributed papers can be short papers with 2-4 pages or full papers with 6-8 pages. They will be peer reviewed and – if accepted and presented at the conference – appear in symposium proceedings. The important dates are as follows:
    • Abstract (1-2 pages) submission: 08. May 2016 
    • Notification of Acceptance: 06. June 2016 
    • Camera-ready Paper: 24. July 2016
    • Symposium Date: 7. – 9. September 2016
    Please do not hasitate to contact me for further details.

    Wednesday, March 9, 2016

    Flight Simulation for Tomorrow's Aviation

    ASIM(Arbeitsgemeinschaft Simulation) is association for simulation community in German speaking nations. It has various sub-groups two of which are GMMS (Grundlagen und Methoden in Modellbildung und Simulation), dealing with the fundementals and methodologies of modeling and simulation, and STS (Simulation Technischer Systeme) which is working on simulation of technical systems. These two groups are historically share (almost) the same community. I am also trying my best to contribute them. Each year we make a two-days workshop in which we meet around 100 people and present each other what we are doing. This year, we are meeting in Lippstadt. Therefore I am here in this beautiful small German town. 
    This year, apart from two papers that I contributed, I will be supporting the workshop with a plenary talk. The title of my talk will be "Flight Simulation for Tomorrow's Aviation".  Flight simulators have been operated within the aeronautics community for human factor studies and flight systems development for the last half century. They are virtual test beds, to evaluate concepts, conduct pilot-in-the-loop experiments and collect valuable user experience data. The German Aerospace Center (DLR) Institute of Flight Systems is involved in developing and employing research flight simulators for more than 40 years. The first generation ground based simulator of DLR was built for the HFB 320 FLISI in 1970s. The ground based simulators for ATTAS and ACT/FHS EC135 were later introduced as the second generation. The development of these simulators started at 1980s and they have been used until 2010s. In 2009, DLR Institute of Flight Systems commissioned a next generation reconfigurable research flight simulator, called the Air Vehicle Simulator (AVES) in order to address the research requirements for tomorrow’s aviation. AVES has been operational since 2013 with its two cockpit infrastructures: an Airbus A320 and an Airbus Helicopters EC135. To date, various research projects have been carried out in AVES. Two of them that will be introduced in this talk as examples are Manual Operation of 4th Generation Airliners (MAN4GEN) and Enabling Technologies for Personal Air Transportation System (myCopter)
    As an important difference from commercial flight simulators, research flight simulators require high flexibility and adaptability in almost all aspects from flight systems and flight dynamics models to cockpit displays or control loading systems. Therefore, flexibility and adaptability inspired the overall simulator software design. Accordingly, 2Simulate, the real-time distributed simulation infrastructure of AVES, is being empowered by recent simulation engineering research activities that target at enhanced composability and interoperability. After a gentle introduction of 2Simulate, this talk will present a collection of these recent efforts that enable model integration at various levels. The 2Simulate Modeling Language effort proposes an Application Programming Interface for C++ model development. With Simulink Coder™ 2Simulate Generic Real-time Target; code generation for MATLAB/Simulink models is tailored for AVES. Moreover, the MATLAB/Simulink 2Simulate Toolbox that is currently being developed intends to accommodate AVES users with model-in-the-loop testing capabilities. Through 2Simulate Functional Mock-up Interface (FMI) Support, we are aiming at a FMI integration pipeline in AVES. Finally, 2Simulate High Level Architecture (HLA) Support endeavors providing capabilities for creating and joining HLA federations based on AviationSimNet Federation Object Model (FOM) in AVES. 

    Sunday, February 21, 2016

    Distributed Simulation - A Model Driven Engineering Approach

    We are so excited! The authors of this blog, Okan and I, together with Halit Oguztuzun and Levent Yilmaz, have written a new book, which seems to be the first book on distributed simulation that presents a model-driven engineering approach. We hope that you will like it. Distributed Simulation – A Model Driven Engineering Approach
    In 2002 Andreas Tolk started the discussion with his paper Avoiding another Green Elephant - A Proposal for the Next Generation HLA based on the Model Driven Architecture.  He claimed that the MDA will influence the future of simulation, and it did.  Since then, we, the modelling and simulation community, have been working hard to investigate, develop and employ model-driven methodologies for the engineering of simulation systems. The second milestone to mention here is surely 2011 when Andrea D'Ambrogio started organizing the International Workshop on Model-Driven Approaches for Simulation Engineering (Mod4Sim). This year, Andrea and I are organizing  it for the sixth time. 

    In this book we try to demonstrate the utility and effectiveness of model-driven approaches in developing distributed simulations. We start with summarizing the foundations of model-driven engineering and High Level Architecture (HLA). Then, making use of IEEE 1730 -2010, Recommended Practice for Distributed Simulation Engineering and Execution Process (DSEEP), we are introducing the steps of distributed simulation engineering with promoting model-driven methodologies. We are not only providing application hints for practitioners but also addressing some research directions for the research community. We refer a wide range of concepts, technologies and methodologies from the model-driven world. There are various examples that we employ metamodeling, model transformations, code generation, model-based testing, model refactoring, EMF, ECORE; ATL, QVT, KDM, MoDisco and many others. With this book, we hope, we can help boosting the interest about model-driven methodologies in simulation and simulator engineering community.