On dependability driven software and hardware integration

Suri, Neeraj (2004) On dependability driven software and hardware integration. In: Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. IEEE, pp. 45-49. ISBN 0769521231

Full text not available from this repository.

Abstract

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.

Item Type:
Contribution in Book/Report/Proceedings
Subjects:
?? COMPUTATIONAL METHODSCOMPUTER HARDWARECOMPUTER PROGRAMMING LANGUAGESCOMPUTER SOFTWAREERROR DETECTIONHIERARCHICAL SYSTEMSSTRATEGIC PLANNINGTELECOMMUNICATION LINKSERROR DETECTION MECHANISMS (EDM)ERROR RECOVERY MECHANISMS (ERM)EXECUATBLE ASSERTIONS (EA)PROGR ??
ID Code:
137629
Deposited By:
Deposited On:
08 Oct 2019 09:50
Refereed?:
Yes
Published?:
Published
Last Modified:
15 Sep 2023 02:03