Projets - Phasing Out Objectif 1

On désigne par le terme « pratiques logicielles » toute activité d’un organisme, privé ou public, qui a pour but d’introduire dans ses structures, des technologies de l’information et de la communication, de développer ses propres applications, de développer des applications pour des tiers, de faire développer des applications par des tiers ou d’acquérir des applications externes. Dans ces deux derniers cas, il devient de plus en plus primordial de disposer de critères et de mesures objectives qui permettent d’assurer la qualité et, le cas échéant, de certifier l’application livrée et/ou le processus de sa production.

L’importance de la certification et de la labellisation est cruciale pour le marché régional qui se caractérise par un grand nombre de PME souvent en phase de maturation et, par conséquent, en quête de reconnaissance et de partenariats solides sur un marché toujours plus vaste. La mission de ce projet fut donc de devenir un point de référence régional chargé de la certification logicielle au sens large, c’est-à-dire de procurer des critères d’évaluation objectifs, stables et cohérents, qui facilitent l’échange des produits et des services dans le domaine des TIC.

L’ingénierie des exigences est une étape importante dans le développement d’un système informatique. Son bon déroulement est crucial pour le succès du projet. L’état des pratiques se révèle cependant globalement pauvre aussi bien dans des petites que des entreprises plus grosses. La cellule CEDIE contribue à l’amélioration des pratiques en ingénierie d’exigence via un ensemble d’outils mis à disposition des entreprises, depuis le conseil de template, la formation à des méthodes, la relecture de cahier de charge ou encore l’accompagnement à la rédaction.

Le projet RETICOM (REal TIme COMmunications) vise à étudier et à développer un ensemble d’outils destinés à faciliter la mise en oeuvre de systèmes embarqués communicants, flexibles et puissants.

L’atelier FAUST assure le développement de cahiers des charges de haute qualité, notamment dans le domaine de systèmes complexes ayant des aspects critiques. Il fournit des outils de vérification, validation et générations de jeux de test centrés sur les exigences de tels systèmes. Le niveau d’analyse formel est rendu accessible par son intégration naturelle dans des notations textuelles et graphique, de même que la présence d’un outil d’animation exploitant des visualisations propres au domaine étudié. L’intégration dans des méthodes et chaînes d’outils industrielle a également été traitée en détail.