CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Component-Based Synthesis of Dependable Embedded Software

Arshad Jhumka (Institutionen för datorteknik) ; Martin Hiller (Institutionen för datorteknik) ; Neeraj Suri (Institutionen för datorteknik)
Lecture Notes in Computer Science. Proceedings - 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 (0302-9743). Vol. 2469 (2002), p. 111-128.
[Konferensbidrag, refereegranskat]

Standardized and reusable software (SW) objects (or SW components - in-house or pre-fabricated) are increasingly being used to reduce the cost of software (SW) development. Given that the basic components may not have been developed with dependability as primary driver, these components need to be adapted to deal with errors from their environment. To achieve this, error containment wrappers are added to increase the reliability of the components. In this paper, we first present a modular specification approach using fault intolerant components, based on the concepts of category theory. We further introduce the concept of wrapper consistency, based upon which, we present an algorithm that systematically generates globally consistent fault containment wrappers for each component, to make them fault tolerant. Subsequently, we enhance the initial modular specification to deal with the wrapped components, and show that safety properties of the system are preserved under composition only if the wrappers are globally consistent.



Denna post skapades 2013-02-14.
CPL Pubid: 173626

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datorteknik (2002-2004)

Ämnesområden

Datorteknik

Chalmers infrastruktur