[SystemSafety] Recommend books on writing safety critical software

[Mike Ellims]

I think a good place to start is,

 

Computer Related Risks

Peter G. Neumann

 

It gives a good background into the kinds of things that HAVE gone wrong, and seemingly continue to do so.

Thus providing some of the background necessary to right frame of mind for developing safety critical systems e.g. obsessive care and attention to detail.

 

Cheers.

 

 

From: systemsafety-bounces at lists.techfak.uni-bielefeld.de [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Wink Saville
Sent: 12 May 2015 01:49
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: [SystemSafety] Recommend books on writing safety critical software

 

I'm a long time programmer with experience in C/C++/Java, but I've never written safety critical software and would like to get a better understanding of the software design methodology and most importantly practical implementation techniques for safety critical software.

 

So, I'd like some recommendations on books, preferably compatible with Kindle.

 

Thanks,

 

Wink Saville

 



---
This email has been checked for viruses by Avast antivirus software.
http://www.avast.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150512/c232c1fc/attachment.html>