is there any good book or guidline out there on how to write software which matches several safety criterias? The book should give introducion on i.e. how to build up redundant variables, how to make an fast periodic RAM/ROM test, instruction test etc. blabla
I couldn't find anything about that topic.