In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools.
Wentao WangNan NiuMounifah AlenaziLi Da XuPublished in: IEEE Trans. Ind. Informatics (2019)
Keyphrases
- production system
- multistage
- formal methods
- production process
- production rules
- software tools
- certainty factor
- end users
- software architecture
- tool support
- control structure
- control system
- life cycle
- expert systems
- production line
- software artifacts
- markov decision
- lot streaming
- knowledge base
- multiprocessor architecture
- automated theorem provers