Published May 5, 2023 | Version v1
Dataset Open

Landing Gear System Models

Authors/Creators

  • 1. Otto-von-Guericke-University Magdeburg

Description

The dataset contains a translated Simulink model, of the landing gear system introduced by Boniol and Wiels (2014) and Boniol et al. (2017). Additionally, corresponding SAML and NuSMV models are included, which were created from the Simulink model using tool support.

Files

Files (20.7 MB)

Name Size Download all
md5:6bd6a36fe7fbe657eb563138adb96a0c
3.7 MB Download
md5:131e6dc7186f25d9b8c037a373515901
286.5 kB Download
md5:0c7596d8f3dfa5d4353164d7c1bff5df
5.6 MB Download
md5:80a800221a24f1498b55346a7378351f
5.6 MB Download
md5:8db60a75de0c06d2e9df5d3da1ce5012
5.6 MB Download

Additional details

References

  • Boniol, F., Wiels, V. (2014). The Landing Gear System Case Study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, KD. (eds) ABZ 2014: The Landing Gear Case Study. ABZ 2014. Communications in Computer and Information Science, vol 433. Springer, Cham. https://doi.org/10.1007/978-3-319-07512-9_1
  • Boniol, F., Wiels, V., Aït-Ameur, Y. et al. The landing gear case study: challenges and experiments. Int J Softw Tools Technol Transfer 19, 133–140 (2017). https://doi.org/10.1007/s10009-016-0431-4