A topological formal treatment for scenario-based software specification of concurrent real-time systems
Abstract
Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. Consequently, if the real-time requirements of these systems are poorly understood and verified, the results can be disastrous and lead to irremediable project failures at the early phases of development. The present work addresses the problem of detecting deadlock situations early in the requirements specification phase of a concurrent real time system, proposing a simple proof-of-concepts prototype that joins scenario-based requirements specifications and techniques based on topology. The efforts are concentrated in the integration of the formal representation of Message Sequence Chart scenarios into the deadlock detection algorithm of Fajstrup et al., based on geometric and algebraic topology.
Cite
@article{arxiv.0802.0212,
title = {A topological formal treatment for scenario-based software specification of concurrent real-time systems},
author = {Miriam C. B. Alves and Christine C. Dantas and Nanci N. Arai and Rovedy B. da Silva},
journal= {arXiv preprint arXiv:0802.0212},
year = {2008}
}
Comments
20th International Conference on Software and Systems Engineering and their Applications, Conservatoire des Arts & Metiers, Paris, France, 4-6 December 2007