Project researchers

The strategic collaboration of FBK with the Boeing Company arose from the expertise in the field of formal verification of the Embedded Systems Unit.

A joint scientific study, funded by Boeing, was conducted as part of the Unit's activities on model-based safety assessment (MBSA) and contract-based safety assessment (CBSA) activities. The purpose is to investigate the application of safety assessment techniques based on formal models to the design process of Boeing, with the goal of demonstrating their usefulness and suitability for improving the overall development and supporting aircraft certification.