Agile - тоже рабочая вещь, только в опёртом на хорошую архитектуру варианте.

Если о Scrum, то им не до архитектуры и создания платформы - цель найти что-то новое - поэтому на выходе может быть не более чем макет, но это почему-то ))) мало кто понимает ...

Естественно, на конференции были представлены не только инструменты анализа ПО но и другие, с помощью которых можно повысить надежность ПО. Очень интересно было послушать Дмитрия Дагаева с докладом “Масштабируемые Оберон-технологии как средства обеспечения защищенного ПО критически важных систем”. Автор доклада является главным конструктором SCADA СУОК для АЭС. Поэтому не понаслышке сталкивался с системами с “повышенными требованиями в части функциональной безопасности и защиты от кибер-угроз” (цитата из аннотации к его докладу). Для увеличение безопасности ПО автор предлагает использовать Оберон технологии. Автор языка Оберон Николаус Вирт, вложил идею внесения ограничений, что существенно уменьшает риск написания небезопасного ПО. При этом с помощью доработки компилятора автор доклада, предлагает создавать образы, нацеленные на различные задачи и платформы. Доклад был мне очень близок, поскольку мы в Embox пришли к похожим идеям по ограничениям. Но предложили ограничения вносить с помощью языка описания модулей ( декларативного языка собственного сочинения нацеленного на конкретную задачу). И для генерации артефактов позволяющих создавать образы под конкретную задачу, на наш взгляд, также проще использовать отдельный язык для описания этих артефактов.
...
Первым докладом про инструментарий, способствующий модульности ПО и преимуществах модульности, был уже упомянутый доклад про Оберон технологии.
...
Возвращаясь к дискуссии об устаревшем Си

Проблемы применения языка Си очевидны, поэтому и применяются всевозможные способы их решения, и статические анализаторы, и различные виды тестирования, и еще много чего. Возникает резонный вопрос: а зачем тратить столько усилий?
Поскольку дискуссия была открытая и каждому желающему предоставлялся микрофон было хорошо видно, что часть участников конференции полностью поддержала данную идею, а часть высказала разного рода сомнения в том, что язык Си уйдет в прошлое, по крайней мере в области системного программирования в ближайшем будущем.

Сначала приведу аргументы той части участников, которая поддержала идею. Очевидно, что идею поддержал Дмитрий Дагаев, автор доклада про Оберон. В качестве аргумента он привел фотографию где, он на снимке с Николаусом Виртом держит плакат с надписью о том, что обучать программированию нужно только на Обероне.
...
Про обучение специалистов, наверное, самый важный вопрос: на чем “думают“ специалисты — на том и будет разработано ПО, вполне возможно, что язык Си стал стандартом де факто для ОС, поскольку в нем были UNIX и Minix (а может, именно потому, что был задуман для разработки UNIX). Поэтому проект обучения школьников и студентов программированию на языке Оберон Информатика 21 может дать свои плоды, правда, должно пройти немало времени.

Раз уж речь зашла. Почему никогда не говорится, что одна из первичных целей языка программирования -- это защита программиста от ошибок? Уже первый фортран делал это -- исключал море ошибок, которые делались при кодировании формул в машинных кодах. Любое обсуждение С/С++ должно начинаться именно с этого пункта: эти языки не выполняют одну из первичных и фундаментальных функций языка программирования -- причём С не дотягивал по этому параметру до state of the art даже в 1970 году.

...принимали во внимание то, что куча всего на нем повязано

Видели эту пару комментариев?

https://habr.com/ru/company/embox/blog/457596/

abondarev писал(а):
25 июня 2019 в 18:10
Язык Ада безусловно обсуждался в рамках данной дискуссии и в рамках обсуждения языка Оберон. Кстати, в кулуарах Дмитрий Дагаев на вопрос об Ада сказал, что не хочет использовать его на АЭС (а использовал Оберон) поскольку сейчас существует только один сертифицированный компилятор для подобных систем и как Вы понимаете он не у нас разрабатывается и его просто не продают.


Siemargl писал(а):
Как будто существует сертифицированный компилятор Оберона…

Там вообще содомия творится — стандартного компилятора нет, а есть миллион самодельных компиляторов и у каждого _свои_ расширения (потому что куцый функционал стандарта — даже без базовых библиотек), и неоднозначности толкования.

Ада — это цельный продукт, но она не сильно то проще С++ %-) И ее реализации вполне могут быть неполными — без менеджера памяти, например.

версия BB для начинающих программистов - название тоже играет роль.

C/C++ создавали "либералы" от программирования,
а Паскаль/Оберон - "консерваторы"...
"Либеральный" проект подходит к концу...

одна из первичных целей языка программирования -- это защита программиста от ошибок

Вот когда производители "процов" станут в качестве особенности своей продукции указывать: "архитектура оптимизирована для паскаля\оберона" (заявленная же оптимизированность для "це" видена неоднократно), тогда и запустим таймер (32 бит для подсчёта секунд хватит?) для "замерить закат".

-"-

Фигня все это - оптимизация под язык.