Understanding Bounding Functions in Safety-Critical UAV Software.
Xiaozhou LiangJohn Henry BurnsJoseph SanchezKarthik DantuLukasz ZiarekYu David LiuPublished in: CoRR (2021)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- nuclear power plant
- agent architecture
- regulatory requirements
- adaptive systems
- support systems
- control system
- software intensive systems
- software development
- decision making
- real time
- user interaction
- load balancing
- user interface
- expert systems
- multi agent systems
- case study
- data mining