URLs for Skycar Safety

http://www.dacs.dtic.mil/databases/url/key.hts?keycode=2248 DoD SW by collaboration

http://www.dacs.dtic.mil/databases/url/key.hts?keycode=64 DoD Cleanroom SW Engineering

FORMAL METHODS

http://www.dacs.dtic.mil/databases/url/key.hts?keycode=53 DoD Formal Methods

http://www.fme-nl.org/ Formal Methods Europe

http://archive.comlab.ox.ac.uk/formal-methods/ Formal Methods Archive

http://www.dacs.dtic.mil/databases/url/key.hts?keycode=2 DoD SW Reliability

http://www.sohar.com/ Software and Hardware Reliability company in California

http://archive.comlab.ox.ac.uk/safety.html Safety Critical Systems WWW Virtual Library

http://www.comp.lancs.ac.uk/computing/resources/scs/ Advances in Safety Critical Systems - online book thru 1998

http://www.thegrid.net/tech/realv/safety.htm Safety Critical SW references

http://www.rstcorp.com/ Reliable SW Technologies - a fast growing company which hosts many reliable SW groups

http://members.aol.com/JohnDMusa/index.html Musa's SW Reliability Engineering web page

http://www.isograph.com/ reliability analysis tools

http://www.iee.org.uk/PAB/SCS/ IEE Org on Safety Critical Systems

http://www.eetoolbox.com/realv/safety.htm Safety Critical Systems - large web site of resources

http://www.eetoolbox.com/navi/embed.htm Embedded SW

http://www.eetoolbox.com/navi/real.htm Real Time operating Systems

http://www.dcs.shef.ac.uk/~colinc/com324cc.htm Safety Critical Systems methods: Petri, Formal, etc.

http://liinwww.ira.uka.de/bibliography/SE/dependability.html 4,600 Dependability references

http://www.cs.virginia.edu/~uvase/safety_links.html Univ of Virginia Safety Critical SW Research Links 1996

NASA

http://satc.gsfc.nasa.gov/assure/nssstd.html NASA SW Safety standard

http://www.ivv.nasa.gov/SWG/resources/SWG_safety_pdf.html NASA Guidebook for Safety Critical SW - PDF, Word, postscript versions

http://www.aonix.com/Products/CSDS/safety.html ADA and C-Smart