[SystemSafety] Recommend books on writing safety critical software

[David MENTRE]

Hello,

Le 12/05/2015 02:49, Wink Saville a écrit :
> 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.

My recommendation:

Better Embedded System Software
Philip Koopman, Ph.D.
Carnegie Mellon University

  http://koopman.us/

Short book, right to the point, discuss many issues relevant to embedded 
software, simple and practical advices.

In short, a *VERY* good book.

Sincerely yours,
D. Mentré