Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação (2009)
- Authors:
- USP affiliated authors: TRINDADE JUNIOR, ONOFRE - ICMC ; BRAGA, ROSANA TERESINHA VACCARE - ICMC ; BRANCO, KALINKA REGINA LUCAS JAQUIE CASTELO - ICMC
- Unidade: ICMC
- Subjects: AERONAVES NÃO TRIPULADAS; MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE; SEGURANÇA DE EQUIPAMENTOS; CERTIFICAÇÃO ISO
- Keywords: UAV; embedded systems; development methodologies; safe-critical systems; certification standards
- Language: Português
- Imprenta:
- Publisher: Sociedade Brasileira de Automática (SBA)
- Publisher place: Brasília
- Date published: 2009
- Source:
- Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI
-
ABNT
TRINDADE JUNIOR, Onofre et al. Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação. 2009, Anais.. Brasília: Sociedade Brasileira de Automática (SBA), 2009. Disponível em: https://fei.edu.br/sbai/SBAI2009/artigos/ROB%C3%93TICA%20A%C3%89REA%20II/56206.pdf. Acesso em: 27 set. 2024. -
APA
Trindade Junior, O., Braga, R. T. V., Neris, L. de O., & Branco, K. R. L. J. C. (2009). Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação. In Anais. Brasília: Sociedade Brasileira de Automática (SBA). Recuperado de https://fei.edu.br/sbai/SBAI2009/artigos/ROB%C3%93TICA%20A%C3%89REA%20II/56206.pdf -
NLM
Trindade Junior O, Braga RTV, Neris L de O, Branco KRLJC. Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação [Internet]. Anais. 2009 ;[citado 2024 set. 27 ] Available from: https://fei.edu.br/sbai/SBAI2009/artigos/ROB%C3%93TICA%20A%C3%89REA%20II/56206.pdf -
Vancouver
Trindade Junior O, Braga RTV, Neris L de O, Branco KRLJC. Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação [Internet]. Anais. 2009 ;[citado 2024 set. 27 ] Available from: https://fei.edu.br/sbai/SBAI2009/artigos/ROB%C3%93TICA%20A%C3%89REA%20II/56206.pdf - Evolving Tiriba design towards a product line of small electric-powered UAVs
- SAFE-CRITES: developing safety-critical embedded systems supported by reuse techniques
- Adapting a software product line engineering process for certifying safety critical embedded systems
- Incorporating certification in feature modelling of an unmanned aerial vehicle product line
- ProLiCES: an approach to develop product lines for safety-critical embedded systems
- PB-SmartClass: um modelo arquitetural baseado em projetos colaborativos para salas de aula do futuro
- Model-based dependability analysis of unmanned aerial vehicles: a case study
- The ProLiCES approach to develop product lines for safety-critical embedded systems and its application to the unmanned aerial vehicle domain
- Museus virtuais e ecomuseus: uma experiência fazendo uso de IoT
- A layered approach to design autopilots
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas