Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units
https://www.researchgate.net/publication/346615850_Application_of_Model-Based_Testing_to_Dynamic_Evaluation_ofFunctional_Mockup_Units

References

Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto. Modbat: A Model-Based API Tester for Event-Driven Systems. In Hardware and Software: Verification andTesting, volume 8244, pages 112–128. Springer International Publishing. ISBN 978-3-319-03076-0 978-3-319-03077-7. doi:10.1007/978-3-319-03077-7_8.
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto. Modbat repository, 2019. https://github.com/cyrille-artho/modbat, accessed 25th September 2019.
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, and Peter Gorm Larsen. Towards a Static Check of FMUs in VDM-SL. In 17th Overture Workshop, page to be published.
Peter Baumann, Martin Krammer, Mario Driussi, Lars Mikelsons, Josef Zehetner, Werner Mair, and Dieter Schramm. Using the distributed co-simulation protocol for a mixed realvirtual prototype. In 2019 IEEE International Conference on Mechatronics (ICM), volume 1, pages 440–445. IEEE Industrial Electronics Society.
Christian Bertsch, Awad Mukbil, and Andreas Junghanns. Improving Interoperability of FMI-supporting Tools with Reference FMUs. pages 533–540. doi:10.3384/ecp17132533.
Torsten Blochwitz, Martin Otter, Johan Akesson, Martin Arnold, Christoph Clauss, Hilding Elmqvist, Markus Friedrich, Andreas Junghanns, Jakob Mauss, Dietmar Neumerkel, Hans Olsson, and Antoine Viel. Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models. In 9th International Modelica Conference, pages 173–184. Linköping University Electronic Press, a. doi:10.3384/ecp12076173.
Torsten Blochwitz, Martin Otter, Martin Arnold, C. Bausch, Christoph Clauss, Hilding Elmqvist, Andreas Junghanns, Jakob Mauss, M. Monteiro, T. Neidhold, Dietmar Neumerkel, Hans Olsson, J.-V. Peetz, and S. Wolf. The Functional Mockup Interface for Tool independent Exchange of Simulation Models. In Proceedings of the 8th International Modelica Conference, pages 105–114. Linköping University Electronic Press; Linköpings universitet, b. doi:10.3384/ecp11063105.
Ulrik Brandes, Markus Eiglsperger, Jürgen Lerner, and Christian Pich. Graph Markup Language (GraphML). David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter. Determinate composition of FMUs for co-simulation. In Eleventh ACM International Conference on Embedded Software, page Article No. 2. IEEE Press Piscataway, NJ, USA. ISBN 978-1-4799-1443-2.
FMIv2.0. Functional Mock-up Interface for Model Exchange and Co-Simulation. URL https://fmi-standard.org/downloads/.
Cláudio Gomes, Romain Franceschini, Nick Battle, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe, and Peter Gorm Larsen. FMIMOBSTER repository, 2019. https://msdl.uantwerpen.be/git/claudio/FMIMOBSTER, accessed 25th September 2019.
Cláudio Gomes, Benoît Legat, Raphaël Jungers, and Hans Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-simulation. In IEEE Conference on Decision and Control, pages 5676–5681, a. doi:10.1109/CDC.2018.8619223.
Cláudio Gomes, Benoît Legat, Raphaël M. Jungers, and Hans Vangheluwe. Stable Adaptive Co-simulation: A Switched Systems Approach. In IUTAM Symposium on Co-Simulation and Solver Coupling, volume 35, pages 81–97. Springer, Cham, b. doi:10.1007/978-3-030-14883-6_5.
Cláudio Gomes, Levi Lucio, and Hans Vangheluwe. Semantics of Co-simulation Algorithms with Simulator Contracts. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 784–789. IEEE, c. doi:10.1109/MODELS-C.2019.00124.
Cláudio Gomes, Bentley James Oakes, Mehrdad Moradi, Alejandro Torres Gamiz, Juan Carlos Mendo, Stefan Dutre, Joachim Denil, and Hans Vangheluwe. HintCO - Hint-Based Configuration of Co-Simulations. In International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pages 57–68, d. ISBN 978-989-758-381-0. doi:10.5220/0007830000570068.
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. Co-simulation: State of the art, e. URL http://arxiv.org/abs/1702.00686.
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. Co-simulation: A Survey. 51(3):Article 49, f. doi:10.1145/3179993.
Irene Hafner and Niki Popper. On the terminology and structuring of co-simulation methods. In Dirk Zimmer and Bernhard Bachmann, editors, Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, pages 67–76. ACM Press. ISBN 978-1-4503-6373-0. doi:10.1145/3158191.3158203.
Franz Holzinger and Martin Benedikt. Optimal Trigger Sequence for Non-iterative Co-simulation:. In Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pages 80–87. SCITEPRESS - Science and Technology Publications. ISBN 978-989-758-381-0. doi:10.5220/0007833800800087.
R. Kübler and W. Schiehlen. Two Methods of Simulator Coupling. 6(2):93–113, a. ISSN 1387-3954. doi:10.1076/1387-3954(200006)6:2;1-M;FT093.
R. Kübler and W. Schiehlen. Modular Simulation in Multibody System Dynamics. 4(2-3):107–127, b. ISSN 1384-5640. doi:10.1023/A:1009810318420.
Martin Krammer, Martin Benedikt, Torsten Blochwitz, Khaled Alekeish, Nicolas Amringer, Christian Kater, Stefan Materne, Roberto Ruvalcaba, Klaus Schuch, Josef Zehetner, Micha Damm-Norwig, Viktor Schreiber, Natarajan Nagarajan, Isidro Corral, Tommy Sparber, Serge Klein, and Jakob Andert. The Distributed Co-Simulation Protocol for the Integration of Real-Time Systems and Simulation Environments. In Proceedings of the 50th Computer Simulation Conference, page No. 1. Society for Computer Simulation International, a. doi:10.22360/summersim.2018.scsc.001.
Martin Krammer, Klaus Schuch, Christian Kater, Khaled Alekeish, Torsten Blochwitz, Stefan Materne, Andreas Soppa, and Martin Benedikt. Standardized Integration of Real-Time and Non-Real-Time Systems: The Distributed Co-Simulation Protocol. In Proceedings of the 13th International Modelica Conference, volume 157, pages 87–96. Modelica Association, b. doi:10.3384/ecp1915787.
Leibniz University Hannover. Dcp-test-generator repository, 2019. https://github.com/modelica/DCPTestGenerator, accessed 25th September 2019.
Wenbin Li, Franck Le Gall, and Naum Spaseski. A Survey on Model-Based Testing Tools for Test Case Generation. In Vladimir Itsykson, Andre Scedrov, and Victor Zakharov, editors, Tools and Methods of Program Analysis, volume 779, pages 77–89. Springer International Publishing. ISBN 978-3-319-71733-3 978-3-319-71734-0. doi:10.1007/978-3-319-71734-0_7.
Modelica Association. FMI cross-check repository, 2019a. https://github.com/modelica/
fmi-cross-check/tree/master/fmus/2.0/,accessed 25th September 2019.
Modelica Association. FMI standard website, 2019b. https://fmi-standard.org, accessed 25th September 2019.
Open Source Modelica Consortium. Openmodelica, 2019.https://openmodelica.org/, accessed 25th September 2019.
Peter Palensky, Arjen A. Van Der Meer, Claudio David Lopez, Arun Joseph, and Kaikai Pan. Cosimulation of Intelligent Power Systems: Fundamentals, Software Architecture, Numerics, and Coupling. 11(1):34–50. ISSN 1932-4529. doi:10.1109/MIE.2016.2639825.
Jan Peleska. Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. 111:3–28. ISSN 2075-2180. doi:10.4204/EPTCS.111.1.
qTronic GmbH. FMU software development kit, 2019. https://github.com/qtronic/fmusdk, accessed 25th September 2019.
Bernard Yannou Roy Awedikian. Practical Model-Based Testing. ISBN 978-0-12-372501-1.
Gerald Schweiger, Cláudio Gomes, Georg Engel, Irene Hafner, Josef Schoeggl, Alfred Posch, and Thierry Nouidui. Functional Mock-up Interface: An empirical survey identifies research challenges and current barriers. In Proceedings of the American Modelica Conference, pages 138–146. Linköping University Electronic Press, Linköpings Universitet, a. ISBN978-91-7685-148-7. doi:10.3384/ecp18154138.
Gerald Schweiger, Cláudio Gomes, Georg Engel, Irene Hafner, Josef-Peter Schoeggl, Alfred Posch, and Thierry Nouidui. An empirical survey on co-simulation: Promising standards, challenges and research needs. 95:148–163, b. ISSN 1569190X. doi:10.1016/j.simpat.2019.05.001.
T. Tomiyama, V. D’Amelio, J. Urbanic, and W. ElMaraghy. Complexity of Multi-Disciplinary Design. 56(1):185–188. ISSN 00078506. doi:10.1016/j.cirp.2007.05.044.
Yentl Van Tendeloo and Hans Vangheluwe. An Introduction to Classic DEVS.
Hans Vangheluwe. Foundations of Modelling and Simulation of Complex Systems. 10. doi:10.14279/tuj.eceasst.10.162.148.
Hans Vangheluwe, Juan De Lara, and Pieter J. Mosterman. An introduction to multi-paradigm modelling and simulation. In Proceedings of the AI, Simulation and Planning in High Autonomy Systems Conference, pages 9–20. Society for Computer Simulation International.
yWorks. yed graph editor website, 2019. https://www.yworks.com/products/yed, accessed 25th September 2019.
Bernard P. Zeigler. Theory of Modelling and Simulation. New York, Wiley. ISBN 0-471-98152-4.