LDRA를 활용한 HalCoGen 자동생성 코드 검증
HalCoGen – LDRA 연동 HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO…
Home »
CCS
DT10을 활용한 동적 시험 #1 – File I/O
DT10을 활용한 동적시험 #1 – FILE I/O 방식 DT10은 Code Coverage 및 Data Trace를 위해 Data 파일을 분석하게 됩니다. 이번…
Code Warrior & on Target 시험 사례
무인기체계 SW의 Target 환경 구축에 따른 지원 결과 중, Code Warrior를 이용한 구축 사례에 대해 살펴 보겠습니다. 시험환경 IDE: Code Warrior 10.5 Compiler:…
소프트웨어 신뢰성 시험 환경구축 사례(2) – CCS 5
시험환경 IDE: TI CCS 5.5 Compiler: CCS Target Chip: TI TMS320F28335 2. 환경구축 1) 소요기간 50일 소요 계획수립: 2일 …
소프트웨어 솔루션 TBrun
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 설계 기반 기능…
