Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • 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
Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics. (Software Systems Research Group (SSRG))ORCID iD: 0000-0001-8362-3825
2006 (English)In: SCW 2006: IEEE Services Computing Workshops: 18-22 September 2006, Chicago, Illinois: Proceedings / [ed] Malu Castellanos, Jian Yang, IEEE, 2006, p. 39-47Conference paper, Published paper (Refereed)
Abstract [en]

Many applications need to detect and respond to occurring events and combine these event occurrences into new events with a higher level of abstraction. Specifying how events can be combined is often supported by design tools specific to the current event processing engine. However, the issue of ensuring that the combinations of events provide the system with the correct combination of information is often left to the developer to analyze. We argue that analyzing correctness of event composition is a complex task that needs tool support. In this paper we present a novel development tool for specifying composition of events with time constraints. One key feature of our tool is to automatically transform composite events for real-time systems into a timed automaton representation. The timed automaton representation allow us to check for design errors, for example, whether the outcome of combining events with different operators in different consumption policies is consistent with the requirement specification

Place, publisher, year, edition, pages
IEEE, 2006. p. 39-47
National Category
Computer and Information Sciences Computer Sciences Computer Systems
Research subject
Technology; Software Systems Research Group (SSRG)
Identifiers
URN: urn:nbn:se:his:diva-1948DOI: 10.1109/SCW.2006.11ISI: 000241634600005Scopus ID: 2-s2.0-35148858794ISBN: 0-7695-2681-0 ISBN: 978-0-7695-2681-2 OAI: oai:DiVA.org:his-1948DiVA, id: diva2:32224
Conference
First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS 06), IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois
Available from: 2008-04-09 Created: 2008-04-09 Last updated: 2021-03-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Ericsson, AnnMarieBerndtsson, Mikael

Search in DiVA

By author/editor
Ericsson, AnnMarieBerndtsson, Mikael
By organisation
School of Humanities and Informatics
Computer and Information SciencesComputer SciencesComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1024 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • 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