ИСТИНА

Представлен анализ развития языков программирования, применяемых для разработки встроенных систем реального времени с критическими требованиями к надежности. В качестве ведущей тенденции в области разработки и сопровождения таких систем выделена все возрастающая роль официальных стандартов безопасности и надежности (таких, как DO-178) и активное использование в современной программной индустрии технологий и инструментов, поддерживающих эти стандарты. Из современных индустриальных языков программирования, используемых в этой области (Джава, Си/Си++, Ада) в наибольшей степени требования индустрии отражены в последней редакции стандарта Ады (ISO/IEC 8652), принятой в 2012 году. Существенным шагом в развитии языка стала возможность включать в текст программы предикаты, формализующие элементы спецификации, и автоматически вычисляемые в ходе ее выполнения. Это явилось непосредственным ответом на требования стандартов надежности и безопасности к обеспечению прослеживаемости (traceability) исходной функциональной спецификации системы в реализующем ее программном коде. Синтез в рамках индустриального языка программирования традиционных для таких языков абстракций и механизмов и концепций, ранее применявшихся для формального доказательства правильности программ, является совершенно новой тенденцией в развитии языков. Есть все основания предполагать, что данная тенденция окажет влияние и на другие языки.