Embedded Software Development for Safety-Critical Systems (Hardcover)

Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors.

Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems.

Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars.

Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.

安全關鍵設備，無論是醫療、汽車還是工業領域，越來越依賴於複雜軟體的正確運作。在過去十年中，出現了許多關於這些系統應如何設計和建構的標準。開發人員以前只需要知道如何為自己的行業編寫程式，現在必須了解非常專業的開發實踐，並準備好向外部審計師證明他們的工作。

《安全關鍵系統的嵌入式軟體開發》討論了以下標準下的安全關鍵系統開發：IEC 61508、ISO 26262、EN 50128和IEC 62304。它詳細介紹了標準中推薦的許多架構和設計實踐的優點和缺點，從複製和多樣化，到異常檢測和所謂的「安全包」系統。

本書從QNX Software Systems用於建立安全關鍵設備的嵌入式軟體培訓模組中演變而來，該模組涵蓋醫療設備、鐵路系統、工業系統和汽車駕駛輔助設備等領域。

雖然本書主要描述了開源工具，但也提供了足夠的資訊，讓您尋找商業供應商，如果您決定採取這條路線的話。本書描述的所有技術都可以通過數百篇學術文章進一步探索。為了讓您有所了解，作者提供了他作為一名軟體開發人員所認為有用的參考資料。這些參考資料大部分可以免費下載。