| progr. | system programming language in the safety-critical domain | язык системного программирования для критически важных систем безопасности (Примерами критически важных систем безопасности являются системы управления полетами воздушных судов, автоматические торговые системы, системы контроля энергоблоков атомных электростанций, медицинские системы. В критически важных системах безопасности обязательно реализуются следующие аспекты: прослеживаемость с точки зрения нормативных требований и средств обеспечения соответствия; строгий подход к разработке и тестированию; анализ безопасности; резервирование и качество архитектуры; фокусировка на качестве; высокий уровень документации, масштаб и глубина охвата документации; повышенная степень контроля деятельности в рамках жизненного цикла разработки, тестирования и верификации программного обеспечения.  tiobe.com, habr.com Alex_Odeychuk) |