[HTML][HTML] Evolution of software in automated production systems: Challenges and research directions
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 …
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
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …
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 …
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 …
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
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 …
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 …
automation systems (NAS) that use a client/server protocol. The developments introduced …
Measuring the impact of vertical integration on response times in Ethernet fieldbuses
The introduction of Ethernet and Internet technologies in the fieldbuses of automation
systems widely facilitates vertical integration. Control functions can coexist more easily with …
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 …
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 …
(NCSs) is presented. Switched Ethernet with a client/server protocol is considered for …