Современная электроника №9/2019

РЫНОК 7 WWW.SOEL.RU На правах рекламы СОВРЕМЕННАЯ ЭЛЕКТРОНИКА ◆ № 9 2019 B OSCH ПРИМЕНЯЕТ СТАТИЧЕСКИЕ АНАЛИЗАТОРЫ A BS I NT Компания AbsInt GmbH, производитель средств статического анализа программно- го обеспечения критически важных для без- опасности встраиваемых систем, объяви- ла об интеграции компанией Robert Bosch GmbH продуктов AbsInt в процессы разра- ботки и верификации ПО автомобильных систем Bosch, в частности систем рулево- го управления. Компания Robert Bosch применяет два статических анализатора AbsInt: Astree – анализатор C-программ на отсутствие ди- намических (run-time) ошибок и состязаний за данные и RuleChecker – контроллер нор- мативов кодирования и сбора метрик про- граммного кода на языке С. Оба анализа- тора используются Bosch по глобальной (worldwide) лицензии с правом использо- вания в любом подразделении в мире. Анализатор Astree исследует текст про- граммы и обнаруживает потенциальные ошибки времени исполнения (run-time): де- ление на ноль, выход индекса массива за пределы, нулевые, неинициализированные и повисшие указатели, арифметические пе- реполнения (целочисленные и с плавающей точкой), чтение неинициализированных пе- ременных, состязания за данные при досту- пе из параллельно исполняющихся потоков, некорректные вызовы стандартных систем- ных сервисов ARINC 653, OSEK и AUTOSAR и другие программные дефекты, способ- ные привести к нарушению функциональ- ной безопасности (safety) и информацион- ной безопасности (security). Astree анализи- рует сотни тысяч строк программного кода за десятки минут без «ложных тревог», ис- пользуется более 10 лет в авиационных и космических проектах, автомобильной про- мышленности и атомной энергетике. Анали- затор RuleChecker поддерживает стандарты: MISRA C:2004, MISRA C:2012, MISRA C:2012 Amendment 1, ISO/IEC TS 17961:2013, SEI CERT Secure C и MITRE CWE (Common Weakness Enumeration). Все анализаторы AbsInt сопровождаются пакетом поддерж- ки квалификации QSK (Qualification Support Kit) для сертификации по стандартам без- опасности программного обеспечения ISO 26262, DO-178C, EN 50128 и др. Другие продукты компании AbsInt: aiT – статический анализатор времени испол- нения наихудшего случая WCET (Worst Case Execution Time) ПО одноядерных процессоров; TimeWeaver – анализатор времени исполнения наихудшего слу- чая WCET ПО многоядерных процессо- ров; StackAnalyzer – статический анали- затор размера используемого стека для доказательства отсутствия ситуаций пе- реполнения стека; CompCert – формаль- но верифицированный оптимизирующий С-компилятор. Анализаторы компании AbsInt разрабо- таны с использованием математическо- го аппарата Абстрактной Интерпретации (Abstract Interpretation) , отсюда и назва- ние компании. Все продукты AbsInt доступ- ны для 30-дневного тест-драйва. Дистрибьютор компании AbsInt в Рос- сии – компания «АВД Системы», поставщик средств разработки программного обеспе- чения критически важных для безопасности, сертифицируемых встраиваемых компью- терных систем. www.avdsys.ru/wcet СОВРЕМЕННЫЕ ТЕХНОЛОГИИ Реклама