ACCESS: Assurance Case Centric Engineering of Safety-critical Systems.
Ran WeiSimon FosterHaitao MeiFang YanRuizhe YangIbrahim HabliColin O'HalloranNick TudorTim KellyPublished in: CoRR (2024)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- adaptive systems
- support systems
- artificial intelligence
- software intensive systems
- management system
- software development
- medical images
- learning process
- expert systems
- decision making
- real time
- regulatory requirements