Developing safety critical software for an unmanned aerial vehicle situational awareness tool.
Ricky E. SwardMark GerkenPublished in: SIGAda (2006)
Keyphrases
- safety critical
- situational awareness
- unmanned aerial vehicles
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- agent architecture
- real time
- adaptive systems
- support systems
- smart grid
- cooperative
- software development
- software engineering
- cyber security
- control system
- databases
- path planning
- low cost
- object oriented