Аэрокосмическая и Оборонная отрасли
SCADE® – Квалифицирован по стандартам DO-178B/C
Новое руководство по DO-178C для авионики – Скачать!
Рост цен на топливо, финансовые трудности, новая нормативно-правовая база, геополитические интересы и военные действия, ведут к преобразованию аэрокосмического и оборонного рынков.
Аэрокосмические и Оборонные компании разрабатывают Ключевые Бизнес-Инициативы направленные на снижение стоимости полета посредством разработки более эффективных самолетов, чтобы повысить безопасность и комфорт пассажиров, разработки интеллектуальных и доступных ISR продуктов, а так же инженерного военного снаряжения для самообслуживания.
Данные инициативы имеют глубокое влияние на процессы разработки, вместе с постоянно растущими нормативными требованиями, такими как переход от DO-178B к DO-178C, что влечет за собой увеличение расходов и акцентирование внимания на процессах верификации и валидации, управления качеством и надежности на протяжении всей жизни воздушных судов, а также необходимость управления сложностью и обеспечение междисциплинарного взаимодействия использования передовых практик системного проектирования.
Миссия компании Esterel Technologies заключается в предоставлении продуктов, решений и услуг для удовлетворения этих требований и обеспечения реализации наилучших практик: разработка сертифицированной интерактивной кабинной индикации, соответствующей стандарту ARINC 661, разработка IMA/FACE совместимого сертифицируемого встраиваемого управляющего ПО, совместная симуляция интегрированной мультифизики и ПО, так же ARP 4754 как наилучшей практики Модельно-Ориентированного Системного Проектирования.
![]() |
|
![]() |
||
Сертификация |
Документация |
Решения и Выгоды |
Доказанный на практике международный успех
Esterel Technologies предоставляет промышленно-доказанные, модельно-ориентированные решения для разработчиков критических по безопасности систем и ПО, позволяющие сократить расходы, риски и время на сертификацию.
Esterel Technologies имеет самый большой в мире опыт использования ее продуктов для разработки и сертификации по стандарту DO-178B.
В настоящее время, более чем 120 типов систем было сертифицировано с применением инструментов SCADE, сертифицированных по стандартам DO-178B/C, для более чем 60 авиационных программ, с привлечением многочисленных сертифицирующих органов, по всему миру, таких как FAA, EASA, Transport Canada, и ANAC, до уровня А включительно.
В число наших клиентов входит несколько сотен аэрокосмических и оборонных компаний, производителей военно-морских и наземных транспортных средств по всему миру, включая: Airbus, BAE SYSTEMS, COMAC, EADS, GE, Lockheed, Pratt & Whitney, U.S. Army и .т.д.
На протяжении нескольких лет Esterel Technologies работала в комитете DO-178C для того, чтобы её решения удовлетворяли требованиям этого нового стандарта, снизилась стоимость соответствия для наших клиентов, и у них была возможность плавного перехода от одного стандарта к другому.
Руководство по ARP 4754
Эффективная Разработка Авиационных Систем в соответствии с целями ARP-4754A с применением модуля SCADE System®
Esterel Technologies выпустило уникальное руководство по ARP 4754, в котором рассматриваются вопросы построения процесса, структурирования и производительности в рамках системного проектирования авиационных приложений.
Данное руководство рассматривает регулирующие рекомендации ARP 4754 и предлагает оптимизацию процессов разработки и последующей верификации, которая может быть достигнута при помощи методологии и инструментов SCADE System®, совместимых со всеми возможностями разработки ПО предлагаемыми инструментами SCADE Suite® и SCADE Display®, возможностями управления жизненным циклом предлагаемым инструментом SCADE LifeCycle®, и возможностями симуляции разнородных моделей в ANSYS® Simplorer®.
![]() |
Руководство ARP-4754A |
Руководство по DO-178B
Esterel Technologies разработало набор, доступных для скачивания, уникальных руководств по стандарту DO-178B, для:
Графических приложений |
Управляющей логики |
Эти руководства включают в себя этапы разработки и верификации, а так же инструкции по разработке оптимальных моделей с последующей генерацией оптимального кода, такие как:
- Модельно-ориентированная разработка в среде SCADE
- Оптимизация модели и кода
- Timing & Stack оптимизация
- Симуляция и анализ покрытия модели тестами
- Формальная верификация
- Автоматическая генерация кода при помощи KCG
- Действия по верификации компилятора C
Специфические решения для Аэрокосмической и Оборонной отраслей
Esterel Technologies, при тесном сотрудничестве со своими заказчиками, в дополнение к своим основным предложениям, разработала конкретные решения удовлетворяющие потребностям Аэрокосмической и Оборонной отраслей:
-
Решения SCADE для ARINC 661 совместимых систем
-
Решения SCADE для IMA и FACE совместимых систем
Приложения для Аэрокосмической и Оборонной отраслей, разработанные при помощи инструментов SCADE
Гражданские Авиационные Приложения
|
|
Приложения в Оборонной и Космической Программах
|
|
Аэрокосмические и Оборонные программы с применением продуктов SCADE
Гражданские программы
|
|
Оборонные программы
|
|
Выгоды от Применения Решений SCADE
- Улучшает коммуникацию между командами разработчиков ПО и системными инженерами, коммуникацию с клиентами, поставщиками и сертифицирующими органами
- Модельное проектирование в качестве общего графического языка
- Улучшает процесс сопровождения приложений в долгосрочной перспективе
- Сопровождение модели vs. Сопровождение кода
- Независимость от целевой платформы
- Исполняемые спецификации
- ARINC 653/IMA/FACE-совместимые решения
- SCADE обеспечивает Точность и Качество документаци
- Генерируется автоматически
- Обеспечивает Раннее выявление недостатков дизайна
-
Автоматическая верификация функционала модели
-
Исполняемые спецификации улучшают понимание
-
- Сокращает стоимость разработки и верификации
- Снижение расходов на тестирование низкого уровня благодаря сертифицированным генераторам кода
- Разработка линейки продуктов
- Генерация различных вариантов приложения из одной модели
- Совместимость UA/CDS с архитектурой ARINC 661
- Законченные модельно-ориентированные решения ARINC 661
- Сокращает риски, время и стоимость сертификации по DO-178 B/C
- Кодогенераторы квалифицированы по стандартам DO-178B/C до уровня A
- Анализатор покрытия модели тестами и автоматически генератор отчетной документации, квалифицированы как верификационные инструменты