STADIUM: a new tool for high assurance in systems design.
Rufus H. CoferT. J. SandersPublished in: ICECCS (1995)
Keyphrases
- high assurance
- distributed systems
- knowledge based systems
- access control
- software systems
- fault tolerant
- operating system
- design process
- building blocks
- design criteria
- information systems
- artificial intelligence
- neural network
- operating environment
- embedded systems
- design requirements
- design principles
- real world
- mechanical systems
- interactive systems
- design space
- design methodology
- user interface
- complex systems
- case study