[HTML][HTML] Evolution of software in automated production systems: Challenges and research directions

B Vogel-Heuser, A Fay, I Schaefer, M Tichy - Journal of Systems and …, 2015 - Elsevier
Coping with evolution in automated production systems implies a cross-disciplinary
challenge along the system's life-cycle for variant-rich systems of high complexity. The …

An overview of model checking practices on verification of PLC software

T Ovatman, A Aral, D Polat, AO Ünver - Software & Systems Modeling, 2016 - Springer
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering–aspects on behavioral semantics and model-checking

D Witsch, B Vogel-Heuser - IFAC Proceedings Volumes, 2011 - Elsevier
This paper presents the core concepts for PLC-statecharts–an adaptation of UML-
statecharts–which can be used as a visual programming language for PLCs. They combine …

Selected challenges of software evolution for automated production systems

B Vogel-Heuser, S Feldmann, J Folmer… - 2015 IEEE 13th …, 2015 - ieeexplore.ieee.org
Automated machines and plants are operated for some decades and undergo an
everlasting evolution during this time. In this paper, we present three related open evolution …

Interface behavior modeling for automatic verification of industrial automation systems' functional conformance

C Legat, J Mund, A Campetelli… - at …, 2014 - degruyter.com
To facilitate engineering and evolution of automation systems, ensuring the correctness of
the design models is an important topic. Industrial automation systems are composed of …

Analytic calculus of response time in networked automation systems

B Addad, S Amari, JJ Lesage - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
This paper presents a novel approach to evaluate the response time in networked
automation systems (NAS) that use a client/server protocol. The developments introduced …

Measuring the impact of vertical integration on response times in Ethernet fieldbuses

B Denis, S Ruel, JM Faure, G Frey… - 2007 IEEE Conference …, 2007 - ieeexplore.ieee.org
The introduction of Ethernet and Internet technologies in the fieldbuses of automation
systems widely facilitates vertical integration. Control functions can coexist more easily with …

Расчет некоторых параметров промышленной вычислительной сети объектов повышенного риска эксплуатации на примере АСУТП АЭС

С Масолкин, ВГ Промыслов - Проблемы управления, 2010 - cyberleninka.ru
Разработана модель сегмента отделения АСУТП АЭС, верифицирован способ
расчета временных характеристик системы при худшей комбинации входных условий …

Client-server networked automation systems reactivity: Deterministic and probabilistic analysis

B Addad, S Amari, JJ Lesage - IEEE transactions on …, 2011 - ieeexplore.ieee.org
In this paper, we present an analytic approach to evaluate the reactivity of client-server
networked automation systems (NASs). Both deterministic and probabilistic analyses are …

A virtual-queuing-based algorithm for delay evaluation in networked control systems

B Addad, S Amari, JJ Lesage - IEEE Transactions on Industrial …, 2010 - ieeexplore.ieee.org
In this paper, an approach to evaluate time performances of networked control systems
(NCSs) is presented. Switched Ethernet with a client/server protocol is considered for …