웨어러블 로봇 실증센터

레이팩트

전기/전자장비 > 분석장비 > 달리 분류되지 않는 분석장비

없음

기능안전평가시스템 (소프트웨어 소프트웨어 취약점 분석) 기능 1. 인터페이스 툴 검증, 요구 사항 추적 및 표준 준수 자동화 인터페이스 툴 (LDRA) 1-1) Multi-language C/C++ Support TBvision(정적/동적 인터페이스 툴) 1-2) TBmisra (코딩룰 체킹) 1-3) TBsecure(취약점 점검) 1-4) TBsafe (코드 실행률) 1-5) TBeXtreme (단위 시험 옵션) 1-6) TBmanager+TBmanager Integration Package (TIP) 1-7) Target Licence Package (시험환경 구축) 1-8) Standard Compliance report (인터페이스 툴 등급 별 인터페이스 툴 검증 활동 준수 여부 보고서)

❍ 검증 인터페이스 툴 1. 정적 분석 1) 코딩 규칙 지원 - 인터페이스 툴에 적합한 표준 코딩 규칙을 언어 별로 제공 (C/C++/Java/Ada) - 지원 필요 코딩 규칙 (MISRA, CERT, CWE, JSF++) - 표준 코딩 규칙을 검토하여 인터페이스 성격에 적합하도록 Tailoring 하는 기능 제공 2) 인터페이스 툴 품질 매트릭 지원 - 인터페이스 툴의 품질을 측정할 수 있는 지표(매트릭)가 제공 - 인터페이스 툴 언어에 적합한 대표적인 인터페이스 품질 측정 매트릭이 언어별로 제공 3) 결과 보고서 작성 기능 지원 - 정적 분석 결과가 보고서 형태로 작성할 수 있는 기능이 제공 2. 동적 분석 1) HOST-Target 시험 기능 지원 - Target(실제 장비)의 개발 환경에 맞는 동적시험 자동화 수행을 위한 환경 설정이 개발 환경별로 제공 2) 테스트 케이스 작성 기능 지원 - Unit Test 시나리오에 적합한 테스트 케이스 작성 기능 제공 - Integration Test 시나리오에 적합한 테스트 케이스 작성 기능 제공 - 사용자가 필요한 상황에 따라 테스트 케이스를 코드 형태로 작성하고 테스트 케이스에 삽입할 수 있는 기능이 제공 3) 테스트 케이스 작성 자동화 기능 지원 - 코드를 분석하여, 테스트 케이스를 자동으로 작성해 주는 기능 제공 3. 인증 요구사항 1) 규격 인증에 대해 아래 내용에 대한 지원이 가능 - 규격 내 등급 별 요구사항을 모두 지원 2) 산업 분야별 규격에 대한 인증 가능성 제공(Tool Qualification) - Safety Critical 산업 분야별 적용 규격에서 요구하는 인증이 가능