메뉴 건너뛰기




Volumn 39, Issue 5, 2008, Pages 371-383

A fault-tolerant approach to test control utilizing dual-redundant processors

Author keywords

Computing; Control; cost benefit; Dual redundant; Duplex; Fault tolerant; Hot standby; Primary; Triplex

Indexed keywords

COST BENEFIT ANALYSIS; FAULT TOLERANCE; PERSONAL COMPUTERS; REAL TIME SYSTEMS; REDUNDANCY; SOFTWARE DESIGN;

EID: 38349032606     PISSN: 09659978     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.advengsoft.2007.03.010     Document Type: Article
Times cited : (7)

References (22)
  • 1
    • 0035332682 scopus 로고    scopus 로고
    • X-33 redundancy management system
    • Bolduc L.P. X-33 redundancy management system. IEEE Aerospace Electron Syst Mag 16 5 (2001) 23-28
    • (2001) IEEE Aerospace Electron Syst Mag , vol.16 , Issue.5 , pp. 23-28
    • Bolduc, L.P.1
  • 2
    • 0026377376 scopus 로고    scopus 로고
    • Smith TJ, Yelverton JN. Processor architecture for fault tolerant avionics systems. In: IEEE/AIAA digital avionics systems conference, 10th, Proceedings (A92-49251 21-06); 1991. p. 213-219.
  • 3
    • 0029254426 scopus 로고
    • Determining redundancy levels for fault tolerant real-time systems
    • Wang F., Ramamritham K., and Stankovic J.A. Determining redundancy levels for fault tolerant real-time systems. IEEE Trans Comput 44 2 (1995) 292-301
    • (1995) IEEE Trans Comput , vol.44 , Issue.2 , pp. 292-301
    • Wang, F.1    Ramamritham, K.2    Stankovic, J.A.3
  • 4
    • 0033907709 scopus 로고    scopus 로고
    • Wattanapongsakorn N, Levitan S. Integrating dependability analysis into the real-time design process. In: Proceedings of annual reliability and maintainability symposium; 2000. p. 327-34.
  • 5
    • 85009520546 scopus 로고    scopus 로고
    • Sha L, Goodenough JB, Pollak B. Simplex architecture: meeting the challenges of using COTS in high-reliability systems. http://www.sei.cmu.edu/publications/articles/simplex-crosstalk-wp/abstra ct.html.
  • 6
    • 85009521868 scopus 로고    scopus 로고
    • Sha L, Rajkuman R, Gagliardi M. Evolving dependable real-time systems. Technical Report CMS/SEI-95-TR-005, Carnegie Mellon University; 1995.
  • 7
    • 85009522692 scopus 로고    scopus 로고
    • Seto D, Sha L. A case study on analytical analysis of the inverted pendulum real-time control system. Technical Report CMU/SEI-99-TR-023, Carnegie Mellon University; 1999.
  • 8
    • 85009519756 scopus 로고    scopus 로고
    • Alliance Systems Inc. 3501 East Plano Parkway, Plano, TX. www.alliancesystems.com.
  • 9
    • 85009521867 scopus 로고    scopus 로고
    • GE-Fanuc Automation Information Center. www.gefanuc.com.
  • 10
    • 85009526384 scopus 로고    scopus 로고
    • Honeywell Automation Safety Systems. hpsweb.honeywell.com/Cultures/enUS/Products/Systems/SafetySystems/defaul t.htm.
  • 11
    • 85009524425 scopus 로고    scopus 로고
    • Automation Direct, 3505 Hutchinson Road Cumming, GA 30040 www.automationdirect.com.
  • 12
    • 85009521606 scopus 로고    scopus 로고
    • Ajmani S. Automatic software upgrades for distributed systems. Technical Report MIT-LCS-TR-1012, Massachusetts Institute of Technology; 2004.
  • 13
    • 35048870722 scopus 로고    scopus 로고
    • McCamant S, Ernst MD. Early Identification of Incompatibilities in multi-component upgrades. In: Proceedings of 18th european conference on object-oriented programming; 2004. p. 440-64.
  • 14
    • 33750420609 scopus 로고    scopus 로고
    • Yu DL, Smith SF. A formal framework for component deployment. In: Proceedings of 21st annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications; 2006. p. 325-44.
  • 15
    • 0034591447 scopus 로고    scopus 로고
    • Zhuang Y, Lu Y, Zhu B, Zhu M. Design and implementation of a dual-server fault-tolerant real-time processing system. In: Proceedings of third world congress on intelligent automation and controls; 2000. p. 3618-622.
  • 16
    • 85009523470 scopus 로고    scopus 로고
    • Tucker AE, The correlation of computer program quality with testing effort. System Development Corporation, TM 2219/000/00; 1965.
  • 17
    • 0017959155 scopus 로고
    • Hints on test data selection: help for the practicing programmer
    • DeMillo R.A., Lipton R.J., and Sayward F.G. Hints on test data selection: help for the practicing programmer. IEEE Comput April (1978) 34-41
    • (1978) IEEE Comput , Issue.April , pp. 34-41
    • DeMillo, R.A.1    Lipton, R.J.2    Sayward, F.G.3
  • 18
    • 0028438845 scopus 로고
    • An empirical evaluation of weak mutation
    • Offutt A.J., and Lee S.D. An empirical evaluation of weak mutation. IEEE Trans Soft Eng 20 5 (1994) 337-344
    • (1994) IEEE Trans Soft Eng , vol.20 , Issue.5 , pp. 337-344
    • Offutt, A.J.1    Lee, S.D.2
  • 19
    • 85009526385 scopus 로고    scopus 로고
    • TRW Corporation. Operational flight program software requirements. Technical Report SW05 (NASA contract NAS8-36800); 1987 [November 16].
  • 20
    • 0026187361 scopus 로고
    • Implementing design diversity to achieve fault tolerance
    • Kelly J.P.J., McVittie T.I., and Yamamoto W.I. Implementing design diversity to achieve fault tolerance. IEEE Software 8 4 (1991) 61-71
    • (1991) IEEE Software , vol.8 , Issue.4 , pp. 61-71
    • Kelly, J.P.J.1    McVittie, T.I.2    Yamamoto, W.I.3
  • 21
    • 0025557211 scopus 로고    scopus 로고
    • Wensley JH, Uhrich DD. Reliability and cost considerations for launch vehicle avionics. In: Proceedings of IEEE/AIAA/NASA Ninth digital avionics systems conference; 1990. p. 117-124.
  • 22
    • 0031996233 scopus 로고    scopus 로고
    • Thybo C, Blanke M. Industrial cost-benefit assessment for fault tolerant control systems. In: UKACC international conference on control '98 (Conference Publication No. 455); 1998. p0.1151-56.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.