News for hackers. Stuff that matters.

A comment on Resources about programming practices for writing safety-critical software.

Re:Resources about programming practices for writing safety-... by RaiO on Monday March 06, 2017 @04:29PM (#13806223)
Is there anything like this that specifically addresses reliability in a critical (but not "safety-critical") system?
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by jacquesm on Monday March 06, 2017 @04:32PM (#13806247)
Yes, Armstrong's thesis is a very good starting point:

http://erlang.org/download/armstrong_thesis_2003.pdf

[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by amk_ on Monday March 06, 2017 @11:42PM (#13808322)
The techniques in the conclusions and appendix starting about page 200 are useful in any language
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by jacquesm on Tuesday March 07, 2017 @12:47AM (#13808525)
Yes. This goes far beyond Erlang.
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by RaiO on Monday March 06, 2017 @05:18PM (#13806574)
Looks great, thanks!
[ Parent | on HN ]
Re:Resources about programming practices for writing safety-... by macintux on Tuesday March 07, 2017 @07:40AM (#13809886)
An interesting paper that effectively describes the hardware equivalent to Erlang is Jim Gray's "Why Do Computers Stop and What Can Be Done About It?"

http://www.hpl.hp.com/techreports/tandem/TR-85.7.pdf

[ Parent | on HN ]