Documentation


Formod releases

The releases of the formod software can be found on its github project page.

Source code can be found here on the github main page.

A sample project is available here. It is a study of the test case proposed for ABZ2014.

Deliverables



Publications


  • Steve Tueno, Marc Frappier, Régine Laleau et Amel Mammar: Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach, International Journal on Software Tools for Technology Transfer, 2019.
  • Steve Tueno, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau et Mama Nsangou Mouchili, Assessment of a formal requirements modeling approach on a transportation system, International Conference on Formal Engineering Methods, 2019
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar: Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS 2018, IEEE Computer Society 2018, ISBN 978-1-5386-9341-4, pages: 160-169.
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel: Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM 2018, Lecture Notes in Computer Science 11023, Springer 2018, ISBN 978-3-319-98937-2, pages: 377-397
  • Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar et Sylvain Guérin. « Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation ». In : International Conference on Software Engineering and Formal Methods (SEFM). T. 10886. Springer International Publishing, juin 2018, p. 54-69. isbn : 978-3-319- 92970-5. doi : 10.1007/978-3-319-92970-5_4
  • Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier: "Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ 2018, Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7. pages: 55-70.
  • Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar: Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ 2018, Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7. pages: 262-276.
  • Steve Jeffrey Tueno Fotso, Régine Laleau, Amel Mammar, Marc Frappier:Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. IEEE proceedings of MoDRE workshop, 25th IEEE International Requirements Engineering Conference 2017, pages 1-5.
  • Fahad R. Golra, Fabien Dagnat, Antoine Beugnard et Reda Bendraou. Continuous process compliance using Model Driven Engineering. MEDI 2017, 7th International Conference on Model and Data Engineering, 2017, Barcelona, Spain, Springer, Lecture Notes in Computer Science 10563: 42-56
  • Régine Laleau, Amel Mammar: Integrating domain knowledge in formal requirements engineering. NII Shonan Meeting Seminar 090: Implicit and explicit semantics integration in proof based developments of discrete systems, November 22 -25, 2016. http://shonan.nii.ac.jp/shonan/wpcontent/uploads/2011/09/No.2016-16.pdf.
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard: Addressing modularity for heterogeneous multi-model systems using model federation. Workshop on Modularity in Modelling (MOMO 2016), MODULARITY (Companion) 2016: 206-211
  • Amel Mammar, Régine Laleau : On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISOLA 2016, octobre 2016, Springer, Lecture Notes in Computer Science 9952: 325-339
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard: Continuous Requirements Engineering using Model Federation. RE:Next! Track at 24th IEEE International Requirements Engineering Conference 2016, septembre 2016, pages 347-352