When developing a reliable controller for cyber-physical systems, one of the main issues is
to guarantee that all behaviour properties of such systems will be accomplished. For this …

Software used to monitor and control operations within an automation system is defined
using domain-specific languages. Latent errors in the control code, if left undetected, can …

In this paper, we apply formal verification and falsification of temporal logic specifications to
analyze chemical plant automation systems. We present new results, obtained by applying a …

With recent trends in manufacturing automation, control software in automated production
systems becomes more complex and has more variability to keep pace with customer and …

Automated production systems (aPS) operate for a long time with continuous and
incremental changes. However, the models for aPS have not been maintained along with …

La SNCF cherche à mettre en place des solutions innovantes permettant d'améliorer la
sécurité et les conditions de travail des chargés d'études lors des travaux d'automatisation …

Certifying Compilers are compilers that (1) compile programs from a source language into a
target language, and (2) check their results for each compilation run by using a separate …