Model-Based Testing of Safety Critical Real-Time Control Logic Software
Yevgeny GerlitsAlexey V. KhoroshilovPublished in: MBT (2012)
Keyphrases
- safety critical
- real time control
- model based testing
- formal methods
- safety analysis
- embedded systems
- test cases
- control system
- fault tolerant
- agent architecture
- software design
- software development
- software testing
- support systems
- testing process
- adaptive systems
- real time
- software systems
- source code
- learning systems
- high level