Design, implementation and verification of MILS systems.
Julien DelangeLaurent PautetFabrice KordonPublished in: Softw. Pract. Exp. (2012)
Keyphrases
- formal methods
- highly modular
- industrial strength
- design methodology
- building blocks
- design criteria
- design issues
- implementation issues
- successful deployment
- design methodologies
- learning systems
- case study
- functional verification
- safety critical
- design processes
- rapid prototyping
- expert systems
- computer aided
- design process
- distributed systems
- management system
- human computer interface
- future development
- interactive systems
- embedded systems
- knowledge based systems
- multimodal biometrics
- hardware designs
- computer systems
- user interface