Advances in modeling, verification and testing of safety-critical software architectures.
Abderrahim Ait WakrimeYassine OuhammouPublished in: Innov. Syst. Softw. Eng. (2022)
Keyphrases
- software architecture
- safety critical
- formal methods
- safety analysis
- embedded software
- description language
- software engineering
- embedded systems
- nuclear power plant
- formal verification
- fault tolerant
- design patterns
- agent architecture
- software development
- distributed systems
- reinforcement learning
- model checking
- support systems
- software systems
- fault model
- database
- product line
- case study
- artificial intelligence