Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - On dependability driven software and hardware integration
AU - Suri, Neeraj
PY - 2004/5/12
Y1 - 2004/5/12
N2 - The functionality of embedded systems is increasingly defined by software (SW). As these systems face resource constraints - computational capabilities, power, space, cost etc - a natural consequence is the consolidation of diverse SW functionality onto shared hardware (HW) resources. Unfortunately, dependability is rarely an explicit design consideration over such consolidations. Focusing explicitly on provision of dependability, we propose a framework for structuring of SW functions to provide for desired dependability attributes as SW integrations transpire. A strategy for decomposing SW functions into conceptual error containment modules (ECMs) is proposed such that interference during SW interaction is (quaniifiably) minimized. Subsequently, the rules of composition of ECMs for integrating software modules and HW-SW mappings can be developed via established co-design techniques. Overall, our aim is provision of "dependability by design" considering access to white-box SW.
AB - The functionality of embedded systems is increasingly defined by software (SW). As these systems face resource constraints - computational capabilities, power, space, cost etc - a natural consequence is the consolidation of diverse SW functionality onto shared hardware (HW) resources. Unfortunately, dependability is rarely an explicit design consideration over such consolidations. Focusing explicitly on provision of dependability, we propose a framework for structuring of SW functions to provide for desired dependability attributes as SW integrations transpire. A strategy for decomposing SW functions into conceptual error containment modules (ECMs) is proposed such that interference during SW interaction is (quaniifiably) minimized. Subsequently, the rules of composition of ECMs for integrating software modules and HW-SW mappings can be developed via established co-design techniques. Overall, our aim is provision of "dependability by design" considering access to white-box SW.
KW - Computational methods
KW - Computer hardware
KW - Computer programming languages
KW - Computer software
KW - Error detection
KW - Hierarchical systems
KW - Strategic planning
KW - Telecommunication links
KW - Error detection mechanisms (EDM)
KW - Error recovery mechanisms (ERM)
KW - Execuatble assertions (EA)
KW - Programming models
KW - Embedded systems
U2 - 10.1109/WSTFES.2004.1300413
DO - 10.1109/WSTFES.2004.1300413
M3 - Conference contribution/Paper
SN - 0769521231
SP - 45
EP - 49
BT - Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.
PB - IEEE
ER -