Human-Centered Safety Analysis of Prospective Road Designs.
Andreas GregoriadesAlistair G. SutcliffeGeorgios PapageorgiouPanos LouvierisPublished in: IEEE Trans. Syst. Man Cybern. Part A (2010)
Keyphrases
- human centered
- safety analysis
- nuclear power plant
- control system
- safety critical
- ambient intelligence
- symbolic model checking
- fault model
- human centric
- human robot interaction
- model checking
- neural network
- reliability analysis
- formal methods
- multimedia databases
- query processing
- knowledge base
- embedded systems
- load balancing
- distributed systems
- fuzzy logic
- hidden markov models
- real time