• Регистрация
Статьи и вопросы по тегу "авионика"

Статьи и вопросы по тегу "авионика"

  • Все 2
  • Статьи 2
Авионика — совокупность всех систем, разработанных для использования в авиации в качестве бортовых приборов.
Подробнее о тренинге "Моделирование систем и алгоритмов для предприятий аэрокосмической отрасли", который проводит ЦИТМ Экспонента.
  • Публикация
  • 10.08.2020
Nikolay
Nikolay +1688.94
н/д
Достаточно много было споров о том, как создавать программное обеспечение повышенной надежности, обсуждались методологии, подходы к организации разработки, инструменты. Но среди всех этих обсуждений теряется то, что разработка софта - это процесс, причем доста...

Всем привет! В этой статье я хочу поговорить о достаточно мало рассматриваемой теме анализа кода систем повышенной надежности. В интернете уже написано очень много статей о том, что такое хороший статический анализ, но в этой статье я бы хотел рассказать о том, что такое формальная верификация кода, а также объяснить опасность бездумного применения статических анализаторов и стандартов кодирования.

10.08.2020
  • Публикация
  • 05.08.2019
Sancho
Sancho +95.02
н/д
Вступление Современные решения для контроля и мониторинга систем управления самолётом (Flight Control System) – сложный программно-аппаратный комплекс, работу которого, пожалуй, в целом не знает ни один из сотрудников и разработчиков. Это сродни проектам...

В основе разработки ПО авионики лежит основополагающий стандарт RTCA\DO-178B. Несмотря на первый взгляд на его отстранённость от непосредственной рутины программиста, он описывает весь процесс разработки и выдвигает требования к подобному ПО. Тем не менее, в данной статье речь пойдёт и о том, как всё происходит на самом деле, на основе личного опыта разработки систем контроля и управления полётом, систем посадки и пр. для самолётов и вертолётов.

05.08.2019