Showing 1–2 of 2 results for author: Fotso, S J T

The Generic SysML/KAOS Domain Metamodel

Authors: Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Hector Ruiz Barradas

Abstract: This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System specifications. This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System specifications. △ Less

Submitted 8 March, 2019; v1 submitted 8 November, 2018; originally announced November 2018.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1803.01972

SysML/KAOS Domain Models and B System Specifications

Authors: Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau

Abstract: In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal method. Translation rules from a SysML/KAOS goal model to a B System specification have been defined. They allow to obtain a skeleton of the B System specification. To complete it, we have defined a language to express the do… ▽ More In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal method. Translation rules from a SysML/KAOS goal model to a B System specification have been defined. They allow to obtain a skeleton of the B System specification. To complete it, we have defined a language to express the domain model associated to the goal model. The translation of this domain model gives the structural part of the B System specification. The contribution of this paper is the description of translation rules from SysML/KAOS domain models to B System specifications. We also present the formal verification of these rules and we describe an open source tool that implements the languages and the rules. Finally, we provide a review of the application of the SysML/KAOS method on case studies such as for the formal specification of the hybrid ERTMS/ETCS level 3 standard. △ Less

Submitted 28 June, 2018; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: arXiv admin note: text overlap with arXiv:1712.07406