ICAS-PAT: A software for design, analysis and validation of PAT systems.
Ravendra SinghKrist V. GernaeyRafiqul GaniPublished in: Comput. Chem. Eng. (2010)
Keyphrases
- computer systems
- software architecture
- software design
- building blocks
- design issues
- industrial strength
- object oriented systems
- formal methods
- statistical analysis
- design concepts
- user interface
- safety critical
- static analysis
- development methodologies
- safety analysis
- embedded systems
- software systems
- source code
- model validation
- development kit
- high assurance
- data analysis
- computer aided software engineering
- product line
- software environment
- interactive systems
- hardware design
- analysis tool
- support systems
- design tools
- modeling language
- software tools
- design principles
- design process
- knowledge based systems
- management system