The task oriented modelling (TOM) approach to the development of real-time safety-critical systems.

Published in: INTERCHI Adjunct Proceedings (1993)

Keyphrases

safety critical
formal methods
safety analysis
real time
support systems
fault tolerant
embedded systems
nuclear power plant
agent architecture
regulatory requirements
knowledge based systems
management system
low cost
distributed systems
case based reasoning
case study
artificial intelligence