Reliable operating modes for distributed embedded systems

Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development and automatic code generation have proven to effectively reduce design faults in those systems. Still, models are mainly used for parts of the systems' functionality and most solutions do not address the generation of a whole system. In this paper we will showcase an approach for code generation for entire systems. A crucial step is the semantically correct realization of operating modes defined in the model. If they are not changed synchronously, a distributed system will show unpredictable behavior. We will demonstrate how a reliable transition between operating modes, even for a distributed system, can be achieved. Our approach is exemplified using a case study we carried out recently.

Original languageEnglish
Title of host publicationProceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
Pages11-21
Number of pages11
DOIs
StatePublished - 2009
Event2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009 - Vancouver, BC, Canada
Duration: 16 May 200916 May 2009

Publication series

NameProceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009

Conference

Conference2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
Country/TerritoryCanada
CityVancouver, BC
Period16/05/0916/05/09

Fingerprint

Dive into the research topics of 'Reliable operating modes for distributed embedded systems'. Together they form a unique fingerprint.

Cite this