Ce que l'on conçoit bien s'énonce clairement ... (N.Boileau)

L'atelier open-source Topcased sort de son statut de projet de RetD pour rejoindre la cours des industriels. En effet, dans le cadre des développements actuels autour du futur A350, les équipes Airbus ont décidé d'intégrer à leur processus de développement les composants Topcased-SAM (Structured Analysis Model) et Topcased_VF (Vérification statique de modèles) conçus et réalisés par CS et ses partenaires. L’objectif de l'article (qui sera présenté à NEPTUNE'2009) est de présenter ces deux composants à travers l’expression de besoins initiale, la démarche utilisée et les résultats obtenus. Nous évoquerons également l’intérêt des méta modèles et de l’approche MDE pour la réalisation d’un outillage métier opérationnel. A noter que Topcased-SAM dispose d’un éditeur de modèles, mais aussi d’un générateur de documentation, d’un simulateur d’automates, d’un module de gestions d’exigences, et bien sur d’un ensemble de règles OCL intégrées permettant de vérifier les modèles produits.