The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2005)
Burlington, Vermont
June 23, 2005 to June 25, 2005
ISSN: 1530-1311
ISBN: 0-7695-2370-6
pp: 189-191
Ralf Laue , University of Leipzig
Volker Gruhn , University of Leipzig
ABSTRACT
<p>We present a pattern system for property specification. It extends the existing patterns identified in [4] which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements.</p> <p>The paper is limited to 3 pages. Therefore it contains only basic ideas. The details can be found in [9].</p>
INDEX TERMS
patterns, formal specification, timed model checking, verification
CITATION
Ralf Laue, Volker Gruhn, "Specification Patterns for Time-Related Properties", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 189-191, 2005, doi:10.1109/TIME.2005.33
93 ms
(Ver 3.3 (11022016))