ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees (2026)
- Authors:
- Autor USP: BRANCO, KALINKA REGINA LUCAS JAQUIE CASTELO - ICMC
- Unidade: ICMC
- DOI: 10.1007/978-3-032-05073-1_20
- Subjects: SISTEMAS AUTÔNOMOS; FALHAS COMPUTACIONAIS
- Keywords: Cyber-physical systems; Model-based system assurance; Assurance cases; Fault tree analysis
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Lecture Notes in Computer Science - LNCS
- Volume/Número/Paginação/Ano: v. 15755, p. 299-317, 2026
- Conference titles: International Symposium on Model-Based Safety and Assessment - IMBSA
- Este periódico possui versão em assinatura (ou híbrida)
- Este artigo NÃO possui versão em acesso aberto
- Status do Acesso Aberto: closed
-
ABNT
NASCIMENTO, Luis et al. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-032-05073-1_20. Acesso em: 10 mar. 2026. , 2026 -
APA
Nascimento, L., Oliveira, A. L., Villela, R., Fonseca, H., Branco, K. R. L. J. C., Wei, R., et al. (2026). ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1007/978-3-032-05073-1_20 -
NLM
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 mar. 10 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20 -
Vancouver
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 mar. 10 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20 - Smart Sensor Protocol: a new standard for UAV and payload integration
- AVENS: a novel flying ad hoc network simulator with automatic code generation for unmanned aircraft system
- Ampliando os sistemas de aeronaves não tripuladas: especificação de uma arquitetura de comunicação de dados segura e com vista à mobilidade
- Uso de VANTs e processamento digital de imagens para a quantificação de áreas de solo e de vegetação
- Experimenting broadcast storm mitigation techniques in FANETs
- Service-oriented architectures for a flexible and safe use of unmanned aerial vehicles
- Reducing energy consumption on internal communications of unmanned vehicles with HAMSTER’s Navigation Phases
- Comparison of 3D path-following algorithms for unmanned aerial vehicles
- Um algoritmo de navegação não linear 3D para veículos aéreos não tripulados
- Proposta de um sistema aberto de controle em hardware e software para VANT direcionado à entrega confiável de cargas
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3279884.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
