Home > Research > Publications & Outputs > On dependability driven software and hardware i...

Links

Text available via DOI:

View graph of relations

On dependability driven software and hardware integration

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date12/05/2004
Host publicationSecond IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.
PublisherIEEE
Pages45-49
Number of pages5
ISBN (print)0769521231
<mark>Original language</mark>English

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.