DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.
Résumé
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.