Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques

The creation of reliable unmanned aerial vehicles (drones) now is an important task in the science and technology, because such devices can have a lot of use-cases in the digital economy and modern life, so we need to ensure the reliability here. In this article, it is proposed to assemble a quadcop...

وصف كامل

التفاصيل البيبلوغرافية

الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	Sergey Mikhailovich Staroletov, Maxim Stanislavovich Amosov, Kirill Mikhailovich Shulga
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-10-01
الموضوعات:	квадрокоптер операционная система партицирование arinc 653 формальная верификация
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1170