Ingénierie du logiciel

• Description de la thématique 4 : Ingénierie du logiciel

Cet axe recouvre toute l’économie du logiciel c’est-à-dire la fabrication via des processus, méthodes efficaces et rationnels de logiciel (applications, composants, services et agents logiciels) à grande échelle via des outils intégrés de modélisation/développement du logiciel, dont l’utilisation est la plus aisée possible. Cet axe a un intérêt marqué sur le logiciel libre clef de l’indépendance, de la conservation de souveraineté, du contrôle de la sécurité des logiciels ; il n’exclut cependant pas le logiciel propriétaire comme moyen de développement économique et/ou de protection de connaissances/savoir-faire.
On considère les concepts, techniques et outils de l’ingénierie logicielle dont ingénierie des besoins/exigences, évolution/maintenance, validation/vérification, test, débogage systématique/automatique, preuve, certification, programmation, bibliothèques de code/modèles, variabilité (dont ingénierie ligne de produits), réutilisation, rétro-ingénierie, compatibilité/interopérabilité, évaluation/garantie de performance, facilité d’utilisation…, l’ingénierie des modèles, la composabilité (l’aptitude de briques matérielles/logicielles à être assemblées et aisément/immédiatement intégrées) de ces systèmes, la réconciliation de points de vue et contraintes architecturales multiples dans des démarches méthodologiques bien codifiées et/ou agiles avec des paradigmes de calcul émergents comme les agents, composants, services, nuages… Dans ces démarches, une préoccupation est l’articulation entre les différents niveaux d’ingénierie (i.e., « niveau système » et niveau logiciel/matériel) et les moyens d’assurer cohérence et efficacité. On s’intéresse aussi particulièrement à l’usager dans la boucle de conception pour des problèmes de facilité d’utilisation, d’acceptabilité, de prise en compte efficace de besoins, de réactivité des applications aux changements en général sans rupture du service fourni.

• Projets financés dans la thématique 4 :

-    INS 2011. Paral-ITP - Parallélisation des systèmes de preuve interactifs de haute fiabilité
-    INS 2011. VERASCO - Vérification formelle d'analyseurs statiques et de compilateurs
-    ARPEGE 2009.    CESSA - Évolution compositionnelle par aspects de services sécurisés
-    ARPEGE 2009.    Galaxy - Développement collaboratif de systèmes complexes selon une approche guidée  par les modèles
-    ARPEGE 2009.    TASCCC     - Test Automatique basé sur des Scénarios et évaluation Critères Communs
-    ARPEGE 2009.    VERIDYC - Vérification de logiciel C avec structures de mémoire dynamiques
-    ARPEGE 2008.    U3CAT - Unification des Techniques d'Analyse de Code C Critique
-    ARPEGE 2008.    MOVIDA - Support à la modélisation de vues et aide à ma décision pour les architectes
-    ARPEGE 2008.    RT-SIMEX - REtro-ingénerie de Traces d'analyse de SIMulation et d'EXécution de systèmes temps-réel
-    ARPEGE 2008. ASOPT    Analyse Statique et OPTimisation
-    ARPEGE 2008.    BINCOA - Techniques symboliques  pour l'analyse de code binaire