Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Component-Based Synthesis of Dependable Embedded Software

Arshad JhumkaContact Information, Martin HillerContact Information and Neeraj SuriContact Information

(5)  Department of Computer Engineering, Chalmers Univ., Sweden
Abstract
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.
Supported in part by Saab endowment, TFR Grants

Contact Information Arshad Jhumka
Email: arshad@ce.chalmers.se

Contact Information Martin Hiller
Email: hiller@ce.chalmers.se

Contact Information Neeraj Suri
Email: suri@ce.chalmers.se
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Liu, X. (2008) Generative aspect-oriented component adaptation. IET Software 2(2)
    [CrossRef]
Remote Address: 38.107.191.105 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)