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