安全工程要求基础分析（SAFER）
软件工程
2026-01-13 v1 人工智能
摘要
我们提出了一种面向安全工程要求的基础分析框架（SAFER），这是一种由生成式AI支持的模型驱动方法，用于提高安全要求的生成与分析。安全要求常由多个利益相关者制定，目标不协调，导致存在漏洞、重复和矛盾，危及系统安全和合规性。现有方法大多不够正式，难以解决这些挑战。SAFER通过消耗需求规格模型，生成以下结果：（1）将需求映射到系统功能；（2）识别需求规格不足的功能；（3）检测重复需求；（4）识别需求集合中的矛盾。SAFER为安全工程师提供结构化的分析、报告和决策支持。我们在自主无人机系统上演示SAFER，显著提高了对需求不一致性的检测能力，增强了安全工程流程的效率和可靠性。我们表明，生成式AI必须通过正式模型并系统性地查询，以提供有意义的早期阶段安全需求规格和健壮的安全架构。
引用
@article{arxiv.2601.06335,
title = {Foundational Analysis of Safety Engineering Requirements (SAFER)},
author = {Noga Chemo and Yaniv Mordecai and Yoram Reich},
journal= {arXiv preprint arXiv:2601.06335},
year = {2026}
}