Analysis requests can now be queued. Requests in the queue run automatically as soon as they reach the first position, i.e., when all previous requests are finished, and the server has free resources.
Astrée can now generate an extended XML report that contains all relevant information of an analysis run in a form that is convenient for machine processing. The report can be generated in batch mode as well. The extended XML export is also covered by the qualification support kit (QSK) for Astrée.
Released QSLCD (Qualification Support Life Cycle Data) report documenting compliance of tool development to safety standards.
Astrée now supports the automatic extraction of directives that have been inserted into the source code and their conversion into external AAL directives.
|red||at least one error|
|yellow||no errors, but at least one alarm of Type A|
|yellow and green||no errors and no Type A alarms,
but at least one alarm of Type C
|green||no errors and no alarms|
warn-sideeffectsis now deactivated by default.
--xml-report-file <filename>for generating the extended XML export.
--importcan now be used simultaneously for overwriting an existing analysis project with an analysis imported from an
__ASTREE_partition_controldirective now also works for assignments.
bool_var=condition” that are equivalent to “
if (condition) bool_var=1; else bool_var=0”.
__ASTREE_initializedirective now removes
NaNwhen used on floating point variables.
__ASTREE_exitdirective now also reports the context in which the directive is reached.
NaNfloats are used in comparisons (
Added support for the administration of multiple Astrée servers on the same machine using the server controller interface.
forloops with declarations in the same function.