……可以从拉脱维亚标准机构网站（https://www.lvs.lv/）便宜租借或购买，大多数都是协调标准，跟 IEC 或 ISO 的母标准一模一样，只是加了个 LVS 的封皮。Chris Hobbs 写的这本《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）对安全软件开发概貌和关键标准给出了极佳的综述，我觉得读起来很轻松。https://www.routledge.com/Embedded-Software-Development-for-... 在实际操作层面上……
…can rent or buy them cheaply from the Latvian Standards website (https://www.lvs.lv/), most are harmonised and exactly the same as IEC or ISO parent standards, just with an LVS cover sheet. This book ,Embedded Software Development for Safety-Critical Systems by Chris Hobbs gives a great overview of safety software development in general and the key standards, I found it easy to read. https://www.routledge.com/Embedded-Software-Development-for-... On a practical…
我知道回复晚了，但我非常推荐翻翻 Chris Hobbs 写的《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）。我觉得它很棒地启发了人们去思考如何在自己的项目中建立安全思维、哪些技术适用以及有哪些常见的坑。
Late reply, I know, but I would highly recommend skimming through “Embedded Software Development for Safety-Critical Systems” by Chris Hobbs. I think it does a good job at getting people thinking about how they can start adopting a safety mindset for their projects, what techniques are applicable, and what common pitfalls are.
……https://www.amazon.com/Building-High-Integrity-Applications-... 《用 Ada 构建并行、嵌入式与实时应用》（Building Parallel, Embedded, and Real-Time Applications with Ada）https://www.amazon.com/Building-Parallel-Embedded-Real-Time-... 《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）https://www.amazon.com/Embedded-Software-Development-Safety-...
…https://www.amazon.com/Building-High-Integrity-Applications-... "Building Parallel, Embedded, and Real-Time Applications with Ada" https://www.amazon.com/Building-Parallel-Embedded-Real-Time-... "Embedded Software Development for Safety-Critical Systems" https://www.amazon.com/Embedded-Software-Development-Safety-...
……软件是用 C 写的，它并不安全，而且不满足上述若干标准。这一点是通过工具链、流程、代码生成、设计验证与确认（V&V）等手段来缓解的。[1]：摘自 Hobbs 的《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）。有趣的是，作者个人在对编译器有足够信心的前提下，会倾向于选择 D 或 Rust 来做安全关键开发。
…software is C, which is not safe and doesn't fulfil several of the above criteria. This is mitigated through tooling, processes, code generation, design validation & verification and so on. [1]: Taken from Embedded Software Development for Safety-Critical Systems, Hobbs. Interestingly the author would personally choose D or Rust for safety-critical development with the condition of having enough confidence in the compilers.
在这个软件与硬件集成日益主导的时代，确保这些系统的安全性和可靠性至关重要。本项目受 Chris Hobbs 的开创性著作《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）启发，旨在填补缺乏成熟健壮的开源故障树分析（FTA）工具这一重大空白。尽管 FTA 在评估系统漏洞和预测故障方面扮演着关键角色……
In an era increasingly dominated by software and hardware integrations, ensuring the safety and reliability of these systems is paramount. This project, inspired by Chris Hobbs's seminal work, "Embedded Software Development for Safety-Critical Systems," aims to address a significant gap in the availability of robust, open-source Fault Tree Analysis (FTA) tools. Despite the critical role of FTA in assessing system vulnerabilities and predicting failure…
……可以从拉脱维亚标准机构网站（https://www.lvs.lv/）便宜租借或购买，大多数都是协调标准，跟 IEC 或 ISO 的母标准一模一样，只是加了个 LVS 的封皮。Chris Hobbs 写的这本《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）对安全软件开发概貌和关键标准给出了极佳的综述，我觉得读起来很轻松。https://www.routledge.com/Embedded-Software-Development-for-... 在实际操作层面上……
…can rent or buy them cheaply from the Latvian Standards website (https://www.lvs.lv/), most are harmonised and exactly the same as IEC or ISO parent standards, just with an LVS cover sheet. This book ,Embedded Software Development for Safety-Critical Systems by Chris Hobbs gives a great overview of safety software development in general and the key standards, I found it easy to read. https://www.routledge.com/Embedded-Software-Development-for-... On a practical…
我知道回复晚了，但我非常推荐翻翻 Chris Hobbs 写的《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）。我觉得它很棒地启发了人们去思考如何在自己的项目中建立安全思维、哪些技术适用以及有哪些常见的坑。
Late reply, I know, but I would highly recommend skimming through “Embedded Software Development for Safety-Critical Systems” by Chris Hobbs. I think it does a good job at getting people thinking about how they can start adopting a safety mindset for their projects, what techniques are applicable, and what common pitfalls are.
……https://www.amazon.com/Building-High-Integrity-Applications-... 《用 Ada 构建并行、嵌入式与实时应用》（Building Parallel, Embedded, and Real-Time Applications with Ada）https://www.amazon.com/Building-Parallel-Embedded-Real-Time-... 《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）https://www.amazon.com/Embedded-Software-Development-Safety-...
…https://www.amazon.com/Building-High-Integrity-Applications-... "Building Parallel, Embedded, and Real-Time Applications with Ada" https://www.amazon.com/Building-Parallel-Embedded-Real-Time-... "Embedded Software Development for Safety-Critical Systems" https://www.amazon.com/Embedded-Software-Development-Safety-...
……软件是用 C 写的，它并不安全，而且不满足上述若干标准。这一点是通过工具链、流程、代码生成、设计验证与确认（V&V）等手段来缓解的。[1]：摘自 Hobbs 的《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）。有趣的是，作者个人在对编译器有足够信心的前提下，会倾向于选择 D 或 Rust 来做安全关键开发。
…software is C, which is not safe and doesn't fulfil several of the above criteria. This is mitigated through tooling, processes, code generation, design validation & verification and so on. [1]: Taken from Embedded Software Development for Safety-Critical Systems, Hobbs. Interestingly the author would personally choose D or Rust for safety-critical development with the condition of having enough confidence in the compilers.
在这个软件与硬件集成日益主导的时代，确保这些系统的安全性和可靠性至关重要。本项目受 Chris Hobbs 的开创性著作《安全关键系统的嵌入式软件开发》（Embedded Software Development for Safety-Critical Systems）启发，旨在填补缺乏成熟健壮的开源故障树分析（FTA）工具这一重大空白。尽管 FTA 在评估系统漏洞和预测故障方面扮演着关键角色……
In an era increasingly dominated by software and hardware integrations, ensuring the safety and reliability of these systems is paramount. This project, inspired by Chris Hobbs's seminal work, "Embedded Software Development for Safety-Critical Systems," aims to address a significant gap in the availability of robust, open-source Fault Tree Analysis (FTA) tools. Despite the critical role of FTA in assessing system vulnerabilities and predicting failure…