IEC 61499 skill-based distributed design pattern

L Sonnleithner, AL Hager, A Zoitl… - 2023 IEEE 28th …, 2023 - ieeexplore.ieee.org
Cyber-physical production systems (CPPSs) are modern production systems that aim to
integrate the latest techniques and technologies from IT to enable flexible/adaptive …

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499

P Ovsiannikova, E Le Priol, V Perret… - 2023 IEEE 32nd …, 2023 - ieeexplore.ieee.org
A rigorous check is a significant phase in the design process of control programs of safety-
critical cyber-physical systems. Here, we consider such programs to be implemented using …

A Data-to-Product Multimodal Conceptual Framework to Achieve Automated Software Evolution for Context-rich Intelligent Applications

S Yue - arXiv preprint arXiv:2404.04821, 2024 - arxiv.org
While AI is extensively transforming Software Engineering (SE) fields, SE is still in need of a
framework to overall consider all phases to facilitate Automated Software Evolution (ASEv) …

Bad Smells in Steuerungssoftware für automatisierte Produktionssysteme

L Sonnleithner, A Gutiérrez, R Rabiser… - at …, 2023 - degruyter.com
Zusammenfassung Bad Smells sind suboptimale Strukturen oder Muster in Software, die zu
einer Verschlechterung der Softwarequalität führen können, da sie unter anderem …