In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approac... more In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.
An MBSE Framework to Support Agile Functional Definition of an Avionics System
In avionics domain, there have been many efforts in recent years to build a MBSE methodology with... more In avionics domain, there have been many efforts in recent years to build a MBSE methodology with tooling support. The main purpose is often to improve quality and efficiency of system definition, architecture and integration. Sometimes there is also an additional objective to ease system verification and validation. This paper introduces an additional challenge with the support of an agile development cycle to ease impact analysis and incorporation of late and changing requirements at different times. It presents key principles and requirements of an agile MBSE approach and presents associated modeling activities with illustration on an avionics case study.
In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approac... more In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.
An MBSE Framework to Support Agile Functional Definition of an Avionics System
In avionics domain, there have been many efforts in recent years to build a MBSE methodology with... more In avionics domain, there have been many efforts in recent years to build a MBSE methodology with tooling support. The main purpose is often to improve quality and efficiency of system definition, architecture and integration. Sometimes there is also an additional objective to ease system verification and validation. This paper introduces an additional challenge with the support of an agile development cycle to ease impact analysis and incorporation of late and changing requirements at different times. It presents key principles and requirements of an agile MBSE approach and presents associated modeling activities with illustration on an avionics case study.
Polarsys Industry Working Group (Formerly known as OPEES) : Using Open Source strategies to tackle very long term support issues for Embedded Software
Polarsys Industry Working Group (Formerly known as OPEES) : Using Open Source strategies to tackl... more Polarsys Industry Working Group (Formerly known as OPEES) : Using Open Source strategies to tackle very long term support issues for Embedded Software
An Industrial Feedback on Model-Based Requirements Engineering in Systems Engineering Context
2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2016
In this paper, we synthesize a study aiming at providing industrial feedback, challenges and adva... more In this paper, we synthesize a study aiming at providing industrial feedback, challenges and advanced research on the way Model-Based Systems Engineering can be used to define system requirements as well as system architecture with traceability to system requirements, which are considered as key success factors for the concerned industries.
Utilisation des transformations de modèles pour implémenter un moteur de simulation d'automates
Genie Logiciel, 2009
La possibilite d'animer les modeles immediatement apres, voire au cours de, leur conception o... more La possibilite d'animer les modeles immediatement apres, voire au cours de, leur conception offre de multiples avantages a l'utilisateur: celui de mettre au point son modele tout d'abord, et aussi celui de veri-fier le fonctionnel ainsi specifie en lui donnant vie. C'est pour pouvoir intervenir le plus tot possible dans le cycle de developpement que la simulation de modeles « TOPCASED » est une approche entierement basee sur les modeles. Ainsi, a l'inverse des solutions de simulation s'appuyant sur du code genere a partir des modeles, la simulation de modeles TOPCASED est une solution generique ne mettant en oeuvre que des modeles et manipulant ceux-ci par transformation de modeles, comme c'est actuellement le cas avec l'outil smartQVT. En premier lieu des modeles mis enjeu lors d'une simulation figure le modele edite par l'utilisateur, faisant figure de specification d'un comportement dynamique. C'est le cas des specifications UML de StateMachine. Vient s'ajouter a ce modele un modele dynamique permettant de disposer des informations « dynamiques » non disponibles dans le modele « statique », ce qui est le cas des etats courants des instances des State Machine, par exemple. Sur ces bases la, la simulation de modeles revient a mettre a jour a chaque pas le modele dynamique en fonction des evenements externes ― ou internes ― qui lui sont injectes. Cette operation peut etre realisee en Java sur EMF. Mais vue dans une approche MDA, la mise a jour du modele dynamique peut etre consideree comme une transformation endogene sur un meme modele en entree/sortie. Les resultats tres rapidement concluants de la mise en œuvre de cette transformation par smartQVT ont donne raison a cette approche. L'implementation de la semantique a l'aide du langage QVT Operational est facilitee et la maintenance est plus aisee. La transformation definie en smartQVT est propre au langage simule et est isolee des parties generiques, communes aux differentes simulations traitees. Le theme de la simulation s'avere etre tres riche en terme de transformations de modeles si on y ajoute des modeles en entree et en sortie modelisant les scenarii donnes en sollicitations ou tout simplement produits par une utilisation interactive et manuelle de la simulation.
In this paper, a model-based function analysis method is introduced. The main goal of the method ... more In this paper, a model-based function analysis method is introduced. The main goal of the method is to work as a supplement to the existing function analysis method, improving the shortcomings of IDEF0, such as lack of guidance for top level function identification, lack of early validation with stakeholders because of the implement-specific functions decomposition. The method in this article learns from scenario analysis in software engineering, and provide a model-based method for the elicitation of implement-independent high level functions from operational scenario. This paper is organized as follows. Section 1 describes the background and current problems. Section 2 introduces function-behavior transformation, the basic principle used in the method. Section 3 describe the method, and in Sect. 4 an application of the method on a UAV is presented. 1.1 The Need for Functional Analysis Function analysis is one of the most essential processes in aircraft development and is required by applicable standards, such as ISO/IEC/IEEE 15,288 [1] and ARP 4754A [2]. According to the R-F-L-P development process [3], function analysis is
Uploads
Papers by Raphael Faudou