Can information surety be assessed with high confidence? [electronic resource]

Several basic reasons are given to support the position that an integrated, systems methodology entailing probabilistic assessment offers the best means for addressing the problems in software safety. The recognized hard problems in software safety, or safety per se, and some of the techniques for h...

Full description

Saved in:
Bibliographic Details
Online Access: Online Access
Corporate Author: Sandia National Laboratories (Researcher)
Format: Government Document Electronic eBook
Language:English
Published: Washington, D.C. : Oak Ridge, Tenn. : United States. Dept. of Energy ; distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy, 1994.
Subjects:

MARC

LEADER 00000nam a22000003u 4500
001 b5938185
003 CoU
005 20100212000000.0
006 m d f
007 cr un
008 100524e19940801dcu s| f1|||||eng|d
035 |a (TOE)ost10169897 
035 |a (TOE)10169897 
040 |a TOE  |c TOE 
049 |a GDWR 
072 7 |a 99  |2 edbsc 
086 0 |a E 1.99: conf-940788--3 
086 0 |a E 1.99:sand--94-1796c 
086 0 |a E 1.99: conf-940788--3 
245 0 0 |a Can information surety be assessed with high confidence?  |h [electronic resource] 
260 |a Washington, D.C. :  |b United States. Dept. of Energy ;  |a Oak Ridge, Tenn. :  |b distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy,  |c 1994. 
300 |a 13 p. :  |b digital, PDF file. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
500 |a Published through the Information Bridge: DOE Scientific and Technical Information. 
500 |a 08/01/1994. 
500 |a "sand--94-1796c" 
500 |a " conf-940788--3" 
500 |a "DE94015805" 
500 |a "GB0103012" 
500 |a High consequence operations safety symposium,Albuquerque, NM (United States),12-14 Jul 1994. 
500 |a Lim, J.J.; Fletcher, S.K.; Jansma, R.M.; Halbgewachs, R.D.; Sands, P.D.; Wyss, G.D.; Watterberg, P.A. 
520 3 |a Several basic reasons are given to support the position that an integrated, systems methodology entailing probabilistic assessment offers the best means for addressing the problems in software safety. The recognized hard problems in software safety, or safety per se, and some of the techniques for hazard identification and analysis are then discussed relative to their specific strengths and limitations. The paper notes that it is the combination of techniques that will lead to safer systems, and that more experience, examples, and applications of techniques are needed to understand the limits to which software safety can be assessed. Lastly, some on-going project work at Sandia National Laboratories on developing a solution methodology is presented. 
536 |b AC04-94AL85000. 
650 7 |a Safety.  |2 local. 
650 7 |a Markov Process.  |2 local. 
650 7 |a Computer Codes.  |2 local. 
650 7 |a Fault Tree Analysis.  |2 local. 
650 7 |a Reliability.  |2 local. 
650 7 |a Failure Mode Analysis.  |2 local. 
650 7 |a General And Miscellaneous//mathematics, Computing, And Information Science.  |2 edbsc. 
710 2 |a Sandia National Laboratories.  |4 res. 
710 1 |a United States.  |b Department of Energy.  |4 spn. 
710 1 |a United States.  |b Department of Energy.  |b Office of Scientific and Technical Information.  |4 dst. 
856 4 0 |u http://www.osti.gov/servlets/purl/10169897-LH55Un/native/  |z Online Access 
907 |a .b59381851  |b 03-06-23  |c 05-24-10 
998 |a web  |b 05-24-10  |c f  |d m   |e p  |f eng  |g dcu  |h 0  |i 1 
956 |a Information bridge 
999 f f |i 1e46efec-010f-5780-a42d-badae90f4438  |s 954f05f3-b1a1-5b7f-8ca2-9b522dc39da5 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e E 1.99: conf-940788--3  |h Superintendent of Documents classification  |i web  |n 1