-
1
-
-
0035332682
-
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
-
-
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
-
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
-
-
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
-
-
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
-
-
Sha L, Rajkuman R, Gagliardi M. Evolving dependable real-time systems. Technical Report CMS/SEI-95-TR-005, Carnegie Mellon University; 1995.
-
-
-
-
7
-
-
85009522692
-
-
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
-
-
Alliance Systems Inc. 3501 East Plano Parkway, Plano, TX. www.alliancesystems.com.
-
-
-
-
9
-
-
85009521867
-
-
GE-Fanuc Automation Information Center. www.gefanuc.com.
-
-
-
-
10
-
-
85009526384
-
-
Honeywell Automation Safety Systems. hpsweb.honeywell.com/Cultures/enUS/Products/Systems/SafetySystems/defaul t.htm.
-
-
-
-
11
-
-
85009524425
-
-
Automation Direct, 3505 Hutchinson Road Cumming, GA 30040 www.automationdirect.com.
-
-
-
-
12
-
-
85009521606
-
-
Ajmani S. Automatic software upgrades for distributed systems. Technical Report MIT-LCS-TR-1012, Massachusetts Institute of Technology; 2004.
-
-
-
-
13
-
-
35048870722
-
-
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
-
-
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
-
-
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
-
-
Tucker AE, The correlation of computer program quality with testing effort. System Development Corporation, TM 2219/000/00; 1965.
-
-
-
-
17
-
-
0017959155
-
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
-
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
-
-
TRW Corporation. Operational flight program software requirements. Technical Report SW05 (NASA contract NAS8-36800); 1987 [November 16].
-
-
-
-
20
-
-
0026187361
-
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
-
-
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
-
-
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.
-
-
-
|