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.

Consulting

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

  • scope the project, define goals and non-goals,
  • select an appropriate formalism and toolset, possibly based on prototype models exploring alternative modeling approaches,
  • plan for effort, time and resources required.

The learnings of a pilot study and detailed planning form the base for a successful and cost-effective execution of a Formal Assurance project.

Formal Modeling and Verification

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.

Training

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.

  • Trainings at an introductory level will present the basic concepts of a formal technique and introduce a group of participants to the core features of the supporting toolset.
  • Workshops aim at a deeper understanding of a specific method by way of modeling and verifying a feature related to the participants' domain of expertise.

All trainings and workshops can be tailored for the specific needs of your engineers.

Formal Assurance

Dr.-Ing. Thomas Santen, Diplom-Informatiker

Independent IT consultant

contact@formalassurance.com