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, Department of Computer Science.
University of Skövde, Department of Computer Science.
University of Skövde, Department of Computer Science.ORCID iD: 0000-0002-6662-9034
2003 (English)In: WIP Proceedings: 24th IEEE Real-Time Systems Symposium, 2003, p. 1555-1558Conference paper, Published 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. p. 1555-1558
Identifiers
URN: urn:nbn:se:his:diva-1643OAI: oai:DiVA.org:his-1643DiVA, id: diva2:31919
Conference
24th IEEE Real-Time Systems Symposium, Work-in-Progress Session, Cancun, Mexico, December 2003
Available from: 2007-10-03 Created: 2007-10-03 Last updated: 2018-09-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Ericsson, Ann-marieNilsson, RobertAndler, Sten F.

Search in DiVA

By author/editor
Ericsson, Ann-marieNilsson, RobertAndler, Sten F.
By organisation
Department of Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 1515 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