보유장비현황 및 예약
모델 검증 솔루션 S/W
Model verification solution S/W- #ISO26262
- # 기능안전
| ㆍ모델명 | Model Engineering Solution |
|---|---|
| ㆍ용도 | 개발된 모델에 대해 모델링 가이드라인 검증 |
장비 세부정보
| 분야 | 선행개발 S/W |
|---|---|
| 장비사양 |
1. 모델링 검증
1) 다양한 모델링 설계도구로 구현된 모델에 대해서 모델링 가이드라인 검증 지원 2) 정적으로 모델을 분석하여 모델의 결함을 검출 3) Data flow 및 Control flow 관련 항목에 중점을 두고 S/W기능 안전성 가이드라인인 Functional Safety 모델링 가이드라인이 제공 4) 사용자가 회사 특정 가이드라인을 자체 개발하고 작성할 수 있는 포멧을 제공 2. 모델의 복잡도 1) 구현된 모델에 대해서 모델의 구조 및 계층 시각화가 선행, 모델 복잡도 계산을 통해 복잡도 측정 및 구조를 전체 및 계층적으로 분석 가능 2) 모델의 복잡도 측정 방법에는 모델 볼륨, 모델 깊이, 순환복잡도, 모델의 전체 구조 및 개별 서브시스템 별 구조 파악과 라이브러리에 따른 복잡도를 포함 |
장비 설치위치
| (재) 광주그린카진흥원 |
|
|---|
장비 담당자
| 담당자 | 최명욱 |
|---|---|
| 문의처 | 062-960-9565 |
