On requirements engineering for reactive systems: A formal methodology
- Citation:
- Madeira A, Faria JM, Martins M, Barbosa LS. 2011. On requirements engineering for reactive systems: A formal methodology. 1ª Conferência Brasileira de Sistemas Embarcados Críticos.
Date Presented:
MayAbstract:
This paper introduces a rigorous methodology for requirements speci cation of systems that react to external stimulus and consequently evolve through different operational modes, providing, in each of them, di erent functionalities. The proposed methodology proceeds in three stages, enriching a simple state machine with local algebraic speci cations. It resorts to an expressive variant of hybrid logic which is latter translated into rst-order to allow for ample automatic tool support.
Citation Key:
1521
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.