skip to main content
10.1145/1953355.1953360acmotherconferencesArticle/Chapter ViewAbstractPublication PagesisecConference Proceedingsconference-collections
research-article

Robust embedded software design through early analysis of quality faults

Published: 24 February 2011 Publication History

Abstract

While providing correct functionality has been the thrust of most software design efforts, embedded software poses several additional challenges. Among them is designing robust software which can tolerate inaccurate inputs (coming from degraded sensors), failure of software components, and wearing-out of electro-mechanical parts it controls. For this, a design space exploration is performed and several design options are evaluated for their ability to tolerate quality (or accuracy degradation) faults. While a model-based approach enables an early analysis of quality faults, modeling and analyzing the effects of quality faults is a challenge. In this work we propose a quality fault-tolerance analysis framework which is used on operation-level models of embedded software, and an abstraction of quality-faults suitable for this analysis. The proposed method consists of characterizing individual components of the model, and then using the pre-characterized behaviors to quickly evaluate the software design. Characterization is a one-time effort and results of the same can be reused when a new design is evaluated. This results in additional speedup of upto 6-10X faster evaluation of designs, thereby facilitating a quick early evaluation of design options.

References

[1]
M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-Vincentelli, M. Peri, and S. Pezzini. Fault-tolerant platforms for automotive safety-critical applications. In CASES '03: Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems, pages 170--177, New York, NY, USA, 2003. ACM.
[2]
K. Chatterjee, A. Ghosal, T. A. Henzinger, D. Iercan, C. M. Kirsch, C. Pinello, and A. Sangiovanni-Vincentelli. Logical reliability of interacting real-time tasks. In DATE '08: Proceedings of the conference on Design, automation and test in Europe, pages 909--914, New York, NY, USA, 2008. ACM.
[3]
D. Das, P. P. Chakrabarti, and R. Kumar. Functional verification of task partitioning for multiprocessor embedded systems. ACM Trans. Des. Autom. Electron. Syst., 12(4):44, 2007.
[4]
J. Friedman. Matlab/simulink for automotive systems design. In DATE '06: Proceedings of the conference on Design, automation and test in Europe, pages 87--88, 3001 Leuven, Belgium, Belgium, 2006. European Design and Automation Association.
[5]
R. Hoseinnezhad and A. Bab-Hadiashar. Missing data compensation for safety-critical components in a drive-by-wire system. Vehicular Technology, IEEE Transactions on, 54(4):1304--1311, July 2005.
[6]
R. Leveugle, D. Cimonnet, and A. Ammari. System-level dependability analysis with rt-level fault injection accuracy. In DFT '04: Proceedings of the Defect and Fault Tolerance in VLSI Systems, 19th IEEE International Symposium, pages 451--458, Washington, DC, USA, 2004. IEEE Computer Society.
[7]
M. Mahmoud, J. Jiang, and Y. Zhang. Stochastic stability of fault tolerant control systems in the presence of noise. American Control Conference, 2000. Proceedings of the 2000, 6:4294--4298 vol. 6, 2000.
[8]
P. Ramachandran, P. Kudva, J. Kellington, J. Schumann, and P. Sanda. Statistical fault injection. Dependable Systems and Networks With FTCS and DCC, 2008. DSN 2008. IEEE International Conference on, pages 122--127, June 2008.
[9]
J. Shin, V. V. Zyuban, Z. Hu, J. A. Rivers, and P. Bose. A framework for architecture-level lifetime reliability modeling. In DSN, pages 534--543, 2007.

Cited By

View all
  • (2014)Robustness Analysis of Embedded Control Systems with Respect to Signal PerturbationsIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2013.2311:1(45-58)Online publication date: 1-Jan-2014
  • (2012)Finding Critical Components in Embedded Control Systems Sensitive to Quality-FaultsProceedings of the 2012 International Symposium on Electronic System Design10.1109/ISED.2012.9(167-171)Online publication date: 19-Dec-2012
  • (2011)A framework for early stage quality-fault tolerance analysis of embedded control systemsProceedings of the 2011 IEEE/IFIP 41st International Conference on Dependable Systems&Networks10.1109/DSN.2011.5958245(315-322)Online publication date: 27-Jun-2011

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ISEC '11: Proceedings of the 4th India Software Engineering Conference
February 2011
229 pages
ISBN:9781450305594
DOI:10.1145/1953355
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • Computer Society of India: Computer Society of India

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 February 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. embedded software
  2. quality analysis
  3. robust design

Qualifiers

  • Research-article

Conference

ISEC '11
Sponsor:
  • Computer Society of India
ISEC '11: Indian Software Engineering Conference
February 24 - 27, 2011
Kerala, Thiruvananthapuram, India

Acceptance Rates

Overall Acceptance Rate 76 of 315 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)Robustness Analysis of Embedded Control Systems with Respect to Signal PerturbationsIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2013.2311:1(45-58)Online publication date: 1-Jan-2014
  • (2012)Finding Critical Components in Embedded Control Systems Sensitive to Quality-FaultsProceedings of the 2012 International Symposium on Electronic System Design10.1109/ISED.2012.9(167-171)Online publication date: 19-Dec-2012
  • (2011)A framework for early stage quality-fault tolerance analysis of embedded control systemsProceedings of the 2011 IEEE/IFIP 41st International Conference on Dependable Systems&Networks10.1109/DSN.2011.5958245(315-322)Online publication date: 27-Jun-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media