loading...
Visual Timed Event Scenarios
Edinburgh, Scotland, United Kingdom May 23-May 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.131743926th International Conference on Soft ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.