Search

International audience; Nos industries sont confrontées à leur 4ème révolution. De nos jours, les menaces sur les systèmes de production industrielle ne sont plus seulement théoriques. L'attaque sur les fours d'aciérie allemande ciblant le système à travers l'intelligence du processus industriel (PI) en est le parfait exemple. ASSecIN est né de cette problématique, ce projet envisage comme solution une passerelle entre PI et les acteurs du processus industriel (PA). Cet équipement réseau intelligent met en oeuvre des mécanismes de détection et de réaction aux attaques. Pour tester cette solution nous avons mis au point un démonstrateur présenté en section.1 et un cas d'usage décrit en section.2 qui relate aussi nos premiers résultats. La section.3 donne les perspectives de notre travail.

This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work presented in this manuscript aims to carry out a design-by-constraints methodology, applicable to the specification of these systems. Relying on Model Driven Engineering, this methodology - based on UML/MARTE - is provided with appropriated transformations, enabling it to target a synchronous representation, in the BZR language, dedicated to the control part. This representation is in turn operated through a correct-by-construction technique - discrete controller synthesis -, which aims to automatically and safely obtain control laws corresponding to the previously specified constraints. The control part is divided into two aspects: safety, formally obtained through synthesis and providing accessible configuration space, and optimisation, implementable by the designer and providing a reconfiguration order considering an accessible configuration space. The proposed incorporation of safety and optimisation is comparable to a reactive system using a feedback loop. An example showing the methodology is presented, illustrating its benefits on both the design simplification (designing by constraints, automated approach) and security levels (formal control)., Cette thèse a pour objet l'étude de la modélisation du contrôle de la reconfiguration dans les systèmes dynamiques, plus particulièrement les systèmes sur puce dynamiquement et partiellement reconfigurables. Les travaux présentés dans ce manuscrit visent à réaliser une méthodologie de conception par contrainte du contrôle, applicable dans le cadre de la spécification de ces systèmes. Reposant sur le principe d'Ingénierie Dirigée par les Modèles, cette méthodologie - basée sur UML/MARTE - est dotée de transformations appropriées, lui permettant de cibler une représentation synchrone, en langage BZR, de la partie contrôle. Cette représentation est ensuite exploitable par une technique correcte par construction - la synthèse de contrôleur discret -, dans le but d'obtenir automatiquement et de manière sûre les lois de commande correspondant aux contraintes spécifiées en amont. La partie contrôle est plus particulièrement divisée en deux aspects : la sécurité, obtenue formellement par synthèse afin de produire des espaces de configurations accessibles, et l'optimisation, implémentable par le concepteur et produisant un ordre de reconfiguration à partir d'un espace accessible. L'intégration sécurité/optimisation proposée est assimilable à un système réactif avec boucle de rétroaction. Un exemple démontrant la méthodologie est réalisé, et fait apparaître ses avantages tant en terme de simplification de conception (spécification par contraintes, approche automatique) qu'en terme de sécurité (contrôle formel).