Conformance testing of FMI calling sequence for simulation environments

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 ...

[1]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[2]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[3]  G. Dahlquist.  A special stability problem for linear multistep methods , 1963 .

[4]  Elmar Ahle,et al.  The Functional Mockup Interface - seen from an industrial perspective , 2014 .

[5]  Andreas Junghanns,et al.  Improving Interoperability of FMI-supporting Tools with Reference FMUs , 2017 .

[6]  Peter Gorm Larsen,et al.  Formalising and Validating the Interface Description in the FMI Standard , 2016, FM.

[7]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .

[8]  Dirk Seifert.  Conformance Testing Based on UML State Machines , 2008, ICFEM.

[9]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

[10]  Wilhelm Schäfer,et al.  Generating Functional Mockup Units from Software Specifications , 2012 .

[11]  Hasan Ural.  Formal methods for test sequence generation , 1992, Comput. Commun..

[12]  Angelo Gargantini.  Conformance Testing , 2004, Model-Based Testing of Reactive Systems.

[13]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[14]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .