Какой язык программирования лучше подходит для встраиваемых решений с требованием к повышенной надёжности и безопасности?

Question

[Александр Попов]

Здравствуйте я бы хотел узнать о том что,какой язык программирования лучше подходит для встраиваемых решений но,с требованием к повышенной надёжности и безопасности ?

Answer 1

[Иван Шумов]

никакой. надежность и безопасность языком не обеспечивается

Comments

[Александр Попов]

А,как же язык программирования Ada ?

https://ru.wikipedia.org/wiki/%D0%90%D0%B4%D0%B0_(...

[Иван Шумов]

Саша Попов, и? то что он был создан для определенных целей и предметной области не значит что сам по себе он решает проблемы безопасности

[Владимир Коротенко]

Саша Попов, он не страхует от логических ошибок. Например типичное: боковое ускорение превысило размерность переменной. Или какой то дятел использовал беззнаковую переменную для высоты

[Griboks]

Саша Попов,

Хоар выразил своё сожаление тем, что «погремушки и побрякушки возобладали над фундаментальными требованиями надёжности и безопасности» и предостерёг от «армады ракет, летящих не туда из-за не обнаруженной вовремя ошибки в компиляторе Ады».

[Александр Попов]

Иван Шумов, Ну да так как это ещё зависит от того как его напишут.Просто Ada была создана для работы там где требуется высокая надёжность и безопасность.

[Иван Шумов]

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

[denizen]

Саша Попов, но это таки не помогло

Answer 2

[uvelichitel]

А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем.

https://ru.wikipedia.org/wiki/%D0%90%D0%B4%D0%B0_(...

Answer 3

[Владимир Коротенко]

Да ни какой. Есть стандарты и процедуры которые позволяют добиться надёжности. Все это описано в том числе и в руководствах по программированию, есть инструменты которые анализируют ваш код и выдают рекомендации , для медицины, пром автоматики и автомотива это практически неизбежно.

Answer 4

[Developer]

Языки программирования не решают проблем безопасности

Answer 5

[Griboks]

Надёжность и безопасность - это абстрактные понятия. Например, ваша программа может слишком сильно нагреть процессор и превысить рабочую температуру. Или возможна утечка памяти, которая проявится через год непрерывной работы. Или ваша программа сломается в южном полушарии (так падали американские самолёты). А однажды ПВО в Африке не сработало из-за однопоточности программы.

Иными словами, вам надо определиться с конкретными показателями и их значениями, затем методами их обеспечения, затем уже подобрать язык.

Answer 6

[mayton2019]

По надежности рантайма - хорошо идёт Erlang. Он способен накатывать патчи без ребута приложения. Его даже не рекомендуют запускать в докере т.к. его преимущества теряются из-за контейнера.

По надежности языка разработки - согласен с предыдущими ораторами насчет Ады. Но насчет перспектив - я ХЗ. Не знаю как там для современной разработки.

Современная восходящая звезда надёжности фазы компилляции - это Rust. Его изначально создавали с целью фиксить дефекты С++. Просто на основании опыта накопленного в Mozilla. И на основании анализа уязвимостей из тех которые уже были внедрены в код Мозиллы из за фундаментальных дефектов языка С++.

Comments

[uvelichitel]

Современная восходящая звезда надёжности фазы компилляции - это Rust.

Тестовый браузер Servo падает на втором клике мышки(на моей машине), благодать opensource, колхозная поделка хобби инженеров разной, неподтвержденной компетенции)) Все сертифицированные компиляторы Ada обязаны проходить тест стандарта Министерства обороны США))

[mayton2019]

uvelichitel, я не понял ваш комментарий.

Answer 7

[jcmvbkbc]

Какой язык программирования лучше подходит для встраиваемых решений с требованием к повышенной надёжности и безопасности?

Максимально выразительный, который подходит для встраиваемого решения по остальным параметрам (доступность для данной платформы/быстродействие/размер программы/...).
Почему? Потому что (Steve McConnell, "Code Complete"):

Industry average experience is about 1–25 errors per 1000 lines of code
for delivered software. The software has usually been developed using a hodge-podge
of techniques (Boehm 1981, Gremillion 1984, Yourdon 1989a, Jones 1998, Jones 2000,
Weber 2003). Cases that have one-tenth as many errors as this are rare; cases that have
10 times more tend not to be reported.

Поразительно, как дружно Иван Шумов Владимир Коротенко и Developer отвечают на какой-то другой вопрос. Народ, ну? Вы серьёзно не видите разницы между "какой язык лучше подходит" и "какой язык решает проблемы"?

Comments

[Иван Шумов]

ну может просто когда знаешь с десяток языков программирования и тонну фреймворков со временем понимаешь что

Cases that have one-tenth as many errors as this are rare; cases that have
10 times more tend not to be reported.

является полнейшей чушью в современном мире

[jcmvbkbc]

Иван Шумов, какие-нибудь подтверждения этому, кроме "просто когда знаешь"?

[Иван Шумов]

jcmvbkbc, человеческий фактор. На фоне всех процессов и инструментов, которые используются для обеспечении безопасности и надежности кода - влияние самого языка не занимает и десятой доли процента. Вот и все. Мы же говорим про повышенную надежность и безопасность. Если же мы пишем просто код то, конечно, там язык сыграет большую роль, но тут про надежность и безопасность говорить вообще не приходится. Говорю как архитектор, который встречается регулярно с подобными требованиями бизнеса и вынужден решать проблемы обеспечения этих ASR. Когда так происходит то даже квалификация программиста играет только роль "сможет написать нужный код или нет"