Разработчики встраиваемых систем реального времени ждут не дождутся сертификации Java для своих нужд. Пока по промышленному стандарту DO-178B для бортового авиационного оборудования (допускаются опасные, но не катастрофические сбои ПО), не говоря уже о более жестком DO-178A, не удается проверить ни Java, ни ряд других объектно-ориентированных систем. Парадоксальная причина в том, что Java — язык “излишне” высокоуровневый, жалуются эксперты. Он требует системы поддержки времени выполнения, то есть сертификации по DO-178B (когда при тестировании надо гарантированно выполнить каждую строчку кода) подлежат не только Java-программы, но и виртуальные Java-машины. В то же время популярность и мощь Java столь высока, что одна из рабочих групп по Java-стандартизации JSR-302 готовит небольшое подмножество Java-среды, которое сможет пройти различные процедуры сертификации для критических задач. В частности, отключена будет автоматическая сборка мусора, динамическая загрузка классов и некоторые семантические элементы поддержки параллельного выполнения, и существуют единичные реализации Java по этим неофициальным пока нормам. Не исключен также и пересмотр самого стандарта DO-178B в сторону смягчения и детализации требований.

Версия для печати