Integration of Dependability Features in a Synchronous Application

Frédéric Boulanger (1)

1 SUPELEC-Campus Gif

We present here an overview of a new approach with associated tools, to implement dependability strategies for applications that follow the reactive synchronous approach. Starting from the description of an application as a graph of interconnected components, we model dependability policies as transformations of this graph. The transformed graph describes a new version of the application that integrates dependability features such as multiple copies of some components, voters that compare the outputs from copies of a component, or behavior checkers that compare the behavior of a component to an expected behavior. The graph transformations rely explicitly on the assumption that the components obey a synchronous execution model. The design of the dependability policies is not addressed. Our goal is only to provide dependability experts with a language for describing such policies and for integrating them into an application. The integration is done off-line and generates a new application with a structure that won't change at runtime. However, runtime changes in the structure of an application are possible and are discussed at the end of this article.

Mots clés: Architecture description language; Dependability; Model transformation

Domaines: Modélisation et simulation; Systèmes embarqués

Frédéric Boulanger. Integration of Dependability Features in a Synchronous Application. International Review on Computers and Software (IRECOS), 2008, 3 (1), pp.31-37. ⟨hal-00288619⟩