[2024_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안 (241016)
1.개요 항공기, 무인항공기, 차세대 미래형 플랫폼 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다.…
Home »
SW테스팅
[2024_SW] A-SPICE / ISO26262 인증을 위한 SW 검증방안 (240905)
1.개요 미래 모빌리티 시장의 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE / ISO26262…
[2024_SW] 부품 국산화 지원 사업을 위한 SW 신뢰성 확보 방안 (241217)
1.개요 부품 국산화는 유사시 주요 장비에 대한 부품을 국내에서 안정적으로 공급받고 더불어 고용창출 등 경제적 파급 효과를 달성하기 위해 매년…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (241015)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240911)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240423)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
2023 LDRA USER CONFERENCE
LDRA USER CONFERENCE 5월 16일, 롯데호텔(서울시 송파구)에서 ‘LDRA USER CONFERENCE‘ 가 진행됩니다. 해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한 자리로 한국의…
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_2
[Target Environment] 1. 실제 장비 – 개발 환경(Build 및 Interface 환경)을 시험 환경에 그대로 적용할 수 있음. – 통신 및 센서 데이터 등을 연동하여 시험 가능…
소프트웨어 검증 솔루션 LDRA ToolSuit
소프트웨어의 작은 오류 하나에도 상당한 사회적, 경제적 손실을 초래하는 사건들이 매년 증가하고 있습니다. 이는 비단, 국방뿐만 아니라 자동차, 의료장비, 항공 등…
Green Hills Software와 LDRA
Green Hills Software는 1982년 Dan O’Dowd와 Carl Rosenberg에 의해 설립된 회사로, Embedded System을 위한 OS와 개발 툴을 주로 만듭니다. Green…
소프트웨어 솔루션 TBrun
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 설계 기반 기능…
소프트웨어 솔루션 TBmanager & TBreq
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 각각의 국제 표준…