Formally Verified Firmware Modules for Industrial Process Automation.
Wolfgang A. HalangBernd J. KrämerNorbert VölkerPublished in: SAFECOMP (1995)
Keyphrases
- process automation
- software evolution
- industrial applications
- operating system
- service oriented architecture
- power consumption
- computer systems
- building blocks
- knowledge structures
- neural network
- workflow management systems
- highly modular
- modular structure
- modular architecture
- industrial processes
- artificial intelligence
- reverse engineering
- functional modules
- error detection
- real time
- end to end
- source code
- case study
- website
- databases