Computer Science – Software Engineering
Scientific paper
2008-02-01
Computer Science
Software Engineering
20th International Conference on Software and Systems Engineering and their Applications, Conservatoire des Arts & Metiers, Pa
Scientific paper
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.
Alves Miriam C. B.
Arai Nanci N.
da Silva Rovedy B.
Dantas Christine C.
No associations
LandOfFree
A topological formal treatment for scenario-based software specification of concurrent real-time systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A topological formal treatment for scenario-based software specification of concurrent real-time systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A topological formal treatment for scenario-based software specification of concurrent real-time systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-189376