Ingénierie système et logicielle

La conception et la réalisation de systèmes, et en particulier de systèmes à logiciel prépondérant, nécessite une démarche suffisamment rigoureuse pour éviter les écueils d’une mauvaise spécification (sous-spécification ou sur-spécification), et suffisamment flexible pour s’adapter rapidement aux évolutions, tant organisationnelles que techniques ou technologiques.

De ce fait, l’axe scientifique « Ingénieries système et logicielle » s’intéresse à la conception et au développement agiles et robustes de systèmes complexes dans le domaine des technologies de l’information avec des approches collaboratives, la mise en œuvre d’une ingénierie des modèles et des langages et des techniques de vérification et validation (tests, model-checking, preuve). La compréhension des besoins et l’élicitation des exigences doivent aboutir à une architecture système/logicielle optimisée opérant un compromis satisfaisant et dans un délai raisonnable entre les différentes propriétés fonctionnelles et extra-fonctionnelles (performance, coût, consommation, etc.) pour l’ensemble des parties prenantes.

L’axe s’intéresse également aux sujets liés à la capitalisation et à la réutilisation : les approches à composants, les schémas de processus ou les schémas logiciels. Au regard de l’évolution des entreprises vers le service, ces sujets ont aujourd’hui une importance cruciale avec des retombées très importantes en matière de time-to-marketou de réduction des risques et des coûts.

Une attention particulière est apportée également à l’analyse de la sûreté de fonctionnement et plus précisément aux approches qui autorisent la prise en compte des propriétés dynamiques des systèmes et de l’enchaînement de défaillances. La diagnosticabilitédes systèmes, la preuve formelle, le pronostic, les méthodes de diagnostic avancées couplées à des stratégies de maintenance préventive conditionnelle œuvrent à la maîtrise des risques et l’optimisation de la santé des systèmes maintenus.