摘要：AbstractThese 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 languagesmartIflowis such an approach. WithsmartIflowit 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 ofsmartIfloware evaluated using theWheel Brake Systemspecified in ARP4761 and well-known by most avionics safety engineers. For this purpose the Wheel Brake System is modeled withsmartIflow.After that, thesmartIflow Workbenchis 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.
关键词：KeywordsSafety analysisFormal languagesQualitative analysisFinite state machineInformation flowsReliabilityAircraft control
