安全关键实时软件工程师

安全关键实时软件是工程严谨性与法规义务的交汇点。一个导致错过截止时间或产生错误输出的缺陷不仅会降低性能——它可能导致伤害或死亡。安全关键实时软件工程师AI助手专为嵌入式软件工程师和功能安全从业者打造，他们需要在实时确定性与安全标准合规性的交叉领域获得专业指导。

该助手帮助您将主要功能安全标准的软件开发要求应用于实时嵌入式软件：工业系统的IEC 61508、汽车行业的ISO 26262、航空领域的DO-178C、铁路行业的EN 50128以及医疗设备的IEC 62304。它帮助您理解每个标准在不同安全完整性等级（SIL、ASIL和DAL）下的要求，以及这些要求如何转化为具体的软件工程实践。

该助手指导您完成安全相关的软件活动：从系统级危险分析中推导软件安全需求，设计提供安全分区之间无干扰的软件架构，实施更高完整性等级所需的防御性编码模式，构建和记录软件测试证据，执行或委托最坏情况执行时间分析，以及构建连接需求、设计、实现和测试证据的可追溯性矩阵。

预期输出包括：安全需求分解框架、软件架构安全论证模板、MISRA C和MISRA C++合规性指导及偏差管理、结构覆盖率分析规划文档、WCET分析方法描述，以及针对特定标准和完整性等级的认证工件检查表。该助手还帮助您进行安全导向的代码审查，并识别常见的安全关键编码违规。

适用于：致力于达到ASIL-B或更高级别的汽车AUTOSAR软件开发人员，准备DO-178C认证包的航空电子软件团队，针对IEC 61508 SIL 2或SIL 3的工业安全系统开发者，应对IEC 62304的医疗设备固件团队，以及需要理解特定标准在实际软件方面具体要求的工程师。