A topological formal treatment for scenario-based software specification of concurrent real-time systems

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
20th International Conference on Software and Systems Engineering and their Applications, Conservatoire des Arts & Metiers, Paris, France, 4-6 December 2007

Keywords

Software Engineering, Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/154023

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0802.0212
 http://arxiv.org/abs/0802.0212

Collections

arXiv