OpenCookBook ©

Developed as a multi-user web portal, OpenCookBook inte-grates Altreonic’s  methodology using a straightforward systems engineering information model, combining the design and workplan view. It can support a project from early conception till release of the product or system.

Formal and formalized    modeling & verification

In need of verifying C code or verifying numerical stability of algorithms?

Altreonic has experience and know-how of different formal tools and methods, such as TLA+/TLC, CSP, UPPAAL and B. We also use tools that formally verify C code.

Proofs, Beyond testing

It is well known that testing can only detect the errors for which the tests was designed. It can never demonstrate the absence of errors.

Formal methods provide a much higher confidence because mathematical logic provides a consistent certainty. 

Tools, dependency trees and version management for productivity and consistency

While Unified Semantics and Interacting Entities bring you a long way in mastering complex design, in the workplan domain  team work, discipline and consistency are key. Hence our tools support the methodology to boost productivity and automate whenever possible. Hence, requirements and specifications capturing comes down to incrementally building up a structured web portal, that becomes a living repository for the project.

In order to keep track and support reuse, version management and dependency trees are essential. Version and configuration management allows to have consistent snap-shots of the system. Dependency and precedence trees allow to analyze the impact of changes, as small as they can be.

Safety means that failures are anticipated by trackbacking them to the original root cause. In an engineering process, the reverse happens as well. Any change in the input is reflected in the system’s behavior.

R&D background

Altreonic is partner in:

ASIL, a project of the Flanders Drive automotive cluster on Automotive Safety Integrity Level engineering.

EVOLVE, an ITEA project on Evolutionary Verification and Certification of safety critical systems.