Reliability Analysis of A System Based on the Execution Characteristics of sub-Modules

동작 특성 기반의 시스템 신뢰도 분석

  • 나윤지 (대전보건대학 컴퓨터정보처리과) ;
  • 고일석 (충북과학대학 전자상거래과) ;
  • 조용환 (충북대학교 전기전자 및 컴퓨터공학부)
  • Published : 2002.01.01

Abstract

Complexity of the hardware system grows larger, the fault testing becomes more difficult. As we divide system into the functional sub-modules and analyze reliability of a sub-modules on the system, We improve the system test performance. And the analysing results help us to set up the effective strategies for the system test. Also describing the system to a formalized sub-modules, we can analyze the logical accuracy and the characteristics of system. So we can predict the reliability of the system based on execution characteristics. In this paper we propose a reliability analysis method of a system based on the execution characteristics of sub-module.

시스템의 대규모, 복잡화는 시스템의 결함 여부를 테스트하는 것을 어렵게 하고 있다. 시스템의 구성은 기능별 모듈로 나눌 수 있으며, 시스템의 각 모듈이 전체 시스템의 신뢰도에 미치는 영향의 효율적인 분석을 통해 시스템 전체에 대한 효율적인 테스트 전략을 수립할 수 있고 이는 전체 시스템 테스트의 효율을 증대시킬 수 있을 것이다. 또한 시스템 모델을 정형화된 모듈로 나타낼 경우 그 시스템의 동작상의 논리적인 정확성, 성능분석 및 신뢰성 예측 등의 여러 특성 등의 효율적인 분석이 가능하다. 본 논문에서는 시스템 모듈을 그래프 모델로 정형화하고, 이것의 시스템 동작 특성을 기반으로 한 분석을 통하여 각 모듈이 전체 시스템의 신뢰성에 미치는 영향을 분석하는 기법을 제안한다.

Keywords

References

  1. S. Cataldo, S. Chiusano, P. Pnnetto, 'Optimal Hardware Pattem Generation for Functional BIST,' Design, Automation and Test in Europe, March 2000
  2. S. Stoica, 'Generating Functional Design Verification Tests,' IEEE Design & Test of Computer, Vo1.16, no.3, PP.53-63, July-September 1999 https://doi.org/10.1109/54.785834
  3. M. Jacomet, R. Walti, L. Winzenried, J. Perez, M. Gysel. 'ProTset: A Low Cost Rapid Prototyping and Test System for ASICs and FPGAs,' Proceeding of the 1997 International Conference on Microelectronics Systems Education (MSE'97), 1997
  4. S. Cataldo, S. Chiusano, P. Prinetto, 'Optimal Hardware Pattem Generation for Functional BIST,' Design & Automation and Test in Europe, 27-30 March 2000
  5. A. Speck, 'Component-Based Control System,' Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
  6. J.L. Peterson, Petri Net theory and the Modeline of Systems. Englewood Cliffs, NJ:Pnaitice-Ha11, 1981
  7. T. Murata. Petri Nets: Properdes, analysis and applications, Proceedings of the IEEE, 77(4):541-580, April 1989 https://doi.org/10.1109/5.24143
  8. P. Senac, P. de Saqui-Saimes, R. Willnch, 'Hierarchical Time Stream Petri Net: A Model for Hypennedia Systems,' Application and Theory of Petri Nets 1995, pp.451-470, June1995
  9. M. Notomi and T. Murata, 'Hierarchical Reachibility Graph of Bounded Petri Nets for Concurrent Software Analysis,' IEEETransaction on Software Engineering, Vol.20, No.5, pp.325-336, 1994 https://doi.org/10.1109/32.286423