Skip to main content

2016 | OriginalPaper | Buchkapitel

9. Implementation, Integration, and Testing

verfasst von : Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz

Erschienen in: Distributed Simulation

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Implementation can be introduced as one of the important steps of simulation engineering in which all the concepts and ideas, abstracted as models, are transformed to an executable form. MDE had a major effect on the practices of this step. Models became the major artifacts for implementation. MDE proposed that model development and code generation replace the traditional coding practices. This also disrupted and changed the other major implementation practices like static code analysis, integration, and testing. As models are regarded as the major artifacts, the model development is pronounced as the major activity. Guidelines have been developed for increasing the readability and maintainability of the simulation models and the efficiency and performance of the generated code. Along with them, methods and techniques have been developed for model checking and repair. Advancements in model-to-text transformation enabled effective and flexible code generation. Integration requirements could then be attacked by retargeting the code generator for particular platforms. In the same vein, model-based testing (MBT) introduced generation of executable test cases from a model. This chapter explains the activities of implementation that have been changing with introduction of MDE. These activities include model development, model checking, code generation and integration, and testing. These activities are first explained and introduced with examples from an off-the-shelf modeling and simulation environment, and then a recent methodology research on that particular activity is presented.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
Zurück zum Zitat Amelunxen, C., Legros, E., Schürr, A., & Stürmer, I. (2008). Checking and enforcement of modeling guidelines with graph transformations. In Applications of graph transformations with industrial relevance (pp. 313–328). Berlin: Springer. Amelunxen, C., Legros, E., Schürr, A., & Stürmer, I. (2008). Checking and enforcement of modeling guidelines with graph transformations. In Applications of graph transformations with industrial relevance (pp. 313–328). Berlin: Springer.
Zurück zum Zitat Astrom, K., & Wittenmark, B. (1984). Computer controlled systems: Theory and design. Englewood Cliffs: Prentice Hall. Astrom, K., & Wittenmark, B. (1984). Computer controlled systems: Theory and design. Englewood Cliffs: Prentice Hall.
Zurück zum Zitat Brambilla, M., Cabot, J., & Wimmer, M. (2012). Model-driven software engineering in practice. San Rafael: Morgan & Claypool Publishers. Brambilla, M., Cabot, J., & Wimmer, M. (2012). Model-driven software engineering in practice. San Rafael: Morgan & Claypool Publishers.
Zurück zum Zitat Campbell, S., Chancelier, J., & Nikaukhah, R. (2006). Modeling and simulation in scilab/scicos. New York: Springer.MATH Campbell, S., Chancelier, J., & Nikaukhah, R. (2006). Modeling and simulation in scilab/scicos. New York: Springer.MATH
Zurück zum Zitat Czarnecki, K., & Helsen, S. (2003). Classification of model transformation approaches. In Proceedings of OOPSLA’03 workshop on generative techniques in context of model driven architecture. Anaheim: ACM. Czarnecki, K., & Helsen, S. (2003). Classification of model transformation approaches. In Proceedings of OOPSLA’03 workshop on generative techniques in context of model driven architecture. Anaheim: ACM.
Zurück zum Zitat Czarnecki, K., & Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3), 621–645.CrossRef Czarnecki, K., & Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3), 621–645.CrossRef
Zurück zum Zitat Denckla, B., & Mosterman, P. (2005). Formalizing causal block diagrams for modeling a class of hybrid dynamic systems. In Proceedings of 44th IEEE conference on decision and control and the European control conference. Seville: IEEE. Denckla, B., & Mosterman, P. (2005). Formalizing causal block diagrams for modeling a class of hybrid dynamic systems. In Proceedings of 44th IEEE conference on decision and control and the European control conference. Seville: IEEE.
Zurück zum Zitat Denil, J., Mosterman, P., & Vangheluwe, H. (2014). Rule-based model transformations for and in Simulink. Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative (pp. 314–421). San Diago: SCS. Denil, J., Mosterman, P., & Vangheluwe, H. (2014). Rule-based model transformations for and in Simulink. Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative (pp. 314–421). San Diago: SCS.
Zurück zum Zitat Durak, U. (2015). Pragmatic model transformations for refactoring in Scilab/Xcos. International Journal of Modeling, Simulation, and Scientific Computing. doi:10.1142/S1793962315410044 Durak, U. (2015). Pragmatic model transformations for refactoring in Scilab/Xcos. International Journal of Modeling, Simulation, and Scientific Computing. doi:10.​1142/​S179396231541004​4
Zurück zum Zitat Durak, U., Schmidt, A., & Pawletta, T. (2014). Ontology for objective flight simulator fidelity evaluation. Simulation Notes Europe, 24(2), 69–78. Durak, U., Schmidt, A., & Pawletta, T. (2014). Ontology for objective flight simulator fidelity evaluation. Simulation Notes Europe, 24(2), 69–78.
Zurück zum Zitat Durak, U., Schmidt, A., & Pawletta, T. (2015). Model-based testing for objective fidelity evaluation of engineering and research flight simulators. In AIAA modeling and simulation technologies conference. Dallas: AIAA. Durak, U., Schmidt, A., & Pawletta, T. (2015). Model-based testing for objective fidelity evaluation of engineering and research flight simulators. In AIAA modeling and simulation technologies conference. Dallas: AIAA.
Zurück zum Zitat ESA. (2005a). SMP 2.0 C++ mapping. Paris: European Space Agency. ESA. (2005a). SMP 2.0 C++ mapping. Paris: European Space Agency.
Zurück zum Zitat ESA. (2005b). SMP 2.0 component model. Paris: European Space Agency. ESA. (2005b). SMP 2.0 component model. Paris: European Space Agency.
Zurück zum Zitat ESA. (2005c). SMP 2.0 handbook. Paris: European Space Agency. ESA. (2005c). SMP 2.0 handbook. Paris: European Space Agency.
Zurück zum Zitat ESA. (2005d). SMP 2.0 metamodel. Paris: European Space Agency. ESA. (2005d). SMP 2.0 metamodel. Paris: European Space Agency.
Zurück zum Zitat Farkas, T., Hein, C., & Ritter, T. (2006). Automatic evaluation of modelling rules and design guidelines. In Proceedings of the 2. workshop “From code centric to model centric software engineering: practices, implications and ROI”. Bilboa: ESI. Farkas, T., Hein, C., & Ritter, T. (2006). Automatic evaluation of modelling rules and design guidelines. In Proceedings of the 2. workshop “From code centric to model centric software engineering: practices, implications and ROI”. Bilboa: ESI.
Zurück zum Zitat Frankel, D. (2003). Model driven architecture: Applying MDA to enterprise computing. New York: Wiley. Frankel, D. (2003). Model driven architecture: Applying MDA to enterprise computing. New York: Wiley.
Zurück zum Zitat Gerlach, T., Durak, U., & Gotschlich, J. (2014). Model integration workflow for keeping models up to date in a research simulator. In Proceedings of 2014 International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) (pp. 125–132). Vienna: SCITEPRESS. Gerlach, T., Durak, U., & Gotschlich, J. (2014). Model integration workflow for keeping models up to date in a research simulator. In Proceedings of 2014 International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) (pp. 125–132). Vienna: SCITEPRESS.
Zurück zum Zitat Giese, H., Meyer, M., & Wagner, R. (2006). A prototype guideline checking and model transformations in MATLAB/Simulink. In Proceedings of the 4th international Fujaba Days (pp. 56–60). Bayreuth: University of Bayreuth. Giese, H., Meyer, M., & Wagner, R. (2006). A prototype guideline checking and model transformations in MATLAB/Simulink. In Proceedings of the 4th international Fujaba Days (pp. 56–60). Bayreuth: University of Bayreuth.
Zurück zum Zitat Gotschlich, J., Gerlach, T., & Durak, U. (2014). 2Simulate: A distributed real-time simulation framework. Workshop der ASIM/GI-Fachgruppen STS und GMMS. Reutlingen: ARGESIM. Gotschlich, J., Gerlach, T., & Durak, U. (2014). 2Simulate: A distributed real-time simulation framework. Workshop der ASIM/GI-Fachgruppen STS und GMMS. Reutlingen: ARGESIM.
Zurück zum Zitat Henry, J. (2011). Orion GN&C MATLAB/Simulink standards. Houston: NASA. Henry, J. (2011). Orion GN&C MATLAB/Simulink standards. Houston: NASA.
Zurück zum Zitat Hollmann, D., Cristia, M., & Frydman, C. (2012). Adapting model-based testing techniques to DEVS models validation. In Proceedings of the 2012 symposium of theory of modeling and simulation – DEVS integrative. San Diego: SCS. Hollmann, D., Cristia, M., & Frydman, C. (2012). Adapting model-based testing techniques to DEVS models validation. In Proceedings of the 2012 symposium of theory of modeling and simulation – DEVS integrative. San Diego: SCS.
Zurück zum Zitat IEEE. (2008). Systems and software engineering – Software life cycle processes. IEEE SA - 12207-2008. New York: IEEE. IEEE. (2008). Systems and software engineering – Software life cycle processes. IEEE SA - 12207-2008. New York: IEEE.
Zurück zum Zitat IEEE. (2010). IEEE recommended practice for Distributed Simulation Engineering and Execution Process (DSEEP). IEEE Std 1730-2010. New York: IEEE. IEEE. (2010). IEEE recommended practice for Distributed Simulation Engineering and Execution Process (DSEEP). IEEE Std 1730-2010. New York: IEEE.
Zurück zum Zitat Klee, H., & Allen, R. (2011). Simulation of dynamic systems with MATLAB and Simulink. Boca Raton: CRC Press.MATH Klee, H., & Allen, R. (2011). Simulation of dynamic systems with MATLAB and Simulink. Boca Raton: CRC Press.MATH
Zurück zum Zitat Kleppe, A., Warmer, J., & Bast, W. (2003). MDA explained: The model driven architecture: Practice and promise (1st ed.). Boston: Addison-Wesley Professional. Kleppe, A., Warmer, J., & Bast, W. (2003). MDA explained: The model driven architecture: Practice and promise (1st ed.). Boston: Addison-Wesley Professional.
Zurück zum Zitat Lee, C., & Friedman, J. (2013). Requirements modeling and automated requirements-based test generation. SAE International Journal of Aerospace, 6(2), 607–615.CrossRef Lee, C., & Friedman, J. (2013). Requirements modeling and automated requirements-based test generation. SAE International Journal of Aerospace, 6(2), 607–615.CrossRef
Zurück zum Zitat Legros, E., Amelunxen, C., Klar, F., & Schürr, A. (2009). Generic and reflective graph transformations for checking and enforcement of modeling guidelines. Journal of Visual Languages & Computing, 20(4), 252–268.CrossRef Legros, E., Amelunxen, C., Klar, F., & Schürr, A. (2009). Generic and reflective graph transformations for checking and enforcement of modeling guidelines. Journal of Visual Languages & Computing, 20(4), 252–268.CrossRef
Zurück zum Zitat MathWorks Automotive Advisory Board. (2015). MathWorks® automotive advisory board control algorithm modeling guidelines using MATLAB®, Simulink®, and Stateflow®. Natick: The MathWorks, Inc. MathWorks Automotive Advisory Board. (2015). MathWorks® automotive advisory board control algorithm modeling guidelines using MATLAB®, Simulink®, and Stateflow®. Natick: The MathWorks, Inc.
Zurück zum Zitat Mellor, S., & Balcer, M. (2002). Executable UML: A foundation for model-driven architecture (1st edn.). Boston: Addison-Wesley Professional. Mellor, S., & Balcer, M. (2002). Executable UML: A foundation for model-driven architecture (1st edn.). Boston: Addison-Wesley Professional.
Zurück zum Zitat Modelica Association. (2014). Functional mock-up interface for model exchange and co-simulation. Linköping: Modelica Association. Modelica Association. (2014). Functional mock-up interface for model exchange and co-simulation. Linköping: Modelica Association.
Zurück zum Zitat Modelon, A. B. (2015). FMI toolbox user’s guide. Lund: Modelon AB. Modelon, A. B. (2015). FMI toolbox user’s guide. Lund: Modelon AB.
Zurück zum Zitat Nickel, U., Niere, J., & Zündorf, A. (2000). Tool demonstration: The Fujaba environment. In Proceedings of the 22nd International Conference on Software Engineering (ICSE) (pp. 742–745). Limerick: ACM Press. Nickel, U., Niere, J., & Zündorf, A. (2000). Tool demonstration: The Fujaba environment. In Proceedings of the 22nd International Conference on Software Engineering (ICSE) (pp. 742–745). Limerick: ACM Press.
Zurück zum Zitat Pastor, O., & Molina, J. (2007). Model-driven architecture in practice: A software production environment based on conceptual modeling. Secaucus: Springer. Pastor, O., & Molina, J. (2007). Model-driven architecture in practice: A software production environment based on conceptual modeling. Secaucus: Springer.
Zurück zum Zitat Pawletta, T., Pascheka, D., Schmidt, A., & Pawletta, S. (2014). Ontology-assisted system modeling and simulation within MATLAB/Simulink. Simulation Notes Europe, 24(2), 59–68. Pawletta, T., Pascheka, D., Schmidt, A., & Pawletta, S. (2014). Ontology-assisted system modeling and simulation within MATLAB/Simulink. Simulation Notes Europe, 24(2), 59–68.
Zurück zum Zitat Schmidt, A., Durak, U., Rasch, C., & Pawletta, T. (2015). Model-based testing approach for MATLAB/Simulink using system entity structure and experimental frames. In Proceedings of symposium on theory of modeling and simulation ’15. Alexandria: SCS. Schmidt, A., Durak, U., Rasch, C., & Pawletta, T. (2015). Model-based testing approach for MATLAB/Simulink using system entity structure and experimental frames. In Proceedings of symposium on theory of modeling and simulation ’15. Alexandria: SCS.
Zurück zum Zitat Steinberg, D., Budinsky, F., Paternostro, M., & Merks, E. (2009). EMF: Eclipse modeling framework (2nd ed.). Boston: Pearson Education, Inc. Steinberg, D., Budinsky, F., Paternostro, M., & Merks, E. (2009). EMF: Eclipse modeling framework (2nd ed.). Boston: Pearson Education, Inc.
Zurück zum Zitat Stürmer, I., & Travkin, D. (2007). Automated transformation of MATLAB Simulink and Stateflow Models. In Proceedings of 4th workshop on object-oriented modeling of real-time embedded systems (pp. 57–62). Padeborn: University of Paderborn. Stürmer, I., & Travkin, D. (2007). Automated transformation of MATLAB Simulink and Stateflow Models. In Proceedings of 4th workshop on object-oriented modeling of real-time embedded systems (pp. 57–62). Padeborn: University of Paderborn.
Zurück zum Zitat Stürmer, I., Kreuz, I., Schäfer, W., & Schürr, A. (2007). The MATE approach: Enhanced Simulink and stateflow model transformations. In Proceedings of mathworks automative conference. Dearborn: Mathworks, Inc. Stürmer, I., Kreuz, I., Schäfer, W., & Schürr, A. (2007). The MATE approach: Enhanced Simulink and stateflow model transformations. In Proceedings of mathworks automative conference. Dearborn: Mathworks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2006). Simulink® verification and validation release notes, V1.1.2 (R2006a). Natick: The MathWorks, Inc. The MathWorks, Inc. (2006). Simulink® verification and validation release notes, V1.1.2 (R2006a). Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015a). Simulink® Coder™ getting started guide. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015a). Simulink® Coder™ getting started guide. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015b). Simulink® Coder™ target language compiler. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015b). Simulink® Coder™ target language compiler. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015c). Simulink® Coder™ user’s guide. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015c). Simulink® Coder™ user’s guide. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015d). Simulink® getting started guide. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015d). Simulink® getting started guide. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015e). Simulink® reference. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015e). Simulink® reference. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015f). Simulink® user guide. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015f). Simulink® user guide. Natick: The MathWorks, Inc.
Zurück zum Zitat The MathWorks, Inc. (2015g). Simulink® Verification and Validation™ user’s guide. Natick: The MathWorks, Inc. The MathWorks, Inc. (2015g). Simulink® Verification and Validation™ user’s guide. Natick: The MathWorks, Inc.
Zurück zum Zitat Tran, Q., Wilmes, B., & Dziobek, C. (2013). Refactoring of Simulink diagrams via composition of transformation steps. In Proceedings of 8th international conference on software engineering advances (pp. 140–145). Venice: IARIA XPS Press. Tran, Q., Wilmes, B., & Dziobek, C. (2013). Refactoring of Simulink diagrams via composition of transformation steps. In Proceedings of 8th international conference on software engineering advances (pp. 140–145). Venice: IARIA XPS Press.
Zurück zum Zitat Utting, M., & Legeard, M. (2007). Practical model-based testing (1st ed.). San Francisco: Morgen Kaufmann Publishers, Inc. Utting, M., & Legeard, M. (2007). Practical model-based testing (1st ed.). San Francisco: Morgen Kaufmann Publishers, Inc.
Zurück zum Zitat Watt, A. (2005). Beginning regular expressions. Indianapolis: Wiley. Watt, A. (2005). Beginning regular expressions. Indianapolis: Wiley.
Zurück zum Zitat Yilmaz, F., Durak, U., Taylan, K., & Oguztuzun, H. (2014). Adapting functional mockup units for HLA-compliant distributed simulation. In Proceedings of the 10th International Modelica Conference. Lund: Linköping University Press. Yilmaz, F., Durak, U., Taylan, K., & Oguztuzun, H. (2014). Adapting functional mockup units for HLA-compliant distributed simulation. In Proceedings of the 10th International Modelica Conference. Lund: Linköping University Press.
Zurück zum Zitat Zander, J., Schieferdecker, I., & Mostermann, P. (2012). Model-based testing for embedded systems. Boca Raton: CRC Press Taylor & Francis Group. Zander, J., Schieferdecker, I., & Mostermann, P. (2012). Model-based testing for embedded systems. Boca Raton: CRC Press Taylor & Francis Group.
Zurück zum Zitat Zander-Nowicka, J. (2008). Model-based testing of real-time embedded systems in the automotive domain. Berlin: Technical University Berlin. Zander-Nowicka, J. (2008). Model-based testing of real-time embedded systems in the automotive domain. Berlin: Technical University Berlin.
Zurück zum Zitat Zander-Nowicka, J., Schieferdecker, I., & Farkas, T. (2006). Derivation of executable test models from embedded system models using model driven architecture artefacts – automotive domain. In Tagungsband Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetteter Systeme II (pp. 131–140). Braunschweig: Technische Universität Braunschweig. Zander-Nowicka, J., Schieferdecker, I., & Farkas, T. (2006). Derivation of executable test models from embedded system models using model driven architecture artefacts – automotive domain. In Tagungsband Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetteter Systeme II (pp. 131–140). Braunschweig: Technische Universität Braunschweig.
Zurück zum Zitat Zeigler, B. (1984). Multifaceted modelling and discrete event simulation. San Diego: Academic Press Professional, Inc. Zeigler, B. (1984). Multifaceted modelling and discrete event simulation. San Diego: Academic Press Professional, Inc.
Zurück zum Zitat Zeigler, B., & Hammonds, P. (2007). Modeling and simulation-based data engineering: introducing pragmatics in ontologies for net-centric information exchange. Amsterdam: Academic Press. Zeigler, B., & Hammonds, P. (2007). Modeling and simulation-based data engineering: introducing pragmatics in ontologies for net-centric information exchange. Amsterdam: Academic Press.
Zurück zum Zitat Zeigler, B., Praehofer, H., & Kim, T. (2000). Theory of modeling and simulation: Integrating discrete event and continuous complex systems. Orlando: Academic. Zeigler, B., Praehofer, H., & Kim, T. (2000). Theory of modeling and simulation: Integrating discrete event and continuous complex systems. Orlando: Academic.
Metadaten
Titel
Implementation, Integration, and Testing
verfasst von
Okan Topçu
Umut Durak
Halit Oğuztüzün
Levent Yilmaz
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-03050-0_9