В настоящее время линейка поддерживает процессоры ARM 9, C166, C166SV2, Cortex A9, Cortex M3, Cortex M4F, Cortex R4F, PPC e200 и PPC e500. Помимо сертификата и сертификационной документации, комплекты CERT также включают исполняемый файл системы и комплексное программное решение для проверки.
Система, входящая в состав Cert-Kits, в первую очередь служит для проверки правильности реализации клиентом предварительно сертифицированного исходного кода ядра реального времени и успешной генерации ядра реального времени с корректной конфигурацией. Для этого программное обеспечение для проверки, запускаемое на соответствующей оценочной плате, генерирует отчет, который служит документацией этого этапа. Затем аппаратная конфигурация может быть адаптирована для критически важного проекта в области безопасности или, по желанию, использована в качестве полной замены интерфейса доступа к оборудованию (также известного как интерфейс поддержки бизнес-процессов). Последующий запуск программного обеспечения для проверки генерирует отчет, который служит доказательством корректной работы операционной системы реального времени.
Комплекты CERT содержат все необходимые элементы для создания исполняемого приложения. К ним относятся сертифицированный исходный код, различные руководства по программному обеспечению, такие как руководства по безопасности, интеграции с целевым устройством, руководства пользователя и справочные руководства, а также системное руководство. Комплект CERT также содержит программное обеспечение для валидации, такое как эталонный BSP (пакет поддержки платы) и сертификат TÜV, подтверждающий соответствие предварительно сертифицированного программного компонента требованиям безопасности. По запросу заказчику может быть предоставлена тестовая среда. При необходимости, или если это требуется для сертификации, доступен полный пакет дополнительной сертификационной документации. Если аппаратный программный интерфейс комплектов CERT будет использоваться в проекте, критически важном с точки зрения безопасности, предоставляются также все необходимые элементы для сертификации.
«Мы помогаем нашим клиентам на всех этапах сертификации — от планирования до сертификации в центрах TÜV (органов по оценке и сертификации)», — объясняет Томас Аманн, управляющий директор Embedded Office. «Кроме того, Embedded Office сертифицирует BSP и разрабатывает библиотеки самотестирования. Эти библиотеки позволяют запускать на микроконтроллерах приложения, критически важные с точки зрения безопасности. Они содержат подробные методы диагностики, которые обеспечивают надлежащее функционирование контроллера путем выполнения основных тестов технологий безопасности. Самотестирование используется для обнаружения и устранения неисправностей. Эти тесты включают проверку инструкций и регистров ЦП, тактовой частоты ФАПЧ, загрузочной ОЗУ, оперативной памяти, программного обеспечения мониторинга и флэш-памяти»
Компания Embedded Office имеет многолетний опыт работы в сфере безопасности. Сертифицированная по стандартам DIN EN ISO 9001, компания уже участвовала в многочисленных критически важных проектах по обеспечению безопасности, используя свои программные компоненты и предоставляя консультационные услуги по индивидуальным проектам. По запросу клиентам также может быть предоставлена тестовая среда.
