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

https://hal.archives-ouvertes.fr/hal-01708993
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

File

ERTS_2018_paper_43(1).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01708993, version 1

Citation

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⟩

Share

Metrics

Record views

199

Files downloads

53