TY - GEN
T1 - Towards Configurable Conformance Checks of PLC Software with Company-specific Guidelines
AU - Fischer, Juliane
AU - Vogel-Heuser, Birgit
AU - Haben, Fabian
AU - Beuggert, Luca
AU - Neumann, Eva Maria
N1 - Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - In machine and plant engineering, ensuring a short time-to-market to stay competitive in the global market requires planned reuse of control software. Modularity is a key enabler for the reuse of software parts in a different application, i.e., within a different project. Thereby, dependencies between modules play an essential role in software modularity and, thus, its reusability. Especially data exchange between modules via global variables (referred to as indirect data exchange) leads to hidden dependencies potentially hindering planned reuse. Currently, there are only a few general best practices for control software design available. Thus, companies define their own programming guidelines tailored to their application domain, the used development platforms and the software development team structure. However, means for checking the software's conformance to these programming guidelines are limited and violations might decrease reusability. Therefore, this paper presents a rule-based, configurable analysis concept for indirect data exchange, which considers company-specific programming guidelines. The analysis concept is prototypically implemented and successfully evaluated with a demonstrator's control software and an industrial software project. Moreover, the concept's industrial applicability is confirmed in an expert interview.
AB - In machine and plant engineering, ensuring a short time-to-market to stay competitive in the global market requires planned reuse of control software. Modularity is a key enabler for the reuse of software parts in a different application, i.e., within a different project. Thereby, dependencies between modules play an essential role in software modularity and, thus, its reusability. Especially data exchange between modules via global variables (referred to as indirect data exchange) leads to hidden dependencies potentially hindering planned reuse. Currently, there are only a few general best practices for control software design available. Thus, companies define their own programming guidelines tailored to their application domain, the used development platforms and the software development team structure. However, means for checking the software's conformance to these programming guidelines are limited and violations might decrease reusability. Therefore, this paper presents a rule-based, configurable analysis concept for indirect data exchange, which considers company-specific programming guidelines. The analysis concept is prototypically implemented and successfully evaluated with a demonstrator's control software and an industrial software project. Moreover, the concept's industrial applicability is confirmed in an expert interview.
KW - automated production systems
KW - guideline-conformance checks
KW - indirect data exchange
KW - static code analysis
UR - http://www.scopus.com/inward/record.url?scp=85135624907&partnerID=8YFLogxK
U2 - 10.1109/ICPS51978.2022.9816914
DO - 10.1109/ICPS51978.2022.9816914
M3 - Conference contribution
AN - SCOPUS:85135624907
T3 - Proceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022
BT - Proceedings - 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems, ICPS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022
Y2 - 24 May 2022 through 26 May 2022
ER -