Warning: this page and the FSAP tool are no longer maintained
Please visit the xSAP Web Page
FSAP
The Formal Safety Analysis Platform
FBK

About the FSAP development group

The FSAP group works within the Embedded Systems Unit of of FBK. Our goal is to provide a useful tool for safety analysis; one which allows system designers and safety engineers to work together on a common platform. We continue to develop FSAP and NuSMV-SA and strive to ease system design and safety analysis with one tool.

The "ES" Unit ("Embedded Systems Unit") is a research unit of the Center for the Scientific and Technological Research of FBK (Fondazione Bruno Kessler).

The mission of the Embedded Systems Unit is centered around two main objectives: top quality scientific research and innovative social/market impact. We believe that the dialogue and negotiation between scientific objectives and social/market goals is the core of a positive virtuous loop that gives value to both research and applications. Innovation in our group occurs through a continuous and transversal dialogue across different scientific competencies, taking into account research, business, and social competencies along strategic areas of impact.