Login / Signup
Identifying safety-critical concerns in unmanned aerial vehicle software platforms with SALIENT.
Sajad Khatiri
Andrea Di Sorbo
Fiorella Zampetti
Corrado Aaron Visaggio
Massimiliano Di Penta
Sebastiano Panichella
Published in:
SoftwareX (2024)
Keyphrases
</>
safety critical
unmanned aerial vehicles
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
regulatory requirements
adaptive systems
low cost
software systems
path planning
model checking
cooperative