Safety-Critical Tool Submission: aiT WCET Analyzer #527
Description
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