TY - GEN
T1 - DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories
AU - John, Jobish
AU - Ghosal, Amrita
AU - Margaria, Tiziana
AU - Pesch, Dirk
N1 - Publisher Copyright:
© 2021, The Author(s).
PY - 2021
Y1 - 2021
N2 - In many industries, traditional automation systems (operating technology) such as PLCs are being replaced with modern, networked ICT-based systems as part of a drive towards the Industrial Internet of Things (IIoT). The intention behind this is to use more cost-effective, open platforms that also integrate better with an organisation’s information technology (IT) systems. In order to deal with heterogeneity in these systems, middleware platforms such as EdgeX Foundry, IoTivity, FI-WARE for Internet of Things (IoT) systems are under development that provide integration and try to overcome interoperability issues between devices of different standards. In this paper, we consider the EdgeX Foundry IIoT middleware platform as a transformation engine between field devices and enterprise applications. We also consider security as a critical element in this and discuss how to prevent or mitigate the possibility of several security risks. Here we address secure data access control by introducing a declarative policy layer implementable using Ciphertext-Policy Attribute-Based Encryption (CP-ABE). Finally, we tackle the interoperability challenge at the application layer by connecting EdgeX with DIME, a model-driven/low-code application development platform that provides methods and techniques for systematic integration based on layered Domain-Specific Languages (DSL). Here, EdgeX services are accessed through a Native DSL, and the application logic is designed in the DIME Language DSL, lifting middleware development/configuration to a DSL abstraction level. Through the use of DSLs, this approach covers the integration space domain by domain, technology by technology, and is thus highly generalizable and reusable. We validate our approach with an example IIoT use case in smart manufacturing.
AB - In many industries, traditional automation systems (operating technology) such as PLCs are being replaced with modern, networked ICT-based systems as part of a drive towards the Industrial Internet of Things (IIoT). The intention behind this is to use more cost-effective, open platforms that also integrate better with an organisation’s information technology (IT) systems. In order to deal with heterogeneity in these systems, middleware platforms such as EdgeX Foundry, IoTivity, FI-WARE for Internet of Things (IoT) systems are under development that provide integration and try to overcome interoperability issues between devices of different standards. In this paper, we consider the EdgeX Foundry IIoT middleware platform as a transformation engine between field devices and enterprise applications. We also consider security as a critical element in this and discuss how to prevent or mitigate the possibility of several security risks. Here we address secure data access control by introducing a declarative policy layer implementable using Ciphertext-Policy Attribute-Based Encryption (CP-ABE). Finally, we tackle the interoperability challenge at the application layer by connecting EdgeX with DIME, a model-driven/low-code application development platform that provides methods and techniques for systematic integration based on layered Domain-Specific Languages (DSL). Here, EdgeX services are accessed through a Native DSL, and the application logic is designed in the DIME Language DSL, lifting middleware development/configuration to a DSL abstraction level. Through the use of DSLs, this approach covers the integration space domain by domain, technology by technology, and is thus highly generalizable and reusable. We validate our approach with an example IIoT use case in smart manufacturing.
KW - Domain-specific languages
KW - EdgeX-Foundry
KW - Predictive maintenance
KW - Secured access
UR - http://www.scopus.com/inward/record.url?scp=85118135928&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-89159-6_10
DO - 10.1007/978-3-030-89159-6_10
M3 - Conference contribution
AN - SCOPUS:85118135928
SN - 9783030891589
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 146
EP - 161
BT - Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings
A2 - Margaria, Tiziana
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Science and Business Media Deutschland GmbH
T2 - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021
Y2 - 17 October 2021 through 29 October 2021
ER -