Regular Paper: Research PaperNo Access

Conformance testing of FMI calling sequence for simulation environments

Awad Mukbil

http://orcid.org/0000-0003-4665-1194

Clausthal University of Technology, Department of Informatics, Julius-Albert-Str. 4, Clausthal-Zellefeld 38678, Germany

E-mail Address: awad.mukbil@tu-clausthal.de

Corresponding author.

Search for more papers by this author

Umut Durak

German Aerospace Center (DLR), Institute of Flight Systems, Lilienthalplatz 7, Braunschweig 38108, Germany

E-mail Address: umut.durak@dlr.de

Search for more papers by this author

, and

Sven Hartmann

Clausthal University of Technology, Department of Informatics, Julius-Albert-Str. 4, Clausthal-Zellefeld 38678, Germany

E-mail Address: sven.hartmann@tu-clausthal.de

Search for more papers by this author

https://doi.org/10.1142/S1793962319500089Cited by:1 (Source: Crossref)

This article is part of the issue:

Special Section on SIMULTECH; Guest Editors: Mohammad S. Obaidat, Floriano De Rango and Tuncer Oren

Abstract

Exchanging simulation models is currently of utmost importance. To improve interoperability between suppliers and original equipment manufacturers (OEMs), the functional mock-up interface (FMI) is exchanged in a standard format called functional mock-up unit (FMU). Since its first release, many simulation tools took the initiative to support FMI. However, since then, there have been many complaints stating that exchanging models via FMI does not work as stable as expected. The reason usually turned out to be the implementation of tool vendors that sometimes fail to comply with the standard fully. This paper introduces a methodology for testing FMI compliance of importing simulation tools using a set of reference FMUs. The standard defines the implementation of FMI functions calling sequence in a state machine. Therefore, conformance testing (also called fault detection) from automata theory is utilized to produce reference FMUs based on the FMI state-machine.

Keywords:

References

1. Bertsch C., Ahle E., Schulmeister U., The functional mockup interface-seen from an industrial perspective, in Proc. 10th Int. Modelica Conf., Number 096, pp. 27–33, 2014. Google Scholar
2. Bertsch C., Mukbil A., Junghanns A., Improving interoperability of fmi-supporting tools with reference fmus, in Proc. 12th Int. Modelica Conf., pp. 533–540, 2017. Google Scholar
3. Blochwitz T., Otter M., Akesson J., Arnold M., Clauss C., Elmqvist H., Friedrich M., Junghanns A., Mauss J., Neumerkel D. et al., Functional mockup interface 2.0: The standard for tool independent exchange of simulation models, in Proc. 9th Int. Modelica Conf., Number 076, pp. 173–184, 2012. Google Scholar
4. Blochwitz T., Otter M., Arnold M., Bausch C., Elmqvist H., Junghanns A., Mauß J., Monteiro M., Neidhold T., Neumerkel D. et al., The functional mockup interface for tool independent exchange of simulation models, in Proc. 8th Int. Modelica Conf., Number 063, pp. 105–114, 2011. Google Scholar
5. Broy M., Jonsson B., Katoen J.-P., Leucker M., Pretschner A., Model-Based Testing of Reactive Systems: Advanced Lectures, Vol. 3472, Springer, 2005. Google Scholar
6. Bruegge B., Dutoit A. H., Object-Oriented Software Engineering Using UML, Patterns, and Java, Prentice Hall Press, 3rd edn., 2009. Google Scholar
7. Cellier F. E., Kofman E., Continuous System Simulation, Springer Science & Business Media, 2006. Google Scholar
8. Chow T. S., Testing software design modeled by finite-state machines, IEEE Transactions Softw. Eng. 4(3) :178–187, 1978. Web of Science, Google Scholar
9. Dahlquist G. G., A special stability problem for linear multistep methods, BIT Numerical Math. 3(1) :27–43, 1963. Google Scholar
10. Bochmann S. F. G. V., Khendek F., Amalou M., Ghedamsi A., Test selection based on finite state models, IEEE Trans. Softw. Eng. 17(6) :591–603, 1991. Web of Science, Google Scholar
11. Gargantini A., 4 conformance testing, in Model-Based Testing of Reactive Systems, pp. 87–111, Springer, 2005. Google Scholar
12. Hasanagić M., Tran-Jørgensen P. W. V., Kenneth Lausdahl, Peter Gorm Larsen, Formalising and validating the interface description in the fmi standard, in FM 2016: Formal Methods: 21st Int. Symp., pp. 344–351, 2016. Google Scholar
13. Lee D., Yannakakis M., Principles and methods of testing finite state machines-a survey, Proc. IEEE 84(8) :1090–1123, 1996. Web of Science, Google Scholar
14. Modelica Association Project “FMI”, Functional Mock-up Interface for Model Exchange and Co-Simulation, version 2.0 edition, July 2014, https://www.fmi-standard.org/. Google Scholar
15. Modelica Association Project “FMI”, FMI Cross Check: How to Improve FMI Compliance, July 2015, https://www.fmi-standard.org/tools. Google Scholar
16. Modelica Association Project “FMI”, FMI Cross Check Implementation Notes: How to Submit Test FMUs and Cross-Check Results, July 2015, https://www.fmi-standard.org/tools. Google Scholar
17. Modelon A. B., released by Modelica Association Project FMI, FMU Compliance Checker 2.0.3, 2016, https://www.fmi-standard.org/downloads. Google Scholar
18. Modelon Association, Modelica Newsletter 2014-3, 2014, https://www.modelica.org/publications/newsletters/2014-3. Google Scholar
19. Pohlmann U., Schäfer W., Reddehase H., Röckemann J., Wagner R., Generating functional mockup units from software specifications, in Proc. 9th Int. Modelica Conf., Number 076, pp. 765–774, 2012. Google Scholar
20. QTronic GmbH, FMUSDK 2.0.4, July 2014, https://resources.qtronic.de/fmusdk/FmuSdk_reference.html. Google Scholar
21. Seifert D., Conformance testing based on uml state machines, in Int. Conf. Formal Engineering Methods, pp. 45–65, 2008. Google Scholar
22. Tretmans J., An overview of osi conformance testing, Samson, Editor, Conformance Testen, in Handboek Telematica, Vol. 2, p. 4400, 2001. Google Scholar
23. Ural H., Formal methods for test sequence generation, Comput. Commun. 15(5) :311–325, 1992. Web of Science, Google Scholar