技术特征：
技术总结
本发明公开了一种基于形式化系统理论过程分析的安全需求生成方法，其特征在于包含以下步骤：步骤一：针对需要分析的系统级危险，确定与其对应的系统级安全约束，构建系统的控制结构图；步骤二：辨识出导致系统危险的不恰当控制，并根据不恰当控制行为制定细化的安全约束；步骤三：辨识导致不恰当控制行为出现的控制缺陷，即导致系统危险出现的根本原因；步骤四：对确定的安全约束进行变量的提取与形式化建模，再对这些需求进行验证，将其中冗余或矛盾的需求剔除或修改。本发明保障了电子检查单系统安全需求的正确性与一致性。
技术研发人员：王立松;周颖;胡军;汪圆圆
受保护的技术使用者：南京航空航天大学
技术研发日：2017.04.26
技术公布日：2017.09.15