Procédés logiciels et Ingénierie des modèles (2009)

shared_uid1078
titleProcédés logiciels et Ingénierie des modèles
typeJournée
year2009
start_date2010/05/18
stop_date2010/05/19
schedule09h-17h30
activeno
websitehttp://neptune.irit.fr/index.php?option=com_content&view=category&layout=blog&id=22&Itemid=25
summaryL’ingénierie dirigée par les modèles et, en particulier, les processus de développement logiciel à base de modèles ont toujours été au centre des préoccupations des Journées Neptune. Ils correspondent à un paradigme dans lequel le code source n’est plus considéré comme l’élément central d’un logiciel, mais comme un élément dérivé d’éléments de modélisation. Cette approche prend toute son importance dans le cadre des architectures logicielles et matérielles dirigées par les modèles utilisant des standards tels que les spécifications MDA (Model-Driven Architecture) proposées par l’OMG. De telles architectures s’intègrent tout naturellement dans un processus de développement à base de modèles s’assurant, à chaque niveau de modélisation, que les modèles obtenus et réutilisés ont les qualités requises. Cette démarche dirigée par les modèles met le modèle au centre des préoccupations des analystes/concepteurs. Leur élaboration devient donc centrale et leur validation un aspect essentiel en particulier lors de la réalisation de systèmes embarqués. Pour cette septième édition nous allons, donc, centrer ces journées sur la modélisation de tels systèmes et sur leur validation grâce aux méthodes formelles. La modélisation de systèmes embarqués nécessite souvent l’utilisation de concepts particuliers absents de langages tels qu’UML. Elle nécessite donc l’utilisation de langages spécifiques tels que SysML. La validation via des méthodes formelles permet de prouver une modélisation. Cette preuve est obtenue en transformant une modélisation dans un formalisme rigoureux et généralement basé sur les mathématiques. La preuve est alors obtenue par l’utilisation d’un prouveur qui réalise la démonstration généralement en mode interactif. Les recherches, menées jusqu’à ce jour dans le cadre de collaborations académiques/industrielles montrent que ces technologies intéressent de plus en plus d’industriels. Elles ont pour effet non négligeable d’accroître la qualité de la conception et donc du code produit afin de garantir toutes les qualités que l’on exige de tels systèmes et donc de préparer efficacement les phases de certification. L’objectif de ces septièmes Journées Neptune est de présenter un panorama des recherches incitatives dans le domaine du MDE et des systèmes embarqués. La première journée (18 mai) sera consacrée à l’utilisation des méthodes formelles pour valider une conception. La seconde (19 mai) sera dédiée, d’une part, a l’utilisation du formalisme SysML dans l’approche MDE et, d’autre part, à des projets permettant de valider des systèmes utilisant l’approche MDE.
responsiblesMillan
Manifestation #150828 - created on 2010/04/12