|
Published Articles >> Table of Contents >> Abstract
26th International Conference on Software Engineering (ICSE'04)
pp. 168-177
Visual Timed Event Scenarios
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
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317439
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
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
|
|
