슈어소프트테크(주)

없음

○ 정적분석 도구
- MISRA (C, C++), ISO 26262/ES 95489-23, AUTOSAR C++14 등, HKMC A/B급 검증 지침 35개를 지원
- CWE 658(C)/659(C++)/660(Java), CERT Secure Coding Standards, 행정안전부 시큐어 코딩 가이드라인 지원
- 실행시간 오류(Runtime Error) 유형을 검출 (산술 오류, 배열 경계 오류, 메모리 오류 등)
- 다양한 SW 품질 메트릭 측정 지원
○ 동적시험 도구
- 문장, 분기, 함수, 함수 호출 커버리지 및 MC/DC 측정을 지원
- 함수별 및 테스트별 커버리지 정보와 MC/DC 목표 달성을 위한 가이드를 제공
- 스텁 (Stub) 기능 지원
- 사용자 정의 스텁을 지원하며, 정의가 없는 함수(라이브러리 등)를 위한 자동 생성된 스텁을 지원
○ 표준 SW 스택
- OS, HSM(Hardware Security Module), MCAL(Microcontroller Abstraction Layer), 트랜시버, 스위치 등 광범위한 구성 요소에 걸쳐 다양한 하드웨어를 지원
- 응용프로그램을 실제 ECU 하드웨어뿐만 아니라 가상 타겟에도 배치할 수 있도록 지원
- ISOLAR-EVE 툴을 사용하여 PC 기반 시뮬레이션을 위해 MCAL 및 운영체제와 같이 하드웨어에 영향을 받는 소프트웨어 구성 요소를 생성
○ 표준 SW 스택 기반 개발 환경
- ISO C 표준 완전 지원 (C99, C11, C17) 지원
- C++ 표준 지원 (C++11, C++14, C++17) 지원
- 코드 크기 축소/실행 속도/메모리 요구사항/밀티코어 최적화
- ARM/ARM Cortex/ Tricore 지원
○ 표준 SW 스택 기반 디버깅 환경
- ARM/ARM Cortex/ Tricore 지원
- 코어 제어: 시작, 중지, 스텝 제어
- 메모리 및 레지스터 읽기 및 쓰기
- 브레이크포인트 설정
- 변수 값 추적
- 코드 실행시간 측정

○ 정적분석 도구
- 소스코드 컴파일 없이 정적 분석만으로 잠재적 결함 사전 탐지 가능
- MISRA C/C++, AUTOSAR C++14, CERT C/C++ 등 국제 코딩 표준 준수 검증
- SO 26262, IEC 61508 등 기능 안전 표준 요구사항 충족
- 데이터 흐름 분석 및 제어 흐름 분석 기반 심층 코드 분석
○ 동적시험 도구
- 유닛, 통합, 시스템 레벨의 전 단계 테스트 자동화 지원
- DO-178B/C, ISO 26262 요구 구조적 커버리지 분석 특화
- 타겟 하드웨어 및 시뮬레이터 양쪽 환경 테스트 지원
- 스텁/드라이버 자동 생성으로 독립적 모듈 테스트 환경 구축
○ 표준 SW 스택
- OS, HSM(Hardware Security Module), MCAL(Microcontroller Abstraction Layer), 트랜시버, 스위치 등 광범위한 구성 요소에 걸쳐 다양한 하드웨어를 지원
- 응용프로그램을 실제 ECU 하드웨어뿐만 아니라 가상 타겟에도 배치할 수 있도록 지원
- ISOLAR-EVE 툴을 사용하여 PC 기반 시뮬레이션을 위해 MCAL 및 운영체제와 같이 하드웨어에 영향을 받는 소프트웨어 구성 요소를 생성
○ 표준 SW 스택 기반 개발 환경
- Infineon AURIX, TraveoII 등 자동차 MCU 전문 컴파일러
- ISO 26262 인증으로 자동차 기능 안전 요구사항 완벽 충족
- Eclipse 기반 친숙한 개발 환경 제공
- ISO 26262 ASIL D, DO-178C DAL A 인증 획득
- MULTI 통합 개발 환경 제공으로 편집-빌드-디버그 일체화
○ 표준 SW 스택 기반 디버깅 환경
- 세계 최고 수준의 실시간 하드웨어 디버거 및 트레이스 솔루션
- 500여 종 이상의 프로세서 지원으로 광범위한 호환성
- 실시간 트레이스 분석으로 시스템 동작 완벽 재현
- 멀티코어 동시 디버깅 및 코어 간 동기화 분석 특화