Model-based dependability analysis of unmanned aerial vehicles: a case study (2018)
- Authors:
- USP affiliated authors: BRANCO, KALINKA REGINA LUCAS JAQUIE CASTELO - ICMC ; BRAGA, ROSANA TERESINHA VACCARE - ICMC
- Unidade: ICMC
- DOI: 10.1109/DSN-W.2018.00073
- Subjects: AERONAVES NÃO TRIPULADAS; ENGENHARIA DE SOFTWARE; SISTEMAS EMBUTIDOS; SOFTWARES; MODELOS MATEMÁTICOS
- Keywords: Dependability Analysis; UAV; Fault tree analysis; FTA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Los Alamitos, CA
- Date published: 2018
- Source:
- Título do periódico: Proceedings
- ISSN: 2325-6664
- Conference titles: Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops - DSN-W
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FRANCO, Matheus Lopes et al. Model-based dependability analysis of unmanned aerial vehicles: a case study. 2018, Anais.. Los Alamitos, CA: IEEE, 2018. Disponível em: https://doi.org/10.1109/DSN-W.2018.00073. Acesso em: 24 abr. 2024. -
APA
Franco, M. L., Branco, K. R. L. J. C., Braga, R. T. V., Oliveira, A. L. de, Dezan, C., & Diguet, J. -P. (2018). Model-based dependability analysis of unmanned aerial vehicles: a case study. In Proceedings. Los Alamitos, CA: IEEE. doi:10.1109/DSN-W.2018.00073 -
NLM
Franco ML, Branco KRLJC, Braga RTV, Oliveira AL de, Dezan C, Diguet J-P. Model-based dependability analysis of unmanned aerial vehicles: a case study [Internet]. Proceedings. 2018 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/DSN-W.2018.00073 -
Vancouver
Franco ML, Branco KRLJC, Braga RTV, Oliveira AL de, Dezan C, Diguet J-P. Model-based dependability analysis of unmanned aerial vehicles: a case study [Internet]. Proceedings. 2018 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/DSN-W.2018.00073 - PB-SmartClass: um modelo arquitetural baseado em projetos colaborativos para salas de aula do futuro
- Museus virtuais e ecomuseus: uma experiência fazendo uso de IoT
- Aplicando internet das coisas na educação: tecnologia, cenários e projeções
- SAFE-CRITES: developing safety-critical embedded systems supported by reuse techniques
- Adapting a software product line engineering process for certifying safety critical embedded systems
- Evolving Tiriba design towards a product line of small electric-powered UAVs
- Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação
- Incorporating certification in feature modelling of an unmanned aerial vehicle product line
- ProLiCES: an approach to develop product lines for safety-critical embedded systems
- Contribuições na área de Sistemas Distribuídos e Redes de Computadores e suas aplicações em Sistemas Embarcados Críticos
Informações sobre o DOI: 10.1109/DSN-W.2018.00073 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas