Trustworthy variant derivation with translation validation for safety critical product lines.
Alexandru F. Iosif-LazarAndrzej WasowskiPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- safety critical
- product lines
- product line
- software systems
- embedded systems
- formal methods
- fault tolerant
- software product line
- safety analysis
- agent architecture
- software development
- management practices
- support systems
- adaptive systems
- software engineering
- regulatory requirements
- databases
- decision support
- formal specification
- model checking
- real time