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-5/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
‘请用NASA Power of 10规则分析这段C语言控制代码。’，它会扫描代码，识别出使用了动态内存分配、存在无限循环风险或函数过长等问题，并逐条列出违反的规则及具体位置。或者，在编写新函数时询问：‘这个循环结构符合Power of 10的固定上界要求吗？’，它会根据规则进行判断并提供修改建议。
介绍
这个Skill旨在解决安全关键系统（如航空航天、医疗设备、汽车电子等领域）中代码的可靠性与安全性验证难题。它通过自动化工具，帮助开发者识别代码中违反NASA Power of 10规则的潜在风险点，这些规则是NASA为编写高度可靠、可验证的航天器软件而制定的编码准则。
使用时，开发者可以将代码提交给集成了此Skill的AI助手进行分析。AI会依据Power of 10规则（例如，限制循环复杂度、禁止递归、限制函数长度等）对代码进行扫描，并生成详细的合规性报告，指出不符合规则的具体代码行及其违反的条款。
它特别适合从事嵌入式系统、安全关键软件开发的工程师、测试人员以及需要遵循严格编码标准（如MISRA C、DO-178C）的团队。对于高校中学习安全关键系统编程的学生，这也是一个极佳的学习和验证工具。
使用建议是，将其作为代码审查流程的补充环节，在提交前进行快速检查。但需注意，它主要关注代码结构的可验证性，不能替代全面的功能安全分析、动态测试或人工深度代码审查。对于非安全关键或对性能有极端要求的通用业务代码，可能过于严格。
核心特点
专注于实施NASA专为安全关键、高可靠性系统设计的Power of 10编码规则集，而非通用的代码风格或质量检查。它直接针对航天级软件的可验证性要求，提供了其他通用静态分析工具所不具备的、针对特定安全领域的高级约束检查。
注意事项
不适合对编码风格和结构没有严格约束的通用Web应用或快速原型开发场景，可能产生大量与业务逻辑无关的警告。
常见问题
NASA Power of 10规则具体包含哪些内容？
包含10条核心规则，如所有循环必须有固定上界、禁用动态内存分配、函数不超过60行、禁止递归、断言密度至少每函数2个等，旨在确保代码的确定性和可验证性。
这个Skill能替代MISRA C检查吗？
不能完全替代，但目标一致。Power of 10规则更精简、目标更明确（航天器软件），可作为MISRA等更复杂标准的有力补充或特定场景下的严格子集验证。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/safety-critical-patterns-x-5/raw/index.md 读取 safety-critical-patterns 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/safety-critical-patterns-x-5/raw/index.md（查看排版版本）