Open AccessDesigning robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
Author(s) -
Staroletov Sergey Mikhailovich,
Amosov Maxim Stanislavovich,
Shulga Kirill Mikhailovich
Publication year - 2019
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2019-31(4)-3
Subject(s) - quadcopter , computer science , avionics , software , avionics software , embedded system , embedded software , flight management system , real time control system software , component based software engineering , software system , operating system , engineering , flight simulator , aerospace engineering