2019 · 28 citations · 14 references
ComputingAutonomous SystemsComputer ScienceAerial RoboticsSoftware EngineeringUnmanned Aircraft SystemsAgent-based SimulationComputational ModelingEnvironmental SimulationFlight SimulationSimulation ModelingSoftware DesignAspect-oriented ModelingAspect-oriented ProgrammingExceptional ScenariosSimulation ScenariosUnmanned Aerial Vehicle Control
Drone simulators can provide an abstraction of different applications of drones and facilitate reasoning about distinct situations, in order to evaluate the effectiveness of these applications. In this paper we describe Dragonfly, a simulator of the behaviours of individual and collection of drones in various environments, involving random contextual variables and different environmental settings. Dragonfly supports the use of several drones in applications and evaluates the satisfaction of requirements under normal and exceptional situations. It simulates adaptive behaviours of drones due to exceptional situations. The adaption of drones is based on the use of wrappers implemented using aspect-oriented programming.
14
Run-time efficient probabilistic model checking
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli · 2011 · 190 citations
Awareness requirements for adaptive systems
Vítor E. Silva Souza, Alexei Lapouchnian, William N. Robinson et al. · 2011 · 155 citations · Full text
Engineering, Systems Engineering, Fault-tolerant Systems +11