로봇 제어 S/W 정적 분석 시스템
( Static Analysis Tools for Robot Control S/W )
로봇 제어시스템의 소프트웨어 기능 안전성 검증 및 시험·인증 지원
- 규격(모델명) : CodeSonar / QA Framework
- 구분 : SW 장비 / 설계, 해석
- 제조사 : 한컴 MDS
장비소개
ㅇ 코드규칙 검증
- MISRA-C 2012 Amendment 1 분석 가능
- MISRA-C++ 2008 분석 가능
- MISRA, CERT, 방위사업청 코딩 규칙 적용 가능
ㅇ 소스코드 결함 검증
- C언어 소스코드 품질 매트릭스 분석 가능
- C++언어 소스코드 품질 매트릭스 분석 가능
ㅇ 아키텍처 시각화
ㅇ 결함 추적관리
ㅇ 제품특기사항
- IEC 61508, ISO 26262, EN 50128, CWE 인증 보유
- Web / Client 환경에서 분석결과 확인 가능
- 담당자(정) 이진원 전화번호 053-210-9617
- 담당자(부) 김지한 전화번호 053-210-9626 최근 수정일 2019-09-10