Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency

Résumé

The evolution of the design of complex systems leads to increasing complexity and requires the joint analysis and refinement of different views of the same system which generally consist of: (1) A functional view that describes the main features of the system; (2) An implementation view that allocates functions on system constituents; (3) A non-functional view ensuring that properties such as quality of services, real-time constraints.. . are satisfied by the system; (4) As well as a dysfunctional view that defines the reliability requirements. Despite the complexity of systems, the consistency of views when exploring the solution space must be ensured. For example: (1) A decision on the required availability may induce new functions or involve redundancy of function/constituent; (2) Another difficulty comes from the fact that the functions are being described using different formalisms, therefore the system engineer must always be able to handle all the following aspects: the availability or reliability models that are mainly based on probabilistic models, the functional view that can be expressed using finite state machines or by event models; the quality of the services that can be expressed either by using a probabilistic approach or an approach based on a bounded set.. . The work described in this paper focuses on the implementation of a unified industrial modeling process using the graphical language of Hi-Graphs, a specific class of hyper graphs, in support to SysML. This process brings in addition functional views, taking into account, at all stages of the life cycle, non-functional and dysfunctional views of the system in order to make the right choices / compromises in terms of both software engineering and formal verification. It provides end-to-end assurance that the system meets the requirements and contracts associated with service quality during the process of exploring and refining the solution among the different views of the system. It also offers multiple semantics so that existing modeling languages and tools are taken into account.
Fichier principal
Vignette du fichier
Using_HiGraph_to_define_a_Formal_Integrated_System_Modeling_Framework_that_ensures_Complete_System_Consistency.pdf (768.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02004171 , version 1 (01-02-2019)

Identifiants

  • HAL Id : hal-02004171 , version 1

Citer

Anis Otmane Cherif, Bruno Monsuez, Vladimir-Alexandru Paun, Michel Nakhlé. Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency. IEEE Advancing Technology for Humanity 26th International Conference on Systems Engineering (ICSEng), Dec 2018, Sydney, NSW, Australia. ⟨hal-02004171⟩
349 Consultations
174 Téléchargements

Partager

Gmail Facebook X LinkedIn More