DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.

Jolahn Vaudey (1) , Eric Rutten (1) , Stéphane Mocanu (1) , Gwenaël Delaval (1)

1 CTRL-A - Control for Autonomic computing systems

Source code for an eclipse plugin, allowing the user to describe ICS instances that follows the IEC 62443 zone/conduit model. Uses xtext for the textual IDE, and Sirius for the graphical one. Also contains an application, using constraint programming to reconfigure a modeled system under attack. This controller is generated from a description.

Domaines: Informatique [cs]

Jolahn Vaudey, Eric Rutten, Stéphane Mocanu, Gwenaël Delaval. DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.. 2024, ⟨swh:1:dir:7d672d5b175bebcacb220d68867db4f127f372d5;origin=https://gitlab.inria.fr/jvaudey/iec62433-dsl;visit=swh:1:snp:ff3978f2eac26aa7d82e10abb5543562589f7507;anchor=swh:1:rev:505c77d8dfdfa1495d6497f7dd1b0811c7553d40⟩. ⟨hal-04573409⟩