Final published version
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - A software integration approach for designing and assessing dependable embedded systems
AU - Suri, Neeraj
AU - Jhumka, A.
AU - Hiller, M.
AU - Pataricza, A.
AU - Islam, S.
AU - Sârbu, C.
PY - 2010/10/1
Y1 - 2010/10/1
N2 - Embedded systems increasingly entail complex issues of hardware-software (HW-SW) co-design. As the number and range of SW functional components typically exceed the finite HW resources, a common approach is that of resource sharing (i.e., the deployment of diverse SW functionalities onto the same HW resources). Consequently, to result in a meaningful co-design solution, one needs to factor the issues of processing capability, power, communication bandwidth, precedence relations, real-time deadlines, space, and cost. As SW functions of diverse criticality (e.g. brake control and infotainment functions) get integrated, an explicit integration requirement need is to carefully plan resource sharing such that faults in low-criticality functions do not affect higher-criticality functions. On this background, the main contribution of this paper is a dependability-driven framework that helps to conduct the integration of SW components onto HW resources such that the maintenance of system dependability over integration of diverse criticality components is assured by design. We first develop a clustering strategy for SW components into Fault Containment Modules (FCMs) such that error propagation via interaction is minimized. Subsequently, the rules of composition for FCMs with respect to error propagation are developed. To allocate the resulting FCMs to the existing HW resources we provide several heuristics, each optimizing particular attributes thereof. Further, a framework for assessing the goodness of the achieved HW-SW composition as a dependable embedded system is presented. Two new techniques for quantifying the goodness of the proposed mappings are introduced by examples, both based on a multi-criteria decision theoretic approach. © 2010 Elsevier Inc. All rights reserved.
AB - Embedded systems increasingly entail complex issues of hardware-software (HW-SW) co-design. As the number and range of SW functional components typically exceed the finite HW resources, a common approach is that of resource sharing (i.e., the deployment of diverse SW functionalities onto the same HW resources). Consequently, to result in a meaningful co-design solution, one needs to factor the issues of processing capability, power, communication bandwidth, precedence relations, real-time deadlines, space, and cost. As SW functions of diverse criticality (e.g. brake control and infotainment functions) get integrated, an explicit integration requirement need is to carefully plan resource sharing such that faults in low-criticality functions do not affect higher-criticality functions. On this background, the main contribution of this paper is a dependability-driven framework that helps to conduct the integration of SW components onto HW resources such that the maintenance of system dependability over integration of diverse criticality components is assured by design. We first develop a clustering strategy for SW components into Fault Containment Modules (FCMs) such that error propagation via interaction is minimized. Subsequently, the rules of composition for FCMs with respect to error propagation are developed. To allocate the resulting FCMs to the existing HW resources we provide several heuristics, each optimizing particular attributes thereof. Further, a framework for assessing the goodness of the achieved HW-SW composition as a dependable embedded system is presented. Two new techniques for quantifying the goodness of the proposed mappings are introduced by examples, both based on a multi-criteria decision theoretic approach. © 2010 Elsevier Inc. All rights reserved.
KW - Assessment
KW - Decision theory
KW - Dependability
KW - Embedded systems
KW - Software integration
KW - Brake control
KW - Clustering strategy
KW - Co-designs
KW - Communication bandwidth
KW - Dependable embedded systems
KW - Error propagation
KW - Explicit integration
KW - Fault containment
KW - Functional components
KW - Infotainment
KW - Multicriteria decision
KW - Precedence relations
KW - Processing capability
KW - Resource sharing
KW - System dependability
KW - Computer software maintenance
KW - Criticality (nuclear fission)
KW - Design
KW - Embedded software
KW - Integration
KW - Telecommunication systems
U2 - 10.1016/j.jss.2010.04.063
DO - 10.1016/j.jss.2010.04.063
M3 - Journal article
VL - 83
SP - 1780
EP - 1800
JO - Journal of Systems and Software
JF - Journal of Systems and Software
SN - 0164-1212
IS - 10
ER -