Pattern-based requirements development - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Pattern-based requirements development

Résumé

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.
Fichier principal
Vignette du fichier
ERTS_2018_paper_43(1).pdf (419.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01708993 , version 1 (14-02-2018)

Identifiants

  • HAL Id : hal-01708993 , version 1

Citer

Jean-Paul 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⟩
198 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More