I'm looking to locate a good resource (book or otherwise) on safety critical systems development techniques/methodologies, especially something that will cover both hardware and software . I have a sound working knowledge of C/C++, so even if it is just code on SourceForge etc I would still appreciate a link to it to have a browse.
Thanks.
The podcast Software Engineering Radio has some episodes which talk about e.g. real-time and fault tolerant systems which I found very informative. Those episodes also had good references to books.
来源：https://stackoverflow.com/questions/81832/what-is-the-best-resource-for-learning-about-safety-critical-systems-development