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.
CONTENT Astrée - Handling Absolute Addresses - Analysis of Concurrent Software - Improvements in the Astrée Client (GUI) - Reporting - Rule Checking - Further Improvements
CONTENT a³ - a³ Workspaces o Save complete analysis state & results (graph, statistics,…) for later review o Workspace export in alauncher (Option: --export-workspace ws.apx ) - Automatic Generation of AIS annotations from o Graph/GUI o Message View (as annotation hints) o AIS Editor - Loop Bound View in Statistics and AIS annotation generation - Project File Generator from built-in Editor and Information Views - Stack area specification in GUI - a³ Jenkins Plugin - Extended AIS2 annotations for o Initialization Value Analysis o Handling Tail Calls o New end/offset functor
StackAnalyzer/ValueAnalyzer now available for TI MSP430(X). aiT for ARM supports Infineon XMC4500 (Cortex-M4F). aiT for C28x supports additional cores: TMS320F28035, TMS320F28335 and TMS320F28069.
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.