Informatique Critique (IC)

Responsable : Karama KANOUN
Secrétaire :Sonia DE SOUSA
"Vers une informatique plus sûre et plus résiliente"

Les activités de recherche du thème informatique critique concernent la conception et l’analyse de systèmes de traitement de l’information complexes qui doivent satisfaire les exigences très strictes imposées par des applications fortement contraintes. Ces exigences s’expriment par un ensemble de propriétés, définies en termes de contraintes temporelles, de qualité de service, de sûreté de fonctionnement et de sécurité informatique.
Les activités conduites au sein du thème et qui motivent sa dénomination sont : la définition, l'exploitation et l'outillage de méthodes et techniques, à la fois formelles et expérimentales, pour la conception, la vérification, l'évaluation et l’exploitation de systèmes critiques, à logiciel prépondérant.
Les défis ont trait à la complexité et aux fortes interactions qui caractérisent de plus en plus les systèmes considérés et sont aussi liés aux besoins émergents en matière de mobilité, d’autonomie et de capacité d’évolution.
Les principaux travaux concernent :

  • L’ingénierie des systèmes complexes mettant en œuvre processus interdisciplinaire, mettant l’accent sur les processus de conception et de validation.
  • La formalisation des étapes de spécification, de vérification et de test des logiciels, en renforçant notamment l’intégration des outils associés au processus de développement industriel.
  • La sûreté de fonctionnement et la résilience des systèmes informatiques vis-à-vis de différentes aspects : interactions entre les composants, mobilité des utilisateurs, des dispositifs et des services, etc.
  • L’évaluation quantitative des propriétés par la modélisation stochastique, par de la mesure en environnements réels ou simulés, en fonctionnement nominal ou perturbé, et par l’analyse et la caractérisation des comportements ainsi obtenus.
  • La vérification des propriétés comportementales des systèmes temporellement critiques par la définition de techniques formelles de description d'architectures et de comportements, et de techniques de vérification par model-checking.
  • La définition de politiques et de modèles, ainsi que le développement de nouvelles technologies, respectant à la fois les exigences de sécurité et de protection de la vie privée.
Mots clés :
  • Ingénierie système
  • Ingénierie des exigences
  • Techniques formelles pour la description et la vérification
  • Architectures et protocoles pour la sûreté de fonctionnement
  • Modélisation, prototypage, expérimentation
  • Vérification, validation, test et évaluation
  • Sécurité informatique et protection de la vie privée
Anglais

Crucial Computing
Towards more dependable and more resilient computing

The research activities of the Crucial Computing theme address the design and analysis of complex information systems that need to satisfy the strict requirements of highly constrained applications. These requirements may be expressed by a set of properties, defined in terms of timeliness, quality of service, dependability and security.