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