ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines.
Houssem GuissoumaMarc SchindewolfEric SaxPublished in: SEAA (2021)
Keyphrases
- safety critical
- formal methods
- product line
- product lines
- embedded systems
- safety analysis
- software architecture
- fault tolerant
- software systems
- nuclear power plant
- software development
- agent architecture
- user interface
- software product line
- regulatory requirements
- formal verification
- support systems
- building blocks
- knowledge based systems
- modeling language
- design patterns
- software engineering
- data warehouse
- database systems
- artificial intelligence