Seamless Integration of Multirequirements in Complex Systems

Requirements are the keystone of complex systems development. In order to reduce inconsistencies, requirements analysis is an important issue of systems engineering. In this context, there is a need for conciliating views of several stakeholders from different domains and for tracing these requirements from specification to realization. The computerization of analysis, with the help of a clearly defined semantics linked to a non-specialist readable language, should lead to overcome this major issue. Several works already go into this direction. The most popular ones are dealing with natural language, easily understandable but with few semantics. Other approaches propose more formal notations, with stronger semantics but then being less affordable by stakeholders. In this paper, we propose a preliminary work that should drive us to define a language dedicated to requirements which combine the best of both worlds in order to ease requirements analysis throughout the system lifecycle

Lessons from Formally Verified Deployed Software Systems (Extended version)

The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that can be drawn for the software industry at large and its ability to benefit from formal verification techniques and tools. Note: a short version of this paper is also available, covering in detail only a subset of the considered systems. The present version is intended for full reference.Comment: arXiv admin note: text overlap with arXiv:1211.6186 by other author

Towards an Ontology-based Approach for Heterogeneous Model Matching

International audienceThe overall goal of our approach is to relate models-of a given domain that are designed by different actors in different Domain Specific Languages , and thus are heterogeneous. Instead of building a single global model, we propose to organize the different source models as a network of models, which provides a global view of the system through a correspondence model. This latter, conform to a correspondence meta-model is built via a manual matching process. In this paper we explore the possibility of representing models as ontologies and take advantage of an automated process to match them.in order to enhance the automation of the matching process

Vers un profil UML pour la conception de composants multivues

International audienceThis paper aims to present an UML profile based on multiviews components. A multiviews component allows to encapsulate and deliver information according to the user's point of view and offers mechanisms to manage the dynamic evolution of viewpoints and consistency among views. In this paper, we first present the notion of multiviews component and its integration into a UML profile, and thus detail an object-oriented multiviews modelling applied to a concrete example. The transition to the coding stage is described through a generic implementation pattern.L' objectif de cet article est de présenter un profil UML permettant la construction de composants logiciels multivues. Un composant multivues est une extension de la notion de composant UML permettant de stocker et restituer de l' information en fonction du profil de l' utilisateur (point de vue), et offrant la possibilité de changement dynamique de point de vue. Dans cet article, nous présentons tout d' abord la notion de classe multivues, puis le composant multivues et son intégration dans un profil UML. Nous illustrons à l' aide d' un exemple concret la mise en oeuvre d' une modélisation objet multivues. La transition vers la phase de codage est présentée à travers un patron d'implémentation générique

Alignment of viewpoint heterogeneous design models: Emergency Department Case Study

International audienceGenerally, various models can be used to describe a given application domain on different aspects and thus give rise to several views. To have a complete view of the application domain, heterogeneous models need to be unified, which is a hard task to do. To tackle this problem, we have proposed a method to relate partial models without combining them in a single model. In our approach, partial models are organized as a network of models through a virtual global model called M1C (Model of correspondences between models) which conforms to a ubiquitous language based on a Meta-Model of Correspondences (MMC). This paper presents an application of our method to an “Emergency Department” case study. It has been performed as a collaborative process involving model designers and a supervisor. The focus is put on the building of the M1C model from 3 partial models

Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie Système

A l’heure actuelle les systèmes complexes de par leur caractère critique, leur nombre, leur taille, ou encore les tâches distribuées et réparties qu’ils supportent, restent un sujet d’études très ouvert. Beaucoup de progrès ont été faits dans le domaine de la recherche dans le but de rendre les systèmes complexes fiables, que ce soit dans un cadre de formalisation des exigences, de multi-modélisation et d’inter-opérabilité, de définition de langages dédiés et d’environnements d’ingénierie adaptés, d’automatisation de la génération de code, ou encore de vérification et de validation des modèles produits. Néanmoins, les méthodes, techniques, outils apportés, s’ils donnent satisfaction, nécessitent encore des améliorations. En effet l’industrie est toujours en demande de moyens permettant de gagner en efficacité tant dans la production des éléments logiciels que dans l’automatisation des vérifications. Les méthodes traditionnelles perdurent et les habitudes évoluent lentement. Les nouvelles technologies du Génie Logiciel, et en particulier de l’Ingénierie Dirigée par les Modèles, ont du mal à s’implanter dans le domaine des systèmes complexes.Mes travaux de recherche visent à fournir des éléments conceptuels permettant de mieux maîtriser le développement de ces systèmes. Ils s’appuient sur les modèles qui sont produits lors du développement de systèmes, les replacent dans un cadre d’Ingénierie Dirigée par les Modèles, en centrant la démarche sur les parties prenantes de ces systèmes.A travers la synthèse de quatre thèses qui se sont enchaînées, chacune répondant à des points laissés en suspens par la précédente, je montre dans ce manuscrit comment les mécanismes que nous avons proposés s’inscrivent dans une amélioration de l’Ingénierie Système, en s’appuyantsur l’Ingénierie Dirigée par les Modèles pour réaliser l’alignement de modèles hétérogènes, en mettant l’utilisateur au centre des préoccupations et en proposant des techniques collaboratives et un langage semi-formel d’expression des exigences