The evolution of factory and building automation

T Sauter, S Soucek, W Kastner… - IEEE Industrial …, 2011 - ieeexplore.ieee.org
This article gives an overview of the general concepts, underlying technologies, similarities,
and differences in the factory and building automation fields and explores issues and trends …

Model-based validation of industrial control systems

E Estévez, M Marcos - IEEE Transactions on Industrial …, 2011 - ieeexplore.ieee.org
Current industrial applications demand the design of more and more complex, safe and
trustworthy control systems exhibiting a high degree of flexibility and reutilization. To achieve …

Semantic integration of plug-and-play software components for industrial edges based on microservices

W Dai, P Wang, W Sun, X Wu, H Zhang, V Vyatkin… - IEEE …, 2019 - ieeexplore.ieee.org
The industrial cyber-physical system enables collaboration between distributed nodes
across industrial clouds and edge devices. Flexibility and interoperability could be …

Automation software architecture in cpps-definition, challenges and research potentials

B Vogel–Heuser, EM Neumann… - 2022 IEEE 5th …, 2022 - ieeexplore.ieee.org
The importance of a mature, maintainable design of automation software in Cyber-Physical
Production Systems (CPPS) is continuously increasing since a growing proportion of the …

Model-driven design and development of flexible automated production control configurations for industry 4.0

U Gangoiti, A López, A Armentia, E Estévez… - Applied Sciences, 2021 - mdpi.com
The continuous changes of the market and customer demands have forced modern
automation systems to provide stricter Quality of service (QoS) requirements. This work is …

MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software

L Liu, E Jee, DH Bae - Software Testing, Verification and …, 2022 - Wiley Online Library
Function block diagram (FBD) is a standard programming language for programmable logic
controllers (PLCs). PLCs have been widely used to develop safety‐critical systems such as …

FabHandWear: An end-to-end pipeline from design to fabrication of customized functional hand wearables

L Paredes, SS Reddy, S Chidambaram… - Proceedings of the …, 2021 - dl.acm.org
Current hand wearables have limited customizability, they are loose-fit to an individual's
hand and lack comfort. The main barrier in customizing hand wearables is the geometric …

PLCopen for achieving interoperability between development phases

E Estévez, M Marcos, A Lüder… - 2010 IEEE 15th …, 2010 - ieeexplore.ieee.org
As fast as industry reaches a greater maturity level and applications become more complex,
a consolidation of the modeling methodologies becomes necessary. They are composed by …

On applying MDE for generating reconfigurable automation systems

R Priego, A Armentia, E Estévez… - 2015 IEEE 13th …, 2015 - ieeexplore.ieee.org
The continuous changes on the market and customer demands have forced modern
automation systems to provide more strict Quality of Service (QoS) requirements such as …

Re-use of IEC 61131-3 structured text for IEC 61499

M Wenger, A Zoitl - 2012 ieee international conference on …, 2012 - ieeexplore.ieee.org
Because of the wide industrial adoption of IEC 61131-3 there exist a large amount of
libraries and know-how, much of it in ST. Reusing these for IEC 61499 can greatly reduce …