Conformance testing of FMI calling sequence for simulation environments

被引:0
作者
Mukbil, Awad [1 ]
Durak, Umut [2 ]
Hartmann, Sven [1 ]
机构
[1] Tech Univ Clausthal, Dept Informat, Julius Albert Str 4, D-38678 Claysthal Zellefeld, Germany
[2] German Aerosp Ctr DLR, Inst Flight Syst, Lilienthalpl 7, D-38108 Braunschweig, Germany
关键词
FMI; reference FMUs; finite-state machine; conformance testing;
D O I
10.1142/S1793962319500089
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页数:28
相关论文
共 23 条
  • [1] [Anonymous], 2006, Continuous System Simulation
  • [2] [Anonymous], 2014, FMUSDK 2 0 4
  • [3] [Anonymous], 2009, OBJECT ORIENTED SOFT
  • [4] Bertsch C., 2014, P 10 INT MODELICA C, V96, P27, DOI [10.3384/ECP1409627, DOI 10.3384/ECP1409627]
  • [5] Bertsch C., 2017, P 12 INT MOD C, P533
  • [6] Blochwitz T., 2011, Proc. 8th Int. Modelica Conf., Dresden, P105
  • [7] Blochwitz T, 2012, Proceedings of the 9th International Modelica Conference, P173, DOI DOI 10.3384/ECP12076173
  • [8] Broy Manfred, 2005, MODEL BASED TESTING, V3472
  • [9] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES
    CHOW, TS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 178 - 187
  • [10] Dahlquist G., 1963, BIT Numer. Math., V3, P27, DOI DOI 10.1007/BF01963532