loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
26th International Conference on Software Engineering (ICSE'04)
Visual Timed Event Scenarios
Edinburgh, Scotland, United Kingdom
May 23-May 28
ISBN: 0-7695-2163-0
A. Alfonso, Universidad de Buenos Aires
V. Braberman, Universidad de Buenos Aires
N. Kicillof, Universidad de Buenos Aires
A. Olivero, Universidad Argentina de la Empresa
Formal description of real-time requirements is a difficult and error prone task. Conceptual and tool support for this activity plays a central role in the agenda of technology transference from the formal verification engineering community to the Real Time Systems development practice. In this article we present V TS, a visual language to define complex event-based requirements such as freshness, bounded response, event correlation, etc. The underlying formalism is based on partial orders and supports real-time constraints. The problem of checking whether a timed automaton model of a system satisfies these sort of scenarios is shown to be decidable. Moreover, we have also developed a tool that translates visually specified scenarios into observer timed automata. The resulting automata can be composed with a model under analysis in order to check satisfaction of the stated scenarios. We show the benefits of applying these ideas to some case studies.
Citation:
A. Alfonso, V. Braberman, N. Kicillof, A. Olivero, "Visual Timed Event Scenarios," icse, pp.168-177, 26th International Conference on Software Engineering (ICSE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.