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

aiSee
автоматически
рисует
наглядный
план
графов,
описанных
на языке GDL.
Затем вы
этот план
можете
интерактивно
исследовать,
отпечатать
или
экспортировать
в
сохранить
форматах.
|
|

PAG
автоматически
генерирует
эффективные
анализаторы
потока
данных
из
кратких
спецификаций
ваших
требований.
|