Состояния приёма, посылки сигнала Þ можно моделировать работу параллельных процессов.
На диаграмме должны быть видны пути передачи сигналов.
Если 6 выполнено хорошо, то переход 6 ® 7 не сложен.
В RTST было по сути только 4 и 7, т.н. semantic gap (семантический разрыв). В REAL есть ещё 5 и 6.
Конечная автоматная SDL-модель – удобное выразительное средство для рисования событийной логики системы.
Конвертер из SDL в объектный программный код
Почему сложно: посылка-приём сообщения ~ 300 команд.
Удалось найти сужение, основываясь на ограничениях (переходы короткие, есть только 20% критичных объектов, можно локализовать данные), т.е. учитываем специфику предметной области. Применяется не свёртка-развёртка. Есть только один объект – ФПО (функциональное ПО), остальные объекты – вызов процедуры (~ 30 команд).