Modularity and architecture of PLC-based software for automated production Systems: An analysis in industrial companies

B Vogel-Heuser, J Fischer, S Feldmann… - Journal of Systems and …, 2017 - Elsevier
Adaptive and flexible production systems require modular and reusable software especially
considering their long-term life cycle of up to 50 years. SWMAT4aPS, an approach to …

Modelling and analysing resilient cyber-physical systems

A Bennaceur, C Ghezzi, K Tei, T Kehrer… - 2019 IEEE/ACM 14th …, 2019 - ieeexplore.ieee.org
From smart buildings to medical devices to smart nations, software systems increasingly
integrate computation, networking, and interaction with the physical environment. These …

[HTML][HTML] Maintainability and evolvability of control software in machine and plant manufacturing—An industrial survey

B Vogel-Heuser, F Ocker - Control engineering practice, 2018 - Elsevier
Abstract Automated Production Systems (aPS) have lifetimes of up to 30–50 years,
throughout which the desired products change ever more frequently. This requires flexible …

Architecting dynamic cyber-physical spaces

C Tsigkanos, T Kehrer, C Ghezzi - Computing, 2016 - Springer
We increasingly live in cyber-physical spaces: spaces that are both physical and digital, and
where the two aspects are intertwined. Cyber-physical spaces may exhibit a range of …

Assessing the usefulness of a visual programming IDE for large-scale automation software

B Wiesmayr, A Zoitl, R Rabiser - Software and Systems Modeling, 2023 - Springer
Industrial control applications are usually designed by domain experts instead of software
engineers. These experts frequently use visual programming languages based on …

A model-based approach to automated validation and generation of PLC code for manufacturing equipment in regulated environments

D McCarthy, D McMorrow, NP O'Dowd, CT McCarthy… - Applied Sciences, 2022 - mdpi.com
Validation is a critical stage of the equipment design process as it provides documentary
evidence that the equipment is performing as per specification and ensures consistent …

The IDEA of Us: An Identity-Aware Architecture for Autonomous Systems

C Gavidia-Calderon, A Kordoni, A Bennaceur… - ACM Transactions on …, 2024 - dl.acm.org
Autonomous systems, such as drones and rescue robots, are increasingly used during
emergencies. They deliver services and provide situational awareness that facilitate …

Industry 4.0 interface for dynamic reconfiguration of an open lab size automated production system to allow remote community experiments

S Bougouffa, K Meßzmer, S Cha… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
Nowadays, there are various use cases and proprietary demonstrators for Industry 4.0 or
Cyber Physical Production Systems (CPPS) developed, operated and maintained by one or …

Formal methods in designing critical cyber-physical systems

M Askarpour, C Ghezzi, D Mandrioli, M Rossi… - … Software Engineering to …, 2019 - Springer
Abstract Cyber-Physical Systems (CPS) are increasingly applied in critical contexts, where
they have to support safe and secure operations, often subject to stringent timing …

[PDF][PDF] Durchgängiges Wissensmanagement von OT-Security-Wissen im Lebensweg von Produktionsanlagen

C Tebbe - Helmut Schmidt Universität/Universität der …, 2021 - scholar.archive.org
Die Zuverlässigkeit von Produktionsanlagen wird durch Angriffe auf die Security der
Operational Technology (OT) bedroht. Diese Problematik betrifft Unternehmen und Betreiber …