An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency

Uncrewed Aerial Systems (UASs) are widely implemented in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of implementation scenarios, UASs have become increasingly intricate. The challenge of designing and implementi...

Descripción completa

Detalles Bibliográficos

Autores principales:	Jianyu Zhang, Long Zhang, Yixuan Wu, Linru Ma, Feng Yang
Formato:	Artigo
Lenguaje:	Inglês
Publicado:	PeerJ Inc. 2025-01-01
Colección:	PeerJ Computer Science
Materias:	Uncrewed aerial systems (UAS) System reliability Architecture analysis and design language (AADL) Formal verification
Acceso en línea:	https://peerj.com/articles/cs-2575.pdf
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!