safety-critical-patterns
应用NASA Power of 10规则，编写安全关键型可验证代码
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：safety-critical-patterns。 它的用途是：应用NASA Power of 10规则，编写安全关键型可验证代码 完整的 Skill 内容见：https://321skill.com/skills/safety-critical-patterns-x-7/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
'请用NASA Power of 10规则检查这段C语言控制模块的代码。'，它会逐行分析代码，指出其中违反规则的地方，例如使用了动态内存分配、存在过深的循环嵌套或复杂的条件判断，并给出符合安全编码标准的修改建议。
介绍
这个Skill旨在解决开发安全关键型系统（如航空航天、医疗设备、汽车电子等）时，代码安全性、可靠性和可验证性难以保证的痛点。它通过集成NASA的Power of 10规则，为开发者提供了一套严格的编码约束和检查框架，帮助从源头上避免常见的、可能导致灾难性后果的编程错误。
使用时，开发者可以在编码过程中或代码审查阶段调用此Skill。它能够分析代码结构，检查其是否符合Power of 10规则，例如是否避免了复杂的控制流、是否限制了循环和函数的大小、是否禁止了动态内存分配等，并给出具体的修改建议，从而将代码缺陷率降至最低。
它非常适合从事嵌入式系统、实时系统、高可靠性软件开发的工程师，尤其是那些需要遵循DO-178C、ISO 26262等安全标准的项目团队。对于希望提升代码健壮性、减少线上故障的普通后端或全栈开发者，也有很高的参考价值。
建议在项目初期或制定编码规范时引入此Skill，将其作为代码质量门禁的一部分。需要注意的是，严格遵守这些规则可能会牺牲一定的开发灵活性和性能，因此需根据项目对安全性的实际要求进行权衡，并非所有商业软件都需要如此极致的约束。
核心特点
专注于实施NASA JPL为安全关键任务软件制定的、经过航天实践检验的Power of 10具体规则，而非通用的代码风格或复杂度检查。它直接针对那些可能导致灾难性系统故障的编码模式进行约束和告警。
注意事项
不适合对开发效率、性能优化或代码灵活性要求极高的非安全关键型商业应用或快速原型开发。
常见问题
NASA Power of 10规则具体是什么？
这是NASA喷气推进实验室（JPL）总结的10条编码规则，旨在通过限制代码复杂度（如禁止递归、限制循环嵌套）、避免动态内存分配、强制所有路径可验证等手段，极大降低安全关键软件中的缺陷。
这个Skill能替代代码审查吗？
不能完全替代，它是一个强大的自动化辅助工具，可以高效地检查代码是否违反硬性安全约束，但复杂逻辑的正确性和业务一致性仍需人工审查。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-7/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-7/raw/index.md（查看排版版本）