[2023_SW] LDRA User training
*해당교육은 정원초과로 조기 마감되었습니다. 6월 교육(대전지사)으로 신청 부탁드립니다. 1.개요 LDRA User training은 국방, 자동차, 철도 등 미래 산업을 주도하는…
[2023_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2023_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2023_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안
1.개요 항공기, 무인항공기, 미래 모빌리티 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다. 본…
[2023_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안
1.개요 항공기, 무인항공기, 미래 모빌리티 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다. 본…
[2023_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안
1.개요 항공기, 무인항공기, 미래 모빌리티 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다. 본…
[2023_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안
1.개요 항공기, 무인항공기, 미래 모빌리티 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다. 본…
[2023_SW] ISO26262 / A-SPICE 인증을 위한 SW 검증방안
1. 개요 자동차에 탑재되는 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE / ISO26262…
[2023_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안
1.개요 항공기, 무인항공기, 미래 모빌리티 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다. 본…
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료 바쁜 업무 중에도 지난 15일 진행된 ‘소프트웨어 감항인증 획득을 위한 기술…
LDRA USER TRAINING
1. 개요 LDRA USER TRAINING은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 종사자 및 소프트웨어 테스팅에 관심있는 분들에게 각 분야에서…
LDRA USER TRANING
1. 개요 LDRA USER TRAINIG은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 종사자 및 소프트웨어 테스팅에 관심있는 분들에게 각 분야에서…
LDRA를 활용한 HalCoGen 자동생성 코드 검증
HalCoGen – LDRA 연동 HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO…
LDRA Command Line을 사용한 정적 분석_2
이번 포스팅에서는 지난 포스팅에서 만든 Command Line Batch 파일을 활용하여 Jenkins에서 정적분석을 진행하는 방법에 대해 알아보겠습니다. LDRA를 9.8.3 이하의 버전을…
LDRA Command Line을 사용한 정적 분석_1
이번 포스팅에서는 두개의 포스팅으로 나눠 LDRA Command Line을 Batch 파일로 작성하여 LDRA 9.8.3 이하 버전의 Jenkins에서 정적분석을 진행하는 방법에 대해…
ALM 도구를 활용한 소프트웨어 개발 프로세스 개선
요구사항-소스코드-테스트 케이스의 실시간 추적성을 확보하며, 협업을 통한 개발 업무의 개선이 가능합니다. ■ JAMA Connect □ SRS/SDD, 테스트 케이스, 개발 산출물…
MISRA와 LDRA 적용
현재 신뢰성을 높이기 위해 다양한 코딩 룰이 존재합니다. 가장 잘 알려진 코딩 룰은 아마도 1998년에 처음 발표 된 MISRA(Motor Industry Software Reliability Association)일…
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일 …
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행…
