An Open Software Architecture for the Verification of Industrial Controllers.
Heinz TreselerOlaf StursbergPaul Wai Hing ChungShuang-Hua YangPublished in: J. Univers. Comput. Sci. (2001)
Keyphrases
- software architecture
- description language
- software engineering
- reference model
- software systems
- industrial applications
- software development
- functional requirements
- distributed systems
- embedded software
- architectural design
- control system
- model checking
- design patterns
- object oriented software
- reinforcement learning
- software evolution
- decision making
- reference architecture
- databases
- object oriented
- commercial off the shelf