cortos3.gif CORTOS est une ACI "Sécurité Informatique".
CORTOS signifie "Control and Observation of Real-Time Open Systems".
drapeau_gb.gif

Thèmes abordés

Participants à l'ACI

IRCCyN (Nantes) LSV (Cachan) VERIMAG (Grenoble)
Franck Cassez
Julien D'Orso
Guillaume Gardey
Didier Lime
Olivier Roux
Olivier-Henri Roux
Houda Bel Mokadem
Béatrice Bérard
Patricia Bouyer
Laura Bozzelli
Thierry Cachat
Fabrice Chevalier
Stéphane Demri
François Laroussinie
Nicolas Markey
Ghassan Oreiby
Antoine Petit
Pierre-Alain Reynier
Karine Altisen
Thao Dang
Moez Krichen
Stavros Tripakis

Les noms en gras correspondent aux responsables de l'ACI dans les différents établissements partenaires.

Résumé du projet

La plupart des systèmes critiques actuels intègrent un module de contrôle/commande dont le bon fonctionnement est essentiel pour la sécurité de l'ensemble. C'est le cas notamment des systèmes embarqués, utilisés en avionique et en automatique industrielle. Un système dont l'évolution dépend de l'environnement dans lequel il est plongé est qualifié d'ouvert. La synthèse de contrôleur consiste, lorsque cela est possible, à construire un programme (le contrôleur) qui pilote les mécanismes d'interaction avec l'environnement de façon à garantir un fonctionnement sûr et correct, éventuellement dans un environnement hostile. Le système résultant de l'adjonction du contrôleur est alors fermé. Le contrôleur construit doit être contraignant pour garantir les propriétés de sécurité, mais doit être suffisamment permissif pour ne pas réduire inutilement les comportements du système. Les problèmes de contrôle ont été relativement bien étudiés pour les systèmes discrets non temporisés depuis deux décennies, et les questions théoriques majeures sont aujourd'hui résolues. Cependant, de nombreux systèmes intègrent une notion explicite de temps, par exemple en exigeant des délais de réponse. Grâce à l'introduction des automates temporisés et des automates hybrides au début des années 1990, la vérification de tels systèmes a connu un développement important, tant sur le plan théorique que pratique. Les jalons sont donc maintenant posés pour pouvoir attaquer le problème de la synthèse de contrôleur dans un cadre temporisé. Quelques travaux ont déjà vu le jour, mais les résultats obtenus sont disparates et ne tiennent pas suffisamment compte de la spécificité des systèmes temporisés. Par exemple, il est nécessaire d'intégrer des aspects temps-réel dans l'observation des systèmes ayant certains comportements masqués, de prendre en compte un temps non discret, et d'exprimer la correction du contrôle, ce qui est nettement plus difficile que d'énoncer les propriétés de sûreté classiques. Dans ce projet, nous envisageons de poursuivre l'étude du contrôle temporisé, les travaux existant à ce jour étant peu nombreux. Nous proposons d'aborder les points suivants :

Rapports

Réunions

Publications





Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.
Valid HTML 4.01! Valid CSS!