VM
Есть, например, стандарт MISRA C, где пишут "There should be no more than one break or goto statement used to terminate any iteration statement". И это не требование.
MISRA и DoD - слишком "демократичны" для АЭС.
Size: a a a
2020 May 04
PS
Victor Miasnikov
MISRA и DoD - слишком "демократичны" для АЭС.
Вот для этого: "Речь в докладе шла о так называемом "черном ящике" -- программном обеспечении для непрерывной записи и архивации технологических параметров работы (около 4000 датчиков) первого энергоблока Ростовской АЭС"? :)
VM
Как это аргументировано?
Просто надо вложиться по времени в time slot.
Не вложился - аппаратно начинается следующий t.s.
Не вложился - аппаратно начинается следующий t.s.
PS
MaxGraey
Тогда вам бы подошел Go там в компилятор сразу встроен форматтер / линтер и включемн по-умолчанию.
А вот и беда с Обероном — нет там развитых средств статического анализа. А для Си — есть %)
IS
О чем Вы? Это что за стандарт такой? :)
Сомневаюсь по поводу запрета, но вроде не рекомендуется использовать. Стандарт вот http://www.gostrf.com/normadata/1/4293800/4293800274.pdf
M
Вот для этого: "Речь в докладе шла о так называемом "черном ящике" -- программном обеспечении для непрерывной записи и архивации технологических параметров работы (около 4000 датчиков) первого энергоблока Ростовской АЭС"? :)
Вся суть ваыбора Оберона похоже как раз из-за этого черного ящика) По той же причине и Ruby выбирали, потому что Ruby on Rails и хоть ты тресни
VM
Вот для этого: "Речь в докладе шла о так называемом "черном ящике" -- программном обеспечении для непрерывной записи и архивации технологических параметров работы (около 4000 датчиков) первого энергоблока Ростовской АЭС"? :)
Нет, не для этого. ( Хотя...)
Для "взрослого ПО".
Для "взрослого ПО".
VM
А вот и беда с Обероном — нет там развитых средств статического анализа. А для Си — есть %)
Стандарт для АЭС не полагается на это.
PS
Victor Miasnikov
Стандарт для АЭС не полагается на это.
Мы же вроде закрыли тему с АЭС и Обероном? ;)
Зато вполне серьезные системы реального времени, то же бортовое ПО — полагаются.
Зато вполне серьезные системы реального времени, то же бортовое ПО — полагаются.
M
Вот в Боингах почему то не используют Оберон. А полагаются на C и Ada. В SpaceX на C++ и python)
VM
Господа, ещё раз: Дм.Дагаев всё достаточно подробно описал.
И проект ПО мониторинга энергоблока Ростовской АЭС, и стандарты ПО для АЭС, и свои планы.
Давайте договоримся "уличать Оберон" с цитатами от него.
( у меня др.источников, в общем-то, нет)
И проект ПО мониторинга энергоблока Ростовской АЭС, и стандарты ПО для АЭС, и свои планы.
Давайте договоримся "уличать Оберон" с цитатами от него.
( у меня др.источников, в общем-то, нет)
AT
MaxGraey
Вот в Боингах почему то не используют Оберон. А полагаются на C и Ada. В SpaceX на C++ и python)
> В SpaceX на C++ и python
Да потому что хипстеры! Вот если бы Оберон использовали — давно бы уже Марс колонизировали!
Да потому что хипстеры! Вот если бы Оберон использовали — давно бы уже Марс колонизировали!
M
> В SpaceX на C++ и python
Да потому что хипстеры! Вот если бы Оберон использовали — давно бы уже Марс колонизировали!
Да потому что хипстеры! Вот если бы Оберон использовали — давно бы уже Марс колонизировали!
Точно!
VM
MaxGraey
Вот в Боингах почему то не используют Оберон. А полагаются на C и Ada. В SpaceX на C++ и python)
Про результат - помолчим...
Он в новостях по TV. Часто - печальных.
( Ada там становится меньше. Не отсюда ли и результат?)
Он в новостях по TV. Часто - печальных.
( Ada там становится меньше. Не отсюда ли и результат?)
PS
Сомневаюсь по поводу запрета, но вроде не рекомендуется использовать. Стандарт вот http://www.gostrf.com/normadata/1/4293800/4293800274.pdf
Спасибо! Да, здесь тоже только рекомендация. И сам стандарт еще более "обтекаемый", чем MISRA. Чего стоит рекомендация ""С ветвлениями и циклами следует обращаться осторожно". :)
IS
Спасибо! Да, здесь тоже только рекомендация. И сам стандарт еще более "обтекаемый", чем MISRA. Чего стоит рекомендация ""С ветвлениями и циклами следует обращаться осторожно". :)
Угу 🙂
VS
Довольно странно из того, что язык X применен в сфере Y, делать вывод о "хорошести" языка. Человеческий фактор никто не отменял, равно как и знание предметной области. В случае с языком на букву О, мне кажется, именно знание предметной области сыграло первоочередную роль
PS
MaxGraey
Вот в Боингах почему то не используют Оберон. А полагаются на C и Ada. В SpaceX на C++ и python)
В НАСА использовали Лисп (http://www.flownet.com/gat/jpl-lisp.html ) и Форт (https://www.forth.com/resources/space-applications/ ). А европейцы в каких-то космических проектах даже Tcl использовали! %)
M
В НАСА использовали Лисп (http://www.flownet.com/gat/jpl-lisp.html ) и Форт (https://www.forth.com/resources/space-applications/ ). А европейцы в каких-то космических проектах даже Tcl использовали! %)
Да для Лунной программы они вообще свой скриптовый ЯП использовали когда то. Я как то выкладывал материалы по этой теме сюда
VM
Довольно странно из того, что язык X применен в сфере Y, делать вывод о "хорошести" языка. Человеческий фактор никто не отменял, равно как и знание предметной области. В случае с языком на букву О, мне кажется, именно знание предметной области сыграло первоочередную роль
Да, так и есть.
Но, факт, что конкретный специалист выбрал конкретный инструмент - тоже есть.
--
Про Ada:
1) в сфере ПО на АЭС её нет.
2) перспективы появления - малы.
( источник - тот же)
Но, факт, что конкретный специалист выбрал конкретный инструмент - тоже есть.
--
Про Ada:
1) в сфере ПО на АЭС её нет.
2) перспективы появления - малы.
( источник - тот же)