Evaluation of smartIflow based on the Wheel Brake System from ARP4761

Abstract

These days, more and more responsibility is transferred to technical systems. Beyond that, the amount of interacting components increases on and on. To ensure that these systems are safe and reliable and to avoid unnecessary harm, safety engineers have to identify the weak points of these system to be able to correct them. Due to the steadily increasing system complexity, traditional approaches successively are reaching their limit. To efficiently support safety engineers during their work, model-based system analysis approaches try to facilitate these task. The modeling language smartIflow is such an approach. With smartIflow it is possible to model and simulate systems on a high abstraction level and yet retain enough information to reach an almost realistic behavior. In this work the capabilities of smartIflow are evaluated using the Wheel Brake System specified in ARP4761 and well-known by most avionics safety engineers. For this purpose the Wheel Brake System is modeled with smartIflow. After that, the smartIflow Workbench is used to simulate and verify the model in relation to the safety requirements defined in ARP4761. Some of the verification results are checked for their plausibility and further explained.