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

Standard

On dependability driven software and hardware integration. / Suri, Neeraj.
Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.. IEEE, 2004. p. 45-49.

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

Harvard

Suri, N 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. https://doi.org/10.1109/WSTFES.2004.1300413

APA

Suri, N. (2004). On dependability driven software and hardware integration. In Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings. (pp. 45-49). IEEE. https://doi.org/10.1109/WSTFES.2004.1300413

Vancouver

Suri N. On dependability driven software and hardware integration. In Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.. IEEE. 2004. p. 45-49 doi: 10.1109/WSTFES.2004.1300413

Author

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

Bibtex

@inproceedings{e22fed0f021d4602aca21acce1f41eaf,
title = "On dependability driven software and hardware integration",
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.",
keywords = "Computational methods, Computer hardware, Computer programming languages, Computer software, Error detection, Hierarchical systems, Strategic planning, Telecommunication links, Error detection mechanisms (EDM), Error recovery mechanisms (ERM), Execuatble assertions (EA), Programming models, Embedded systems",
author = "Neeraj Suri",
year = "2004",
month = may,
day = "12",
doi = "10.1109/WSTFES.2004.1300413",
language = "English",
isbn = "0769521231",
pages = "45--49",
booktitle = "Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.",
publisher = "IEEE",

}

RIS

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 -