TY - GEN
T1 - Reliable operating modes for distributed embedded systems
AU - Haberl, Wolfgang
AU - Kugele, Stefan
AU - Baumgarten, Uwe
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70349909887&partnerID=8YFLogxK
U2 - 10.1109/MOMPES.2009.5069133
DO - 10.1109/MOMPES.2009.5069133
M3 - Conference contribution
AN - SCOPUS:70349909887
SN - 9781424437214
T3 - Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
SP - 11
EP - 21
BT - Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
T2 - 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009
Y2 - 16 May 2009 through 16 May 2009
ER -