흐름 4: 수동 및 규칙 검증 흐름

다음 두 가지 흐름을 통해 사용자는 Requirements Module에서 직접 검증을 설정할 수 있습니다.

수동 검증 흐름

이 흐름을 사용하면 Requirements Module 내에서 Requirement에 V&V Activity를 직접 추가하고 Status를 수동으로 업데이트할 수 있습니다. 이를 위해 Requirements Module의 V&V Activities 열에서 셀을 더블클릭하여 Activity에 대한 링크를 생성할 수 있습니다.

열리는 Verification & Validation Items 창에는 이미 추가된 활동이 표시됩니다. 버튼을 클릭하여 기존 Activities를 Requirement에 연결합니다. 이후 열리는 Link Activity 창에서 기존 activity와 선택적으로 Block을 선택할 수 있습니다.

그 후에는 Status를 직접 수동으로 지정하거나 동적 링크를 통해 Activity 또는 Run으로 이동할 수 있습니다.

규칙 검증 흐름

Rules를 사용하면 Boolean 표현식을 통해 block valis와 requirement valis를 비교할 수 있습니다(예: "설계 질량이 Requirement의 최대 질량보다 작은가?"). 이를 위해 양쪽 모두(Blocks Module 및 Requirements Module)에 Valis가 설정되어 있어야 합니다. Rule을 설정하려면 Requirement의 V&V Rules 열에서 셀을 더블클릭합니다. 그러면 Rules를 정의할 수 있는 창이 열립니다.

Valis를 불러오려면 달러 기호($)를 입력하면 선택 및 검색 가능한 Valis가 포함된 드롭다운이 열립니다. 아래 예에서는 드론 전력 시스템의 실제 질량을 Requirement에 정의된 최대 허용 질량과 비교합니다. 이 경우 0.44 kg(Design Mass)이 0.5 kg(Maximum Requirement Mass)보다 작으므로 Rule은 Verified입니다.