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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...