보유장비현황 및 예약
정적 모델 분석 S/W
Static model analysis S/W- #ISO26262
- # 기능안전
| ㆍ모델명 | Reactive Systems |
|---|---|
| ㆍ용도 | 차량용 부품에 들어가는 내장형 소프트웨어에 대한 검증 |
장비 세부정보
| 분야 | 선행개발 S/W |
|---|---|
| 장비사양 |
1. 모델 검증 및 시뮬레이션
1) 모델 호환 : 차량용 제어 시스템, 소프트웨어 설계, 개발에서 사용하는 모델에 대한 다양한 확장자(mdl, slx를 포함)에 대해 검증 2) 테스트 스위트 생성 : 모델의 시뮬레이션 검증을 위해 최상위 모델의 Import 값과 모델 Export 값을 분석하고, 모델 블록과 흐름이 가지는 경계값, 조건, 상태 등을 분석하여 테스트 스위트를 자동으로 생성할 수 있는 기능 3) 상태전이모델 통합 검증 |
장비 설치위치
| (재) 광주그린카진흥원 |
|
|---|
장비 담당자
| 담당자 | 최명욱 |
|---|---|
| 문의처 | 062-960-9565 |
