📚 网上馆配 · 在线荐购平台

内容简介：安全关键设备广泛应用于医疗、铁路、汽车及工业等领域，其正常运行高度依赖于复杂软件的正确性与可靠性。为确保此类系统的安全性，众多国际标准对其设计、构建与验证过程提出了明确要求。过去，开发人员仅需掌握特定行业设备程序的编写方法即可胜任工作；而如今，他们不仅需要理解并实施更为严格的开发实践，还必须能够向外部评估机构提供充分的技术证据以证明其开发过程的合规性。本书系统阐述了如何构建具有高可靠性的嵌入式软件，旨在服务于在通用嵌入式软件开发方面具备丰富经验，计划转向安全关键应用开发的系统设计者、实现者与验证人员。