Здравствуйте, cppguard, Вы писали:

https://www.youtube.com/watch?v=XG40j-9H9qc

Здравствуйте, cppguard, Вы писали:

C>Есть какой-нибудь опыт у вас?
IEC 60880 для атомных станций, DO-178B для авионики, ISO 20262 для самобеглых повозок.
C> Может быть в таких местах романтика проходит за один день?
В словосочетании "формальная верификация" интонационно выделяется именно первое слово, к сожалению. Короче, унылое гэ и постоянные попытки натянуть сову на глобус. И денег не платят. А уж профессиональная деформация какая суровая на выходе — постоянно фокусируешься на 1% худших случаев.

Здравствуйте, UVV, Вы писали:

AS>>Зарубежом тоже не дают высоких ЗП, какой-нить Java developer в Enterprise будет больше на старте получать, нежели эмбеддщик

UVV>Я не вижу большой разницы зарплат, по крайней мере в Германии.

В Австрии (где сейчас живу) нафталином и зарплатой в (условных) 30.000 от эмбеда IMHO пахнет так же как и в России.
Но если смотреть ближе к пенсии например (деньги особо и не важны, а дерзать все еще хочется), то вроде бы отличный вариант.

Я года два назад ходил беседовать в конторы, занимающимися умным домом (замки и ворота) и дополненной реальностью (шлемы).
Думаю пока что пока не готов и на кошечках (жаваскрипте) больше заработаю, чем там предлагают.

Но может быть в США или где-то еще всё по-другому.

Здравствуйте, El Camino Real, Вы писали:

C>>Есть какой-нибудь опыт у вас?
ECR>IEC 60880 для атомных станций, DO-178B для авионики, ISO 20262 для самобеглых повозок.
C>> Может быть в таких местах романтика проходит за один день?
ECR>В словосочетании "формальная верификация" интонационно выделяется именно первое слово, к сожалению. Короче, унылое гэ и постоянные попытки натянуть сову на глобус. И денег не платят. А уж профессиональная деформация какая суровая на выходе — постоянно фокусируешься на 1% худших случаев.

Отлично! Видимо в работали как раз там, где я мечтал. Особенно — самоходные повозки. Что касается 1% худших случаев, то у меня эта функция шла встроенной с рождения, поэтому сразу после ВУЗа было тяжело работать над проектами, где сломанный код это постоянная норма. Но вот вопрос: вы считаете данные проекты УГ, но при этом всё работали, и в одном. Почему?

Здравствуйте, AmSpb, Вы писали:

AS>https://www.youtube.com/watch?v=XG40j-9H9qc

Не думаю, что понял мысль.