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