Testing Safety Critical Systems with SysML/UML.
Matthew HauseAndrew StuartDavid RichardsJon HoltPublished in: ICECCS (2010)
Keyphrases
- formal methods
- safety critical
- safety analysis
- nuclear power plant
- knowledge based systems
- formal specification
- software intensive systems
- software engineering
- model checking
- fault tolerant
- artificial intelligence
- distributed systems
- modeling language
- embedded systems
- fault model
- agent architecture
- support systems
- real time
- learning systems
- e learning
- machine learning