Pattern-based requirements development

Abstract : In the recent years, several high level requirements languages have been proposed. Although these languages are close to natural language, thanks to the use of dedicated patterns [15, 17], a formal semantics is attached to them. In general, modal logics have been used to express the semantics of such languages as for instance, temporal logics: branching time, linear time, temporized or not. In this paper, we are interested by the preliminary steps of the development of safety critical systems. We investigate how patterns could be used in order to generate refinements automatically. One of our main concerns is to produce Event-B machines such that the user can refine them further.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download
Contributor : Arnaud Dieumegard <>
Submitted on : Wednesday, February 14, 2018 - 1:13:48 PM
Last modification on : Friday, October 11, 2019 - 8:22:52 PM
Long-term archiving on : Monday, May 7, 2018 - 3:24:17 PM


Files produced by the author(s)


  • HAL Id : hal-01708993, version 1


J.-P Bodeveix, Arnaud Dieumegard, M Filali. Pattern-based requirements development. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. ⟨hal-01708993⟩



Record views


Files downloads