Formalisation of SysML/KAOS goal assignments with B system component decompositions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Formalisation of SysML/KAOS goal assignments with B system component decompositions

Résumé

The use of formal methods for verification and validation of critical and complex systems is important, but can be extremely tedious without modularisation mechanisms. SysML/KAOS is a requirements engineering method. It includes a goal modeling language to model requirements from stakeholder's needs. It also contains a domain modeling language for the representation of system application domain using ontologies. Translation rules have been defined to automatically map SysML/KAOS models into B System specifications. Moreover, since the systems we are interested in naturally break down into subsystems (enabling the distribution of work between several agents: hardware, software and human), SysML/KAOS goal models allow the capture of assignments of requirements to agents responsible of their achievement. Each agent is associated with a subsystem. The contribution of this paper is an approach to ensure that a requirement assigned to a subsystem is well achieved by the subsystem. A particular emphasis is placed on ensuring that system invariants persist in subsystems specifications
Fichier non déposé

Dates et versions

hal-01885098 , version 1 (01-10-2018)

Identifiants

Citer

Steve Tueno, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩. ⟨hal-01885098⟩
86 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More