Manuel méthodologique en ligne pour le développement de systèmes critiques
En employant les méthodes formelles de l'ingénierie logicielle basée sur les mathématiques, le projet MATISSE (Methodologies and Technologies for Industrial Strength Systems Engineering) prend en charge des contrôles de validation tout au long du cycle de développement. Ces contrôles couvrent les techniques d'essai, la vérification des modèles et les techniques de simulation, permettant ainsi l'établissement de directives fondamentales, ainsi que le développement de méthodologies et les améliorations techniques. Structuré en trois composants correspondant à différents niveaux de compétence en matière d'ingénierie logicielle, le manuel peut être lu soit en entier, soit sous la forme de trois documents séparés et liés. Le texte introductif est destiné aux responsables, tout en servant d'introduction à la section sur la gestion de projet, et se conclut par la section destinée aux techniciens, qui comprend des exemples pratiques. Globalement, le document de 316 pages expose les raisons d'être d'un modèle de logiciel et se base sur l'analyse et la mise en oeuvre de 3 études de cas pratiques. Les deux études de cas avérées, qui ont formé la pierre d'angle du spectre de potentiel des futures applications, sont un testeur intégré de systèmes de cartes à puce multi-applications, et un système de signalisation et de surveillance ferroviaire. La troisième étude de cas, un système de diagnostic santé, n'a pas encore été testé, bien que le partenaire concerné soit pressé de tirer profit de ses avantages pour son entreprise. Les logiciels critiques eux-mêmes sont développés de manière à ce que la majorité des méthodes puissent être intégrées dans les cycles de vie existants d'ingénierie système, afin de réduire au minimum les coûts de développement en cours et à venir. Ces méthodologies étendent ensuite le champ d'application des méthodes formelles et offrent des améliorations aux technologies associées à ce type de méthodes formelles. En un mot, le projet vise à exploiter et améliorer des méthodes génériques existantes, associées à des applications techniques critiques à base de logiciels. MATISSE sera ainsi en mesure d'assurer des bénéfices en matière d'ingénierie des logiciels, nettement supérieures à ce qui aurait pu être réalisé par ailleurs, dans la mesure où les avantages de l'application perdureront au-delà de la durée de vie du projet actuel. Le CNRS (Centre national de la recherche scientifique) propose l'utilisation de ses outils complémentaires d'ingénierie logicielle aux futurs partenaires intéressés par l'intégration de leurs méthodes formelles hétérogènes dans cette méthodologie. Le document complet de 316 pages est accessible en permanence à l'URL suivante: http://eriscs.esil.univmed.fr/dotclear/public/PAPERS/Matisse_Handbook.pdf(s’ouvre dans une nouvelle fenêtre)
