The Landing Gear System Case Study

Abstract

This document presents the landing system of an aircraft. It describes the system and provides some of its requirements. We propose this case study as a benchmark for techniques and tools dedicated to the verification of behavioral properties of systems.

Document

Reference

% BibTex
@InProceedings{10.1007/978-3-319-07512-9_1,
author="Boniol, Fr{\'e}d{\'e}ric
and Wiels, Virginie",
editor="Boniol, Fr{\'e}d{\'e}ric
and Wiels, Virginie
and Ait Ameur, Yamine
and Schewe, Klaus-Dieter",
title="The Landing Gear System Case Study",
booktitle="ABZ 2014: The Landing Gear Case Study",
year="2014",
publisher="Springer International Publishing",
address="Cham",
pages="1--18",
abstract="This document presents a landing gear system. It describes the system and provides some of its requirements. We propose this case study as a benchmark for techniques and tools dedicated to the verification of behavioral properties of systems.",
isbn="978-3-319-07512-9"
}