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...
Spremljeno u:
| Glavni autori: | , , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2019-10-01
|
| Serija: | Труды Института системного программирования РАН |
| Teme: | |
| Online pristup: | https://ispranproceedings.elpub.ru/jour/article/view/1170 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|