mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
An event algebra extension of the triggering mechanism in a component model for embedded systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8461-0230
Mälardalen University.
2005 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 141, no 3, 107-121 p.Article in journal (Refereed) Published
Resource type
Text
Abstract [en]

In this article we present how the component triggering in SaveCCM, a component model intended for embedded vehicular systems, can be extended by means of an event algebra. The extension allows components to be triggered by complex event patterns, and not only by clock signals or single external events. Separating the detection of triggering conditions from the definition of the triggered services permits more general components and thus improves component reusability. Providing event detection mechanisms within the component model means that triggering conditions are explicitly available for system analysis at design time. An event algebra is used to define the complex triggering conditions. This algebra has a relatively simple declarative semantics and well documented algebraic properties, which facilitates formal and informal reasoning about the system. The algebra also ensures that detection of triggering conditions can be efficiently implemented with limited resources, which is critical in embedded applications.

Place, publisher, year, edition, pages
2005. Vol. 141, no 3, 107-121 p.
Keyword [en]
Component-based software architecture, Embedded systems, Event detection, Algebra, Computer architecture, Computer software, Large scale systems, Semantics, Clock signals, Embedded vehicular system
Identifiers
URN: urn:nbn:se:mdh:diva-31910DOI: 10.1016/j.entcs.2005.02.049Scopus ID: 2-s2.0-27944509089OAI: oai:DiVA.org:mdh-31910DiVA: diva2:937502
Available from: 2016-06-15 Created: 2016-06-14 Last updated: 2016-06-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Carlson, Jan
By organisation
Embedded SystemsMälardalen University
In the same journal
Electronical Notes in Theoretical Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 6 hits
CiteExportLink to record
Permanent link

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