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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2019-10-01
|
| Colecção: | Труды Института системного программирования РАН |
| Assuntos: | |
| Acesso em linha: | https://ispranproceedings.elpub.ru/jour/article/view/1170 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|