The Institution of Electrical Engineers, Workshop Report. Centre for Software Reliability. NASA Langley Formal Methods Program NASA Software Guidance - Guidebooks and Standards NASA Software Working Group Home . OSHA Expert Advisors Safety Programs and Computer Based Training . Phoenix Software Disaster Recovery Planning Binomial Software.
Back issues are online.
This book examines past accidents and what is currently known about building safe electromechanical systems to see what lessons can be applied to new computer-controlled systems. The University of Texas at Austin, College of Engineering. Mission is to inform and educate software producers and users about issues vital to the production and application of high quality software. Software Safety Reliable Software Technologies. The IEE plays a leading role in the UK on questions of safety critical systems and has produced a number of reports and other documents.