시스템 검증

Requirements & Systems Portal에서는 요구사항이 하나 이상의 시스템 또는 서브시스템에 연결됩니다. 이러한 시스템은 Verification and Validation(V&V) 활동을 통해 검증됩니다. 블록의 요구사항은 하나 또는 여러 개의 V&V 활동으로 검증할 수 있습니다. 각 활동은 하나 이상의 요구사항에 연결될 수 있으며, 하나 이상의 시스템을 검증할 수 있습니다.

이 튜토리얼의 이 부분에서는 Requirements & Systems Portal을 사용하여 V&V 활동을 수행하는 방법을 설명하고, 다음 내용을 다룹니다.

• V&V 활동을 생성하는 방법

• V&V 활동을 요구사항에 연결하는 방법

• 활동을 실행하는 방법

• Requirements & Systems Portal의 자동 검증 방법 시연

검증용 뷰 생성 및 로드

Requirements & Systems Portal은 Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags, Properties와 같이 미리 선택된 다양한 속성을 제공합니다. 하지만 작은 화면에서는 이로 인해 가로 스크롤이 과도하게 발생할 수 있습니다. 검증 프로세스를 간소화하기 위해 필수 속성만 포함한 사용자 지정 뷰를 만들 수 있습니다. 이제 검증용 새 뷰를 만들고 이를 로드해 보겠습니다.

1. Requirements Module()로 이동하여 Fan_Spec specification을 엽니다.

2. 아무 열 헤더 위에 커서를 올리고, 나타나는 아이콘을 클릭한 다음, 아이콘을 클릭하여 사용 가능한 열 목록을 표시합니다.

   

3. 목록에서 모든 열 선택을 해제한 뒤, 다음 열만 선택합니다.

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Blocks

   • Tags

   오른쪽에서 접근할 수 있는 Columns pane을 사용하여 속성을 선택/해제할 수도 있습니다. 이 방법은 열 헤더에서 사용할 수 있는 추가 옵션(예: 필터 및 테이블 크기 조정 옵션)도 함께 알 수 있도록 보여주는 것입니다. 예를 들어 아이콘은 특정 열에 대한 필터링 옵션을 제공합니다.

4. 테이블에서 마우스 오른쪽 버튼을 클릭하고 컨텍스트 메뉴에서 Save view 명령을 선택합니다. 열리는 Save current view 창에서 Verification_View를 View name로 입력하고, Private을 선택한 다음, 을 클릭합니다.

   

   선택한 모든 열, 열 너비, 적용된 필터는 전용 뷰에 저장됩니다. 뷰가 저장되면 테이블에서 마우스 오른쪽 버튼을 클릭하고 Load View 하위 메뉴에서 해당 항목을 선택하여 로드할 수 있습니다.

요구사항에 Verification & Validation 활동 추가

Requirements & Systems Portal은 요구사항의 verification 및 validation 전용 열 3개를 제공합니다(이 외에도 Compliance, Compliance Comment 같은 추가 열이나 검증 활동과 관련된 사용자 지정 열도 있을 수 있습니다).

• V&V Activities – 요구사항에 연결된 V&V 활동을 표시합니다.

• V&V Status – 요구사항 검증의 전체 상태를 나타냅니다.

• V&V Rules – 요구사항과 System Design Module 간의 vali 비교를 기반으로 한 자동 검증입니다.

1. 왼쪽의 Module Navigation 바에서 아이콘을 클릭하여 Verifications & Validations Module  로 이동합니다.

2. 버튼을 클릭합니다. 열리는 Create V&V Activity 창에서 Name 필드에 Mass Inspection를 입력하고 Description 필드에 This activity measures the mass of the Valifan.를 입력한 다음, 를 클릭합니다.

   

3. 이제 Requirements Module에서 새 활동을 요구사항 중 하나에 연결해 보겠습니다. Name 열에서 활동 이름을 클릭하고 페이지 상단의 Requirements Statuses 컨트롤을 클릭합니다.

   

4. 오른쪽 상단의 버튼을 클릭합니다. 열리는 Link Requirement 창에서 Requirement 드롭다운에서 R-Fan-001을 선택하고, Block 드롭다운에서 Fan을 선택한 다음, 를 클릭합니다.

   

5. 활동 지침에 따라 질량 검사를 수행했다고 가정하고, 이제 검증 상태를 verified로 설정해 보겠습니다. 이렇게 하려면 Status 열의 셀을 더블클릭하고 드롭다운에서 Verified를 선택합니다.

   

6. Requirements Module()로 이동하여 Fan_Spec specification을 엽니다.

7. 테이블에서 V&V Activities 열에 할당된 V&V 활동과 V&V Status 열의 Verified 1/1 상태를 확인할 수 있습니다.

   

이로써 수동 검증 활동을 성공적으로 생성했습니다. 이제 시스템 설계 vali를 요구사항 vali와 비교하여 요구사항에 대해 자동 검증을 수행하는 방법을 살펴보겠습니다.

규칙을 사용한 시스템 자동 검증

1. Fan_Spec specification에서 R-Fan-001 요구사항의 Text 열에 있는 300 g vali 위에 커서를 올리고 팝업에서 해당 이름을 확인합니다. 이 이름은 이후 이 vali를 System Design Module의 vali와 비교하는 규칙을 만들 때 사용됩니다.

   

   요구사항의 vali는 팝업에서 아이콘을 클릭하여 편집할 수 있습니다. 이름, 마진 등의 매개변수를 조정할 수 있습니다.

2. R-Fan-001 요구사항의 V&V Rules 열 셀을 더블클릭합니다. 그러면 V&V Rules 창이 열리며, 여기서 요구사항의 Valifan mass 300 g과 System Design Module의 Fan 시스템 질량 vali를 비교하는 규칙을 정의할 수 있습니다. vali를 참조하려면 $ 기호를 사용합니다. 나타나는 팝업에서는 이름을 입력하여 vali를 검색할 수 있습니다. 규칙은 다음과 같이 정의합니다.

   $Valifan.Mass<$R-Fan_001.maximum_valifan_mass

   Requirements & Systems Portal이 텍스트 상자 아래에 실제 연결된 값을 가져오는 점에 유의하세요.

   

3. V&V Rules 창에서 버튼을 클릭한 다음 창을 닫습니다. 이제 테이블에서 해당 요구사항에 하나의 규칙(검증 완료됨)이 연결된 것을 볼 수 있습니다.

   

다음 단계는?

축하합니다. 이제 Requirements & Systems Portal을 능숙하게 사용할 수 있게 되었습니다!

이제 데스크톱 팬 프로젝트를 계속 개선해 볼 수 있습니다. 다음은 몇 가지 아이디어입니다.

• 요구사항에 Compliance 추가

• 요구사항 간에 몇 가지 parent/children 관계를 추가하고, connections graph를 확인한 뒤 요구사항의 색상 코드를 살펴보세요.

• 팬 모드에 따라 결과 공기 이동량을 계산하는 시뮬레이션을 만들어 보는 것은 어떨까요?

• 팬을 휴대 가능하게 만들기 위해 solar panel block을 추가해 보세요. 태양광 패널의 태양 각도에 따라 최대 회전 속도가 달라지도록 설정할 수 있습니다.