Flexible Design of Complex High-Integrity Systems Using Trade Offs.
Iain BateNeil C. AudsleyPublished in: HASE (2004)
Keyphrases
- trade off
- complex systems
- building blocks
- design criteria
- interactive systems
- technical systems
- knowledge based systems
- physical systems
- highly flexible
- design methodology
- wide range
- high assurance
- information systems
- intelligent systems
- distributed systems
- high level
- embedded systems
- case study
- design decisions
- formal methods
- design space
- human computer interface
- complex software systems
- mechanical systems
- highly modular
- changing environment
- support systems
- design issues
- neural network
- computer aided
- software systems
- user interface
- e learning
- real world