Our services cover the entire range of activities that ensure the successful completion of a formal assurance project.
Contact us to discuss the specific needs of your project and organization.
We work with you to deeply understand the potential of applying formal methods in your project, be it to validate a new system design, to obtain a certification for your system at the highest levels of assurance, to make sure a complex algorithmic setup will work as expected, or to understand the impact of proposed system changes based on an existing formal model.
For any formal assurance effort, it is strongly advisable to conduct a pilot study that will
The learnings of a pilot study and detailed planning form the base for a successful and cost-effective execution of a Formal Assurance project.
We cover all aspects of technical work needed to successfully deliver on a Formal Assurance project.
We produce the formal model and use powerful verification tools to analyze critical properties of the model.
We provide comprehensive documentation, including tracing to other, non-formal project artifacts like specifications, code or certification documents.
As a deliverable in a certification process, the documentation includes a detailed justification of the adequacy of the model and the verification process for the assurance purpose. We will work with the certification authorities to ensure compliance with any specific guidelines and procedures.
In an explorative project, we will work closely with your system engineers to interpret any findings of the model exploration process.
If the modeling or verification efforts exhibit design flaws, we provide feedback and a defect analysis. This includes tracing verification faults from the model back to the actual system design.
We offer trainings to build up expertise in formal methods in your organization.
Our trainings enable your team to understand the implications of setting up a formal assurance project, evaluate specific formal approaches in the context of your business, or even build skills to productively work with formal techiques in a project.
All trainings and workshops can be tailored for the specific needs of your engineers.
Dr.-Ing. Thomas Santen, Diplom-Informatiker
Independent IT consultant
contact@formalassurance.com