> branza moto przestawia sie szybko na generacje kodu przez Matlab/Simulink
> (https://www.mathworks.com/solutions/automotive/stan
dards/misra-c.html)

W branży latającej również SCADE:

http://www.esterel-technologies.com/products/scade-s
uite/

> Powod jest bardzo prozaiczny - dostepnosc tanich programistow

To jest akurat słaba motywacja, i nawet prowadząca w krzaki. Tani programista zrobi
syf na obrazku tak samo jak w kodzie.
Spotkałem się też z równie pomyloną motywacją, że wtedy można wziąć do roboty nie
programistę, tylko np, elektronika (bo model to taki niby schemat), ale efekt może
być wtedy jeszcze gorszy, niż ze złym programistą.

Tu się nie oszczędza na ludziach, tylko na roboczogodzinach, zwłaszcza po stronie
weryfikacji.

Zaletą tych technik jest fakt, że ich poziom opisu jest bliższy temu, co funkcjonuje
na etapie wymagań. I jest to jednocześnie ostatni etap, bo dalej się tylko generuje.
To skraca proces, nie tylko na osi czasu, ale też na osi dolarów.
Co więcej, można się pokusić o formalną weryfikację poprawności modelu względem
wymagań, co jest słabo wspierane przez tradycyjny kod w tradycyjnym języku. Co prawda
wtedy nie ma mowy o "tanich programistach" albo o obniżaniu progu dla inżynierów -
wręcz przeciwnie - ale projekt jako całość może wyjść dużo taniej, i o to właśnie
ostatecznie chodzi.

A najśmieszniejsze jest to, że te techniki naszybciej wchodzą do użycia w branżach,
które z natury obowiązujących regulacji są najbardziej konserwatywne i zwykle
kojarzone z archeologią i paleo-techniką. Ot, niespodzianka.

--
Maciej Sobczak * http://www.inspirel.com