보유장비현황 및 예약
차량용 소프트웨어 결함 분석 툴
Car software defect analysis tool- #ISO26262
- # 기능안전
ㆍ모델명 | GrammaTech |
---|---|
ㆍ용도 | 차량용 내장형 부품 소프트웨어 소스코드에 대한 결함 검증 |
장비 세부정보
분야 | 선행개발 S/W |
---|---|
장비사양 |
1. 자동차 기능안전 국제 표준(ISO 26262)에서 요구하는 데이터 흐름/제어 흐름/의미기반 분석
: 소스코드를 분석 시 분석 대상 소스코드의 컴파일 환경에서 적용 가능해야 하며, 분석 대상 소스코드의 컴파일과정에서 컴파일러의 컴파일정보를 자동으로 추출하여 소스코드의 모든 실행 경로 및 입력 값에 대한 호출 관계를 분석하고, 이를 통해 소스코드 내 잠재되어 있는 결함 및 보안 취약점을 검출 2. 검출 가능 결함 및 보안취약점 항목 : 공동취약점목록(CWE), 보안코딩규칙(CERT), 미 정보체계국 보안기술도입 가이드 포함 100가지 이상 3. 분석 가능 환경 1) 그래픽 유저 인터페이스, 명령창 인터페이스의 분석 방식 지원 2) 지원 언어: ANSI-C/C++, Java |
장비 설치위치
(재) 광주그린카진흥원 |
|
---|
장비 담당자
담당자 | 최명욱 |
---|---|
문의처 | 062-960-9565 |