Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems
GHAZEL ; MEKKI
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
GHAZEL ; MEKKI
Résumé / Abstract
The purpose of the work discussed here is to develop an approach for assisting the temporal requirements' specification phase, within critical systems. We first develop a new typology taking into account all the common temporal properties one may meet when dealing with requirements specification. On the other hand, we develop a literal-wordsbased formal grammar able to express all the types of the identified requirements. The goal being to provide specification means which are at the same time simple, intuitive and rigorous. Moreover, in order to check requirements consistency, a graph-based algorithm has been elaborated. To our knowledge, this is the first study which formalizes the consistency-checking problem as a graph exploration. The whole of the developed mechanisms have been implemented in a prototype tool with an intuitive graphical interface that offers interesting facilities in terms of requirements' specification and consistency-checking.
Editeur
CSREA Press
