Обсуждение

Может, я зря избегаю UML и SysML -- нужно воспринимать это просто, как "машинный язык" репозитория информационной модели системы/проекта и игнорировать так же, как игнорируют сегодня язык команд интеловских процессоров (а раньше ведь интересовались, какие именно процессоры -- нужно было знать язык конкретного железа, чтобы на нем работать). Работать же нужно с правильными DSL, которые будут оттранслированы на "базовый язык", тот же SysML или UML. И тогда все упрется в наличие софта, который сможет реализовать эти правильные высокоуровневые DSL, так как "программное обеспечение всегда опаздывает". Не знаю как на счет SysML но UML на низкоуровневый язык не тянет совершенно. Основанные на нем тулзы будут всегда опаздывать, ибо он слишком громоздкий в обработке. В лучшем случае будет как в Пентиумах - промежуточная трансляция в RISC-подобный код. Но сами приводили пример, что ARM (R в данном случае как раз означает RISC) на той же частоте работает так же ка и Пень, только жрет гораздо меньше энергии.

Есть такая немецкая тулза для верификации KeY, она интересно тем, что интерфейс заточен на человека, т.е. работать с ней комфортней и понятней, чем с обычными верификационными тулзами, построенными вокруг формальных моделей. Но он очень медленный, и слаборасширяемый, т.е. тоже не совсем практичный. В данном случае, нужно промежуточное решение - язык/интерфейс для человека и язык для машины. Ну и трансялция между ними, ИДЕ и все такое.