Место функционального моделирования в задачах отработки встроенного программного обеспечения систем реального времени (Лев Гореликов, ISPRASOPEN-2019)

Короткая ссылка: 20191206AE

Докладчик: Лев Гореликов

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