1 背景
OneLogic所处理的需求,主要是行为需求(behavioral requirements),用于描述系统对外部输入的响应逻辑。
一般来说,需求逻辑的使能是有条件的,例如:当系统自检结束后某功能逻辑才能使能;当系统处于故障模式时某重构逻辑使能;当飞机在特定飞行阶段时某告警逻辑使能;等等。
OneLogic提供了Scope(作用域)模块,用于描述需求逻辑的使能范围。
2 Scope说明
OneLogic提供Scope模块,通过条件、事件来定义时间范围,从而为需求逻辑指定作用域。
OneLogic Scope模块库如下图。
<