his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Operator Patterns for Analysis of Composite Events in Timed Automata
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
2003 (English)In: Real-Time Systems Symposium: Work-in-Progress Session, 2003, 1555-158 p.Conference paper, (Refereed)
Abstract [en]

Abstract—Event-triggered real-time systems interact with the

environment by executing actions in response to monitored

events. Such systems may be implemented using event condition

action (ECA) rules, which execute an action if the associated

event occurs and a specified condition is true. However, the ECA

rule paradigm is known to be hard to analyze with respect to

correctness and timeliness, which is not conducive to the high

predictability requirements typically associated with real-time

systems. To still take advantage of the ECA rule paradigm when

event-triggered real-time systems are developed, we propose an

approach where systems are specified and analyzed in a high-level

formal language (timed automata) and later transformed into the

ECA rule paradigm. We especially focus on a high-level approach

for specifying and analyzing composite event occurrences in timed

automata

Place, publisher, year, edition, pages
2003. 1555-158 p.
Identifiers
URN: urn:nbn:se:his:diva-1643OAI: oai:DiVA.org:his-1643DiVA: diva2:31919
Available from: 2007-10-03 Created: 2007-10-03 Last updated: 2013-03-26

Open Access in DiVA

No full text

Other links

http://www.cs.virginia.edu/~zaher/rtss-wip/31.pdf

Search in DiVA

By author/editor
Ericsson, Ann-marieNilsson, RobertAndler, Sten F
By organisation
School of Humanities and Informatics

Search outside of DiVA

GoogleGoogle Scholar

Total: 1394 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf