Home > Research > Publications & Outputs > On systematic design of globally consistent exe...

Links

Text available via DOI:

View graph of relations

On systematic design of globally consistent executable assertions in embedded software

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

Published

Standard

On systematic design of globally consistent executable assertions in embedded software. / Jhumka, A.; Hiller, M.; Claesson, V. et al.

Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM, 2002. p. 75-84.

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

Harvard

Jhumka, A, Hiller, M, Claesson, V & Suri, N 2002, On systematic design of globally consistent executable assertions in embedded software. in Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM, pp. 75-84. https://doi.org/10.1145/513829.513843

APA

Jhumka, A., Hiller, M., Claesson, V., & Suri, N. (2002). On systematic design of globally consistent executable assertions in embedded software. In Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems (pp. 75-84). ACM. https://doi.org/10.1145/513829.513843

Vancouver

Jhumka A, Hiller M, Claesson V, Suri N. On systematic design of globally consistent executable assertions in embedded software. In Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM. 2002. p. 75-84 doi: 10.1145/513829.513843

Author

Jhumka, A. ; Hiller, M. ; Claesson, V. et al. / On systematic design of globally consistent executable assertions in embedded software. Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM, 2002. pp. 75-84

Bibtex

@inproceedings{cb56786120184c61b899ae93f5010127,
title = "On systematic design of globally consistent executable assertions in embedded software",
abstract = "Over the design of software (SW) used in provisioning of dependable services, Executable Assertions (EAs) are seeing increasing usage in aiding detection of data errors. Given the requirements for provision of service despite faults, early detection of system states that can potentially lead to system failure is valuable. We address the issue of ascertaining whether localized EAs in individual modules add up complementarily to implement a global EA/property. We first show that detection of globally compliant EAs is NP-complete. Thus, we develop a two-pass approach for our objective. In the first pass, we introduce the consistency property of EAs and use it to ascertain global conformity across all EAs. The second pass, analogous to predicate transformers, generates globally consistent EAs when any inconsistency is flagged in the first pass. We show the applicability of our approach on a real embedded system. Initial results obtained show that our framework is able to detect inherent vulnerabilities (due to placement of mismatched EAs) that were previously undetected. Our intent is automation of this approach, which can be incorporated in a compiler.",
keywords = "Computer software, Fault tolerant computer systems, Program compilers, Software engineering, Embedded software, Embedded systems",
author = "A. Jhumka and M. Hiller and V. Claesson and Neeraj Suri",
year = "2002",
month = jun,
day = "19",
doi = "10.1145/513829.513843",
language = "English",
isbn = "1581135270",
pages = "75--84",
booktitle = "Proceedings of the joint conference on Languages, compilers and tools for embedded systems",
publisher = "ACM",

}

RIS

TY - GEN

T1 - On systematic design of globally consistent executable assertions in embedded software

AU - Jhumka, A.

AU - Hiller, M.

AU - Claesson, V.

AU - Suri, Neeraj

PY - 2002/6/19

Y1 - 2002/6/19

N2 - Over the design of software (SW) used in provisioning of dependable services, Executable Assertions (EAs) are seeing increasing usage in aiding detection of data errors. Given the requirements for provision of service despite faults, early detection of system states that can potentially lead to system failure is valuable. We address the issue of ascertaining whether localized EAs in individual modules add up complementarily to implement a global EA/property. We first show that detection of globally compliant EAs is NP-complete. Thus, we develop a two-pass approach for our objective. In the first pass, we introduce the consistency property of EAs and use it to ascertain global conformity across all EAs. The second pass, analogous to predicate transformers, generates globally consistent EAs when any inconsistency is flagged in the first pass. We show the applicability of our approach on a real embedded system. Initial results obtained show that our framework is able to detect inherent vulnerabilities (due to placement of mismatched EAs) that were previously undetected. Our intent is automation of this approach, which can be incorporated in a compiler.

AB - Over the design of software (SW) used in provisioning of dependable services, Executable Assertions (EAs) are seeing increasing usage in aiding detection of data errors. Given the requirements for provision of service despite faults, early detection of system states that can potentially lead to system failure is valuable. We address the issue of ascertaining whether localized EAs in individual modules add up complementarily to implement a global EA/property. We first show that detection of globally compliant EAs is NP-complete. Thus, we develop a two-pass approach for our objective. In the first pass, we introduce the consistency property of EAs and use it to ascertain global conformity across all EAs. The second pass, analogous to predicate transformers, generates globally consistent EAs when any inconsistency is flagged in the first pass. We show the applicability of our approach on a real embedded system. Initial results obtained show that our framework is able to detect inherent vulnerabilities (due to placement of mismatched EAs) that were previously undetected. Our intent is automation of this approach, which can be incorporated in a compiler.

KW - Computer software

KW - Fault tolerant computer systems

KW - Program compilers

KW - Software engineering

KW - Embedded software

KW - Embedded systems

U2 - 10.1145/513829.513843

DO - 10.1145/513829.513843

M3 - Conference contribution/Paper

SN - 1581135270

SP - 75

EP - 84

BT - Proceedings of the joint conference on Languages, compilers and tools for embedded systems

PB - ACM

ER -