- 1 Avizieni., A. and kelly, J.Pj. Faoh tcderance by design diversity: Concepts and experiments. IEEE Comput. 17, 8 (Aug, 1984',, 67-80.Google Scholar
- 2 Gha, S.S. Saietv verifkatio,o on oft,. ware design. Ph.D disserta6on, {CS Dept., University of CalDbrnia, Irvine, June 1990.Google Scholar
- 3 Cha, S.S,, Leveson, N.G., and SbimeaiL T.J. Verification of saietv 5 ada programs, in Proceedings of an 10th internationsl conference on Software Engineen:zg (Singapore, Apr. 1988). pp. 377-386. Google ScholarDigital Library
- 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.Google Scholar
- 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.Google ScholarDigital Library
- 6 Friedman, M. Modding the penaity costs of software hdlm'e. Ph.D. disseration, Dept. of {nibrmatio)~ and Computer Science, {Jniversity of California, Irvlae, Mar. 1986. Google ScholarDigital Library
- 7 jaffe, M.3., Leveson, N.G., Hehn~ dahl, M., and Melhart, B. Sotiwm'e requkcmems analysis k x reabtime process control system. IEEE tran softw. Eng. (MaL t991.) To be published. Google ScholarDigital Library
- 8 jahanian, . and Mok: A.F,, Safe:.y analysis of timing properties in realdine syae:ns, iEEE Tmr,~. Sqfiw. Eng. SE-12, 9 (Sept. 198611, 890-- 904. Google ScholarDigital Library
- 9 Joyce, E. Software bugs: ,A matter of life and liability. Datanation 33 to (May 15, i987), 88-92. Google ScholarDigital Library
- 10 Knight, j.G. and Lcveson, N.G. An experimental eva!nation of the aasumption of independence in kultwe'csion programming IfEE trans. softw.Eng. SE-12, 1 (Jan 1986), 96-109, Google ScholarDigital Library
- 11 aprie, I.C. The dependability approach t<> critical computing systerns. In Procccdiings of the first europeo. Conference of software Engineering (strasbourg, france, Sept. 1987). Google ScholarDigital Library
- 12 Leveson, N.G, Software saietv: why what. and how ACM Comput suro, 18, ? (june 1986). 25-69. Google ScholarDigital Library
- 13 Leveson, N.G. Building safe sotkware In Aerospace Software Engmerlag, Chris Anderson, Ed. AIAA, 1996.Google Scholar
- 14 Leveson, N.C, 59/?:oare .safty. addison,.Wes{ey Reading, Mass., qb be availab}e fall :1990.Google Scholar
- 15 leveson, N.G. and Harvey, P.R. Analyzing software safety. I~.8;E Trans, soft eng.SE-0 sep. 1983'k 569--579.Google Scholar
- 16 Leveson, N.G and Smtzy, .i.L. Safety analysis using petri nets. IEEE transsoftw .eng. SE-13 (Mar. 1987), 385-397. Google ScholarDigital Library
- 17 Levine, $. Probabilistic risk assessmen{: Idemifying the rea. I risks of osctear power Tech, Reo. (Feb./ Mar. {984), 4 i-44.Google Scholar
- 18 Lowe, EA., and Hidden, A.E. Com puter Coniro{ iv, Process industries, Peter Peregrinus Ltd., London, 197i.Google Scholar
- 19 MacKenzm, j j. Finessing the risks of c,;dear power 'tech Ra.,. (Feb./ Mar. 1984), $4-39-Google Scholar
- 20 Malasky, S.W. System Safety Technology and Application, Gadand STPM Press. N.Y. i 982.Google Scholar
- 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).Google Scholar
- 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)Google Scholar
- 23 Neumann, P.G Some computerrelated disasters and other egregious horrors. ACM Softw Eng. Not. 10, i (jan. i985), 6-7.Google Scholar
- 24 New York Times. Science Section, July 29, !986, p. Cl.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 27 Smith, C.L Distal Computer Process control. international textbook Company, Scranton, i972.Google Scholar
- 28 Temham, K.E. Automatic complacency. Flight Crew (Winter, 1981), 34-35.Google Scholar
- 29 Waterman ,H.E.FAA's certification position on advanced avionics. AIAA Astro. Aero. (May 1978), 49- 5!.Google Scholar
Index Terms
- Software safety in embedded computer systems
Recommendations
Hardware/Software Interface Codesign for Embedded Systems
Technological evolutionýparticularly shrinking silicon fabrication geometries is enabling the integration of complex platforms in a single system on chip. In addition to specifichardware subsystems, a modern SoC also can include one or several CPU ...
Comments