|
 aiT WCET Analyzers
статически
исследуют
вашу
систему
реального
времени
и
точно
определяют
максимальное
время
выполнения
каждой
задачи
в
худшем
случае
(worst-case execution time, сокращённо WCET).
|
 |
 StackAnalyzer
заранее
определяет
максимальную
степень
загруженности
стека
задачами
вашего
приложения,
таким
образом
позволяя
предотвратить
серьёзные
сбои
во
время
выполнения
последнего.
|
 aiSee
автоматически
рисует
наглядный
план
графов,
описанных
на языке GDL.
Затем вы
этот план
можете
интерактивно
исследовать,
отпечатать
или
экспортировать
в
сохранить
форматах.
|
|
 PAG
автоматически
генерирует
эффективные
анализаторы
потока
данных
из
кратких
спецификаций
ваших
требований.
|
aiCall —
визуализация
приложений
