Socio-technical systems are increasingly becoming software-intensive. The challenge now
is to design the architecture of such software-intensive systems for guaranteeing not only its …

Aujourd'hui, la conception ne porte plus sur de simples objets, mais sur des systèmes
complexes, sociotechniques et ouverts. Les systèmes de conduite de procédés font partie …

Ladder diagram is a widely used language for programming PLCs (Programmable Logic
Controllers). The presence of a vulnerability in these programs and its exploitation by an …

Afin de faciliter la compréhension et l'interprétation des contre-exemples, retournés par les
Model-Checkers, cet article présente une approche, basée sur l'IDM pour la visualisation et …

Le besoin d'amélioration imposé aux industriels, ainsi que le besoin de rendre les systèmes
plus performants, plus sûrs, plus ergonomiques, offrant toujours plus de fonctionnalités aux …

La conception des systèmes de contrôle-commande souffre souvent des problèmes de
communication et d'interprétation des spécifications entre les différents intervenants …