Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods.
Adina AniculaeseiAndreas VorwaldMeng ZhangAndreas RauschPublished in: ICSA Companion (2021)
Keyphrases
- safety critical
- formal methods
- data driven
- safety analysis
- knowledge based systems
- software engineering
- real time
- model checker
- model checking
- artificial intelligence
- fault tolerant
- formal specification
- regulatory requirements
- management system
- agent architecture
- support systems
- embedded systems
- software architecture
- temporal logic
- software agents
- case study
- data mining