Abstract
This paper introduces an enhanced hardware/software co-design framework allowing the designer to introduce hardware fault detection properties in the system under consideration. By considering reliability requirements at system level, within a hw/sw co-design flow, it is possible to evaluate overheads and benefits of different solutions. System specification, hardware and software concurrent fault detection design methodologies and hw/sw partitioning are the three key factors taken into account. The paper discusses these aspects providing a complete overview of the reliability co-design project.
Similar content being viewed by others
References
N.K. Jha and Wang, “Design and Synthesis of Self-Checking VLSI Circuits,” IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 12, no. 6, pp. 879–887, June 1993.
D.P. Siewiorek and R.S. Swarz, The Theory and Practice of Reliable System Design, Digital Press, 1982.
Z. Alkhalifa, V.S.S. Nair, and J.A. Abraham, “Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection,” IEEE Trans. Parallel and Distributed System, vol. 10, no. 6, pp. 627–641, June 1999.
C. Bolchini, L. Pomante, F. Salice, and D. Sciuto “Reliability Properties Assessment At System Level: A Co-Design Framework,” Tech. Rep. 2001-85, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy, 2001.
C. Bolchini, F. Salice, and D. Sciuto, “Designing Reliable Embedded Systems Based on 32 bit Microprocessors,” in Proc. IEEE 7th Int. On-Line Testing Workshop, 2001, p. 137.
C. Wah and A. Orailoglu, “High-Level Synthesis of Gracefully Degradable ASICs, “in Proc. European Design and Test Conference, 1996 (ED&TC'96), pp. 50–54.
G. De Michell and R.K. Gupta, “Hardware/Software Co-Design,” in Proceedings of the IEEE, vol. 85, no. 3, pp. 349–365, March 1997.
L. Pomante, “System Level Concurrent Error Detection,” Tech. Rep. RT-00003, Cefriel-Politecnico di Milano, Milano.
D.K. Pradhan, (Ed.), Fault Tolerant computing, Theory and Techniques, vol. 1. Englewood Cliffs, NJ, U.S.: Prentice Hall, 1986.
F. Rashid, K.K. Saluja, and P. Ramanathan, “Fault Tolerance Through Re-Execution in Multiscalar Architecture,” in Proc. Int. Conference on Dependable Systems and Networks (DNS 2000), 2000, pp. 482–491.
F.F. Sellers, M.Y. Hsiao, and L.W. Bearnson, Error Detecting Logic for Digital Computers, McGraw-Hill: New York, 1986.
H. Wasserman and M. Blum, “Software Reliability via Run-Time Result Checking,” Journal of the ACM, vol. 44, no. 6, pp. 826–849, November 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bolchini, C., Pomante, L., Salice, F. et al. Reliability Properties Assessment at System Level: A Co-Design Framework. Journal of Electronic Testing 18, 351–356 (2002). https://doi.org/10.1023/A:1015047524985
Issue Date:
DOI: https://doi.org/10.1023/A:1015047524985