Login / Signup
Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques.
Zhensheng Guo
Dirk Zeckzer
Peter Liggesmeyer
Oliver Mäckel
Published in:
ICSEA (2010)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
control system
mobile robot
fault model
symbolic model checking
model checking
path planning
fault tolerant
real time
agent architecture
formal methods
temporal logic
reliability analysis
dynamic systems
low cost
software engineering
multi agent systems
multi agent