Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.
Harold W. ThimblebyPublished in: EICS (2009)
Keyphrases
- finite state
- safety critical
- systems development
- safety analysis
- markov chain
- nuclear power plant
- support systems
- fault tolerant
- formal methods
- user interaction
- model checking
- markov decision processes
- agent architecture
- databases
- embedded systems
- finite state transducers
- software engineering
- learning algorithm
- information retrieval