Ingénierie dirigée par les modèles
De nos jours, le développement logiciel repose de plus en plus dans l’utilisation de modèles, qu’il s’agisse de système d’information d’entreprises (utilisation de modèles de processus métiers, UML...) ou de système de contrôle critiques (avec l’utilisation de modèles plus rigoureux permettant un traitement mathématique formel). Ces modèles peuvent intervenir à divers stade : modèles des exigences, des spécifications, architecture (model-driven architecture), test (model-based testing) et être assemblé pour former une chaîne de transformations.
Les sociétés réalisant des développement IT considèrent de plus en plus de tels modèles parce qu’ils permettent
- de maîtriser la complexité croissante
- d’automatiser certaines parties du développement
- de détecter plus facilement et plus tôt des erreurs
- de disposer d’une meilleure traçabilité
- de mieux répondre aux exigences de certification
- d’augmenter la réutilisabilité Il y a cependant un coût lié à l’apprentissage de la notation, au temps de modélisation, au déploiement des outils associés
Le département SSE dispose d’une expertise pointue sur tout le spectre des langages de modélisation, depuis des modèles légers (tels qu’UML, BPMN) jusqu’à des méthodes formelles permettant un raisonnement poussé (Promela, Event-B, AADL...). Le département maîtrise également de nombreux outils de modélisation (voir labo de génie logiciel) et est régulièrement amené à conseiller les entreprises en la matière.
Projets de recherche
- QualIHM - Méthodologie outillée pour la Qualité des Interfaces Homme-Machine (Software Services Technologies, Interfaces Utilisateurs, Software and System Engineering, Recherche Collective, Wallonie, En cours, Coordinateur, QualIHM)
- PIPAS - Pilotage de Processus Adaptatifs de Soins (Santé, Software and System Engineering, WIST, Wallonie, En cours, PIPAS)
- BEM - Business Event Manager (Transport, Software and System Engineering, Plan Marshall, Wallonie, En cours, BEM)
- DEPLOY - Déploiement industriel de méthodes avancées d’ingénierie de systèmes pour une meilleure productivité et fiabilité (Software and System Engineering, 7e Programme Cadre, Europe, Terminé, Sûreté de fonctionnement, DEPLOY)
- FAUST - Formal Analysis Using Specification Tools (Ingénierie des exigences, Software and System Engineering, Phasing Out Objectif 1, Wallonie, Terminé, FAUST)
Publications scientifiques
0 | 10De Landtsheer R, Ponsard C, Massonet P., "Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models", Second International Workshop on Security in Model Driven Architecture, University of Pierre & Marie Curie, Paris, France, June 16th 2010. (Sécurité et confiance, Software and System Engineering, Communication scientifique)
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, Paris, France, June 15, 2010. (Logiciel Embarqué, Software and System Engineering, Communication scientifique, DEPLOY, SPICES)
Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop (University of Newcastle Technical Report), Decembre 2009. (Software and System Engineering, Communication scientifique, DEPLOY)
Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet, "From Goal-Oriented Requirements to Event-B Specifications", The First NASA Formal Methods Symposium (NFM 2009), Moffett Field, California (USA), April 6-8, 2009. (Ingénierie des exigences, Software and System Engineering)
Christophe Ponsard, Gaetan Deberdt, Joel Tournemenne, "Modelling Parliamentary Workflows a Case Study in Belgian Parliaments”, Interdisciplinary Workshop on Regulations Modelling and Deployment (ReMoD08, Montpellier), 17 June 2008. (Software and System Engineering, Communication scientifique)
Dallons G., Massonet P., Molderez J.F., Ponsard C., Arenas A., ’An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in Grid-based Virtual Organisations’, First International Workshop on Security, Trust and Privacy in Grid Systems (Grid-STP 2007), Nice (France), Septembre 2007. (Sécurité et confiance, Software and System Engineering, Grid Computing, Communication scientifique)
C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical systems’, in Journal of Formal Methods in System Design (Springer), vol 30, nr 3, June 2007. (Ingénierie des exigences, Software and System Engineering, Publications scientifiques)
C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their Validation and Verification (REMO2V), Luxembourg, June 2006. (Ingénierie des exigences, Software and System Engineering, Communication scientifique)
C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical Systems, 9th Formal Methods for Industrial Critical Systems, Linz (Austria), September 2004. (Ingénierie des exigences, Software and System Engineering, Publications scientifiques, FAUST)
J.F. Molderez, C. Ponsard, Deriving Acceptance Tests from Goal Requirements, 2nd International Mozart/Oz Conference, Charleroi (Belgium), September 2004. (Software and System Engineering, Publications scientifiques, FAUST, Test logiciel)
Blog
- L’IT pour maîtriser ses processus métiers - Modélisation des processus optimisée au profit des entreprises (Software and System Engineering)
- Gérer des événements imprévus au sein de processus complexes - BEM - Business Event Manager (Transport, Software and System Engineering, Plan Marshall, BEM)
- Exécution de workflow cliniques en oncologie - Projet PIPAS (Santé, Software and System Engineering, WIST, PIPAS)