Home > Research > Publications & Outputs > Component-based synthesis of dependable embedde...

Research

Associated organisational units

Links

Keywords

View graph of relations

Component-based synthesis of dependable embedded software

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Published

Standard

Component-based synthesis of dependable embedded software. / Jhumka, A.; Hiller, M.; Suri, Neeraj.
Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol. 2469 Springer-Verlag, 2002. p. 111-128.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Harvard

Jhumka, A, Hiller, M & Suri, N 2002, Component-based synthesis of dependable embedded software. in Formal Techniques in Real-Time and Fault-Tolerant Systems. vol. 2469, Springer-Verlag, pp. 111-128. <https://link.springer.com/chapter/10.1007/3-540-45739-9_9>

APA

Jhumka, A., Hiller, M., & Suri, N. (2002). Component-based synthesis of dependable embedded software. In Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 2469, pp. 111-128). Springer-Verlag. https://link.springer.com/chapter/10.1007/3-540-45739-9_9

Vancouver

Jhumka A, Hiller M, Suri N. Component-based synthesis of dependable embedded software. In Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol. 2469. Springer-Verlag. 2002. p. 111-128

Author

Jhumka, A. ; Hiller, M. ; Suri, Neeraj. / Component-based synthesis of dependable embedded software. Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol. 2469 Springer-Verlag, 2002. pp. 111-128

Bibtex

@inbook{c0867487459e4602a690d893d3cf892d,
title = "Component-based synthesis of dependable embedded software",
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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.",
keywords = "Computer software reusability, Fault tolerance, Fault tolerant computer systems, Specifications, Component based, Fault containment, Fault-tolerant, Modular specifications, Reusable softwares, Safety property, Real time systems",
author = "A. Jhumka and M. Hiller and Neeraj Suri",
year = "2002",
language = "English",
isbn = "9783540441656 ",
volume = "2469",
pages = "111--128",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems",
publisher = "Springer-Verlag",

}

RIS

TY - CHAP

T1 - Component-based synthesis of dependable embedded software

AU - Jhumka, A.

AU - Hiller, M.

AU - Suri, Neeraj

PY - 2002

Y1 - 2002

N2 - 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. © Springer-Verlag Berlin Heidelberg 2002.

AB - 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. © Springer-Verlag Berlin Heidelberg 2002.

KW - Computer software reusability

KW - Fault tolerance

KW - Fault tolerant computer systems

KW - Specifications

KW - Component based

KW - Fault containment

KW - Fault-tolerant

KW - Modular specifications

KW - Reusable softwares

KW - Safety property

KW - Real time systems

M3 - Chapter

SN - 9783540441656

VL - 2469

SP - 111

EP - 128

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems

PB - Springer-Verlag

ER -