Skip to main content
Top

2018 | OriginalPaper | Chapter

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

Authors : Shafagh Jafer, Bernard Zeigler, Doohwan D. H. Kim

Published in: Modelling and Simulation for Autonomous Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Balci, O.: A life cycle for modeling and simulation. Simulation 88(7), 870–883 (2012)CrossRef Balci, O.: A life cycle for modeling and simulation. Simulation 88(7), 870–883 (2012)CrossRef
3.
go back to reference Barhorst, J., Belote, T., Binns, P., Hoffman, J., Paunicka, J., Sarathy, P., Scoredos, J., Stanfill, P., Stuart, D., Russell, U.: A research agenda for mixed-criticality systems. In: Cyber-Physical Systems Week (2009) Barhorst, J., Belote, T., Binns, P., Hoffman, J., Paunicka, J., Sarathy, P., Scoredos, J., Stanfill, P., Stuart, D., Russell, U.: A research agenda for mixed-criticality systems. In: Cyber-Physical Systems Week (2009)
4.
go back to reference Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco: a generic and extensible framework for model driven reverse engineering. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (2010) Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco: a generic and extensible framework for model driven reverse engineering. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (2010)
5.
go back to reference Budinsky, F.: Eclipse Modeling Framework: A Developer’s Guide. Addison-Wesley Professional, Boston (2004) Budinsky, F.: Eclipse Modeling Framework: A Developer’s Guide. Addison-Wesley Professional, Boston (2004)
7.
go back to reference Federal Aviation Administration. AFS Flight Program Flight Operations Manual Federal Aviation Administration. AFS Flight Program Flight Operations Manual
8.
go back to reference Grange, F.E., Jacobs, A., Prouhet, R., Thengvall, B.: Modeling, simulation and analysis of “unknown unknowns” with simulation optimization. In: Proceedings of the 80th Symposium. Colorado Springs: Military Operations Research Society (2012) Grange, F.E., Jacobs, A., Prouhet, R., Thengvall, B.: Modeling, simulation and analysis of “unknown unknowns” with simulation optimization. In: Proceedings of the 80th Symposium. Colorado Springs: Military Operations Research Society (2012)
10.
go back to reference Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River, New Jersey (1985)MATH Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River, New Jersey (1985)MATH
11.
go back to reference Jafer, S., Chhaya, B., Durak, U., Gerlach, T.: Formal scenario definition language for aviation: aircraft landing case study. In: AIAA Modeling and Simulation Technologies Conference, p. 3521 (2016) Jafer, S., Chhaya, B., Durak, U., Gerlach, T.: Formal scenario definition language for aviation: aircraft landing case study. In: AIAA Modeling and Simulation Technologies Conference, p. 3521 (2016)
12.
go back to reference Jafer, S., Chhaya, B., Durak, U.: Graphical specification of flight scenarios with aviation scenario defintion language (ASDL). In: AIAA Modeling and Simulation Technologies Conference, p. 1311 (2017) Jafer, S., Chhaya, B., Durak, U.: Graphical specification of flight scenarios with aviation scenario defintion language (ASDL). In: AIAA Modeling and Simulation Technologies Conference, p. 1311 (2017)
13.
go back to reference Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), pp. 255–299 (1990) Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), pp. 255–299 (1990)
14.
go back to reference Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)CrossRefMATH Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)CrossRefMATH
15.
go back to reference Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River, New Jersey (1989)MATH Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River, New Jersey (1989)MATH
16.
go back to reference Mital, S., Risco Martin, J.L.: Netcentric System of Systems Engineering with DEVS Unified Process. CRC Press, Boca Raton (2013) Mital, S., Risco Martin, J.L.: Netcentric System of Systems Engineering with DEVS Unified Process. CRC Press, Boca Raton (2013)
17.
go back to reference Nutaro, J.: Building Software for Simulation: Theory and Algorithms with applications in C++. Wiley, Hoboken (2011)MATH Nutaro, J.: Building Software for Simulation: Theory and Algorithms with applications in C++. Wiley, Hoboken (2011)MATH
18.
go back to reference Nutaro, J., Sarjoughian, H.S.: Design of distributed simulation environments: a unified system-theoretic and logical processes approach. Simulation 80(11), 577–589 (2004)CrossRef Nutaro, J., Sarjoughian, H.S.: Design of distributed simulation environments: a unified system-theoretic and logical processes approach. Simulation 80(11), 577–589 (2004)CrossRef
20.
go back to reference Pawletta, T., Schmidt, A., Zeigler, B.P., Durak, U.: Extended variability modeling using system entity structure ontology within MATLAB/simulink. In: Proceedings SCS International SpringSim/ANSS 2016, Pasadena, CA, USA, SCS, pp. 62–69 (2016) Pawletta, T., Schmidt, A., Zeigler, B.P., Durak, U.: Extended variability modeling using system entity structure ontology within MATLAB/simulink. In: Proceedings SCS International SpringSim/ANSS 2016, Pasadena, CA, USA, SCS, pp. 62–69 (2016)
22.
go back to reference Seo, C., Zeigler, B.P., Coop, R., Kim, D.: DEVS modeling and simulation methodology with MS4 Me software tool. In: Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative M&S Symposium, p. 33. Society for Computer Simulation International (2013) Seo, C., Zeigler, B.P., Coop, R., Kim, D.: DEVS modeling and simulation methodology with MS4 Me software tool. In: Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative M&S Symposium, p. 33. Society for Computer Simulation International (2013)
23.
go back to reference Schmidt, D.C.: Model-driven engineering. IEEE Comput. 29(2), 25–31 (2006)CrossRef Schmidt, D.C.: Model-driven engineering. IEEE Comput. 29(2), 25–31 (2006)CrossRef
24.
go back to reference SISO Base Object Model Product Development Group. Base Object Model (BOM) Template. Simulation Interoperability Standards Organization, Orlando (2006) SISO Base Object Model Product Development Group. Base Object Model (BOM) Template. Simulation Interoperability Standards Organization, Orlando (2006)
25.
go back to reference Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Softw. (ERTS) 781, 54–59 (2006) Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Softw. (ERTS) 781, 54–59 (2006)
26.
go back to reference Vangheluwe, H.L.M.: DEVS as a common denominator for multi-formalism hybrid systems modeling. In: Proceedings for the 2000 IEEE International Symposium on Computer-aided Control System Design, Alaska, USA (2000) Vangheluwe, H.L.M.: DEVS as a common denominator for multi-formalism hybrid systems modeling. In: Proceedings for the 2000 IEEE International Symposium on Computer-aided Control System Design, Alaska, USA (2000)
27.
go back to reference Volter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2006) Volter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2006)
28.
go back to reference Wimmer, M., Perez, S.M., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 2:1–40 (2012) Wimmer, M., Perez, S.M., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 2:1–40 (2012)
29.
go back to reference Zeigler, B.P.: Theory of Modeling and Simulation, 1st edn. Wiley Interscience, New York (1976)MATH Zeigler, B.P.: Theory of Modeling and Simulation, 1st edn. Wiley Interscience, New York (1976)MATH
30.
go back to reference Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, New York (1984)MATH Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, New York (1984)MATH
32.
go back to reference Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, San Diego (2000)MATH Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, San Diego (2000)MATH
33.
go back to reference Zeigler, B.P., Hammonds, P.E.: Modeling and Simulation-based Data Engineering: Introducing Pragmatics into Ontologies for Netcentric Information Exchange. Academic Press, San Diego (2007) Zeigler, B.P., Hammonds, P.E.: Modeling and Simulation-based Data Engineering: Introducing Pragmatics into Ontologies for Netcentric Information Exchange. Academic Press, San Diego (2007)
34.
go back to reference Zeigler, B.P.: Multifaceted Modelling and Discrete Event Simulation. Academic Press, San Diego (1984)MATH Zeigler, B.P.: Multifaceted Modelling and Discrete Event Simulation. Academic Press, San Diego (1984)MATH
Metadata
Title
A Framework for Rapid Configuration of Collaborative Aviation System-of-Systems Simulations
Authors
Shafagh Jafer
Bernard Zeigler
Doohwan D. H. Kim
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-76072-8_7

Premium Partner