Место функционального моделирования в задачах отработки встроенного программного обеспечения систем реального времени (Лев Гореликов, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
StasFomin (обсуждение | вклад) |
||
В первой части доклада производится анализ особенностей отладки и анализ существующих методов и средств отладки встроенного программного обеспечения доверенных систем реального времени. Обосновывается необходимость применения функциональных моделей встроенных систем ответственного применения для отладки программного обеспечения в составе стендов имитационного моделирования сложных технических систем.
Во-второй части доклада формируются требования к функциональным моделям встроенных систем реального времени. Производится анализ существующих решений, отвечающих вышеупомянутым требованиям, для реализации функциональных моделей встроенных систем реального времени.
В заключительной части будет представлен опыт реализации функциональной модели бортовой цифровой вычислительной машины космического назначения.
</blockquote>
{{VideoSection}}
{{vimeoembed|378879226|800|450}}
{{youtubelink|_U3qhCBDJxA}}
{{letscomment}}
{{SlidesSection}}
[[File:Место функционального моделирования в задачах отработки встроенного ПО ОСРВ.pdf|left|page=-|300px]]
{{----}}
[[File:{{#setmainimage:Место функционального моделирования в задачах отработки ПО ОСРВ !.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->
{{fblink|2506709992915340}}
{{vklink|1605}}
<references/> | |||
Текущая версия на 07:19, 20 октября 2025
- Докладчик
- Лев Гореликов
Целью доклада является изложение опыта разработки и отладки встроенного программного обеспечения доверенных систем жесткого реального времени в аэрокосмической отрасли.
В первой части доклада производится анализ особенностей отладки и анализ существующих методов и средств отладки встроенного программного обеспечения доверенных систем реального времени. Обосновывается необходимость применения функциональных моделей встроенных систем ответственного применения для отладки программного обеспечения в составе стендов имитационного моделирования сложных технических систем.
Во-второй части доклада формируются требования к функциональным моделям встроенных систем реального времени. Производится анализ существующих решений, отвечающих вышеупомянутым требованиям, для реализации функциональных моделей встроенных систем реального времени.
В заключительной части будет представлен опыт реализации функциональной модели бортовой цифровой вычислительной машины космического назначения.
Видео
Презентация
Примечания и ссылки
Plays:118 Comments:1