|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Avizieni., A. and kelly, J.Pj. Faoh tcderance by design diversity: Concepts and experiments. IEEE Comput. 17, 8 (Aug, 1984',, 67-80.
|
| |
2
|
Gha, S.S. Saietv verifkatio,o on oft,. ware design. Ph.D disserta6on, {CS Dept., University of CalDbrnia, Irvine, June 1990.
|
| |
3
|
|
| |
4
|
Eckhardt, D.E., Gaglayant, A.K., Knight., j C., Lee, L.D, McAltbteL DF., and 'Voosk, M.A. An Expedmental evalutationfo software rednndanccy as a stramgy for improving rdiatfility. Submitted tk>r publication.
|
| |
5
|
Eckhardt, D.E. and Lee. L.D. A tkemultiversion software subject to coincident errors. IEEE Trans. Softw. Eng. SE-11, 12 (Dec. 1985), 1511- 1517.
|
| |
6
|
|
| |
7
|
|
| |
8
|
|
 |
9
|
|
| |
10
|
|
| |
11
|
|
| |
12
|
|
| |
13
|
Leveson, N.G. Building safe sotkware In Aerospace Software Engmerlag, Chris Anderson, Ed. AIAA, 1996.
|
| |
14
|
Leveson, N.C, 59/?:oare .safty. addison,.Wes{ey Reading, Mass., qb be availab}e fall :1990.
|
| |
15
|
leveson, N.G. and Harvey, P.R. Analyzing software safety. I~.8;E Trans, soft eng.SE-0 sep. 1983'k 569--579.
|
| |
16
|
|
| |
17
|
Levine, $. Probabilistic risk assessmen{: Idemifying the rea. I risks of osctear power Tech, Reo. (Feb./ Mar. {984), 4 i-44.
|
| |
18
|
Lowe, EA., and Hidden, A.E. Com puter Coniro{ iv, Process industries, Peter Peregrinus Ltd., London, 197i.
|
| |
19
|
MacKenzm, j j. Finessing the risks of c,;dear power 'tech Ra.,. (Feb./ Mar. 1984), $4-39-
|
| |
20
|
Malasky, S.W. System Safety Technology and Application, Gadand STPM Press. N.Y.. i 982.
|
| |
21
|
software requirements. Ph.D. dissertation, ICS Dept., University of modeling and inference in software quality assurance, In Proceedings of cation (Gatwick, England, Sept. 1988).
|
| |
22
|
Miler, D.R. The role of staritical modelling and inferences in software qulialy assureance .In Processing of the csr workshop on software certifi cation (Gattwick ,England, sept. 1988)
|
| |
23
|
Neumann, P.G Some computerrelated disasters and other egregious horrors. ACM Softw Eng. Not. 10, i (jan. i985), 6-7.
|
| |
24
|
New York Times. Science Section, July 29, !986, p. Cl.
|
| |
25
|
Reactor safety Study: an assessment of accident risks in the U.S. commercial nuclear power plants. Report WASH-1400, U.$. Atomic- Ener Commission, 1975.
|
| |
26
|
Rushby, J. Kernels for safety? In Safety and Security (Gtasgow, Scotland, Oct. 1986). Also printed in Anderson Ed., Blackwell Scientific Publications, 1989, pp. 210-220.
|
| |
27
|
Smith, C.L Distal Computer Process control. international textbook Company, Scranton, i972.
|
| |
28
|
Temham, K.E. Automatic complacency. Flight Crew (Winter, 1981), 34-35.
|
| |
29
|
Waterman ,H.E.FAA's certification position on advanced avionics. AIAA Astro. Aero. (May 1978), 49- 5!.
|
CITED BY 21
|
|
|
|
|
|
|
|
|
|
|
Batya Friedman , Peter H. Kahn, Jr., Human values, ethics, and design, The human-computer interaction handbook: fundamentals, evolving technologies and emerging applications, Lawrence Erlbaum Associates, Inc., Mahwah, NJ, 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S. R. Dalal , J. R. Horgan , J. R. Kettenring, Reliable software and communication: software quality, reliability, and safety, Proceedings of the 15th international conference on Software Engineering, p.425-435, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
Jagun Kwon , Andy Wellings , Steve King, Ravenscar-Java: a high integrity profile for real-time Java, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.131-140, November 03-05, 2002, Seattle, Washington, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
K.4