Построение рациональной и корректной системы интерфейсов программных приложений относится к ряду важных конструктивных решений при разработке архитектуры систем реального времени (СРВ). На протяжении десятилетий развития технологии программирования разработчикам предлагались различные средства спецификации интерфейсов в программных системах — от всевозможных модификаций сетей Петри до UML-диаграмм. Предлагавшиеся средства в основном ориентированы на проверку логической корректности программных систем путем визуального, а также в той или иной мере автоматизированного анал
системы реального времени, межзадачные интерфейсы, динамическая корректность программных приложений