Safety-Critical Tool Submission: aiT WCET Analyzer

[manczak-ifx]

What is the name of the tool?

aiT WCET Analyzer

Add a concise description of the tool. Please refrain from marketing claims and stick to what the tool is, does, and how it would be used?

Tool to statically compute the worst-case execution time of each task.

Link to the tool repo or homepage

https://www.absint.com/ait/index.htm

License of the tool

Comercial

What is your role/connection to this tool?

Other

Optional name of the tool vendor

Absint

Optional liability provided by the tool vendor

No response

List any standards the tool is qualified for

ISO 26262, DO-178B/C, DO-330, IEC-61508, EN-50128, EN-50657, EN-60601-1

Tool category

static-analysis

[PLeVasseur]

Note:

[mhatzl]

@PLeVasseur thanks for merging #545
could you close this issue? (the closes comment was not in the initial PR description, so GitHub didn't close it)

[manczak-ifx]

closed by #545

[manczak-ifx]

closed by #545