PD
А зачем руками, нужно DSL делать.
на UML есть примитивы - event/signal триггеры, connector-ы и т.п
вопрос как мэппится в run-time
Size: a a a
2020 June 06
PD
Но на C++ это сделать проще, чем на картинке )
PD
На этом рисовать сложный автомат - гораздо дольше и сложнее (и не проверяемее), чем на любом языке высокого уровня.
S
в 90-е моделирование было популряно. И Эриксон в него вложился. В итоге 2G- 4G сделаны на базе подходов с моделированием. В 5G набрали молодежь и больше руками на С++ написали
S
по автоматам тесты генерятся тоже
S
TTCN
S
еще UML Testing PRofile был
PD
Что вложились - верю. А вот что это эффективнее, чем реализация DSL на нормальных языках - нет.
PD
Вот когда мне рассказывают о моделировании чипа на хаскеле - я понимаю, в чем смысл.
S
на хаскеле на практике не работает, а тут куча железа на практике работает
S
но в целом интерес ко всему этому снижается
PD
А что такое на хаскеле на практике не работает? Как раз вполне.
S
железу нужен Си или С++
PD
А вот картинки в ROOM - это явно выкидывание денег ради моды.
PD
железу нужен Си или С++
Ты не понял. На хаскеле делается модель, а не исходный код.
PD
И модель железа, а не софта.
PD
Но по модели на хаскеле сгенерить код - тоже не проблема.
S
как в модель на хаскеле впихивать С++ ?
модели у нас не чистые. они перемешаны с кодом
модели у нас не чистые. они перемешаны с кодом