Safety Critical Tools

Welcome to JORAL Technologies Safety Critical Tool Department.
This department is set up to support Software Engineers dealing with Safety Critical Applications. We offer free product demonstrations for all products.

a³ now saves the current analysis state inside a workspace. All graphs, statistics and other outputs can be reviewed in the GUI without running the analysis again.

The analyses provide AIS2 "annotation hints" for common analysis problems in the reporting and in the GUI (message view and graph). The GUI allows to interactively add per mouse-click the provided annotation hints to the project.

Further AIS2-annotations can now be automatically added to the project from the graphs, statistics views and the AIS editors via the context menu.A new statistics view shows minimum and maximum loop bounds for all loops.