[2024_SW] 부품 국산화 지원 사업을 위한 SW 신뢰성 확보 방안 (241217)
1.개요 부품 국산화는 유사시 주요 장비에 대한 부품을 국내에서 안정적으로 공급받고 더불어 고용창출 등 경제적 파급 효과를 달성하기 위해 매년…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (241015)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240911)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240423)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
2023년 ㈜모아소프트 소프트웨어 특화 교육과정 안내
2023년 ㈜모아소프트 미래사업본부에서는 우주항공 · 국방 · 자동차 산업 소프트웨어의 신뢰성&안전성 확보를 위한 다양한 교육 과정을 준비하였습니다. 지난 25년간…
美 NASA 무인우주선 ‘Orion’, 소프트웨어 검증, 소스코드 분석 및 테스트 파트너 ‘LDRA’
LDRA는 Orion 프로젝트에서 부스터, 엔진 컨트롤러를 포함하여 비행 소프트웨어와 소프트웨어 하위 시스템의 코딩 결함 및 규정 준수 격차에 대한 명확한 V&V를 지원하였습니다.
2022년 12월 21일, 아르테미스 1호 달 궤도 탐사 임무가 성공적으로 종료되었습니다.
Orion 프로젝트의 소프트웨어 검증, 소스 코드 분석 및 테스트 파트너인 LDRA는 소프트웨어 개발에 대한 지속적인 지원을 수행해왔습니다. Orion Multi-Purpose Crew Vehicle(MPCV) 소프트웨어 개발의 필수 구성 요소였던 LDRA는 요구 사항 관리, 표준 준수 및 여러 하위 시스템 과소프트웨어 공급업체를 대상으로 한 테스트를 포함하여 많은 V&V 활동을 지원하였습니다.
2008년 Orion 프로젝트의 소프트웨어 검증 도구로 LDRA가 선택된 것은 LDRA의 45년간의 경험이 우주항공과 관련된 소프트웨어 개발의 신뢰성을 엄격하게 검증할 수 있다는 사실을 증명합니다.
이 외에도 CCDev(Commercial Crew Development) 프로그램을 포함한 많은 우주 응용 프로그램에서 LDRA를 사용하고 있으며 Artemis에 대한 LDRA의 지속적인 참여는 LDRA가 우주항공 소프트웨어에 효율적이고 적합한 도구인지를 보여줍니다.
- 포스팅과 관련한 자세한 내용보기 : LDRA Supports Artemis I Mission Success With Robust Verification & Validation Processes for Orion Spacecraft – LDRA
[2023_SW] A-SPICE / ISO26262 자동차 기능 안전 프로세스 교육
1. 개요 미래 모빌리티 시장의 전자제어장치(ECU) 사용이 증가함에따라 소프트웨어의 안전성(Safety)에 대한 이슈가 대두되고 있습니다. 공급업체(Supplier)가 대부분의 주요 부품들을 개발하여…
[2023_SW] A-SPICE / ISO26262 자동차 기능 안전 프로세스 교육
1. 개요 미래 모빌리티 시장의 전자제어장치(ECU) 사용이 증가함에따라 소프트웨어의 안전성(Safety)에 대한 이슈가 대두되고 있습니다. 공급업체(Supplier)가 대부분의 주요 부품들을 개발하여…
[2023_SW] LDRA User training
1.개요 LDRA User training은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 관계자 및 소프트웨어 테스팅에 관심있는 분들에게 각 산업분야에서 필요로…
[2023_SW] LDRA User training
1.개요 LDRA User training은 국방, 자동차, 철도 등 미래 산업을 주도하는 다양한 분야의 소프트웨어 관계자가 필요로 하는 소프트웨어 검증 프로세스…
[2023_SW] LDRA User training
*해당교육은 정원초과로 조기 마감되었습니다. 6월 교육(대전지사)으로 신청 부탁드립니다. 1.개요 LDRA User training은 국방, 자동차, 철도 등 미래 산업을 주도하는…
[2023_SW] ISO26262 / A-SPICE 인증을 위한 SW 검증방안
1. 개요 자동차에 탑재되는 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE / ISO26262…
LDRA를 활용한 HalCoGen 자동생성 코드 검증
HalCoGen – LDRA 연동 HALCoGen-LDRA는 사용자가 HALCoGen을 통해 생성된 자동생성 코드를 HALCoGen-LDRA에서 제공하는 검증 환경을 통하여 IEC 61508 및 ISO…
DT10을 활용한 동적 시험 #1 – File I/O
DT10을 활용한 동적시험 #1 – FILE I/O 방식 DT10은 Code Coverage 및 Data Trace를 위해 Data 파일을 분석하게 됩니다. 이번…
동적시험 도구 DT10 소개
DT10 이란? Software의 Data & Control Flow 정보를 추적하고 수집된 정보를 활용하여 시스템 운용상의 오류를 찾아낼 수 있으며 효율적으로 소프트웨어를…
무기체계 SW의 신뢰성 향상을 위한 방안 – (1) 시험평가 대상의 식별과 동적시험 범위 선정
방위사업청에서는 소프트웨어 신뢰성 향상을 위해 “무기체계 SW 개발 및 관리 실무지침서”에서 정적시험 및 동적시험을 포함한 신뢰성시험 방안을 제시한다. 하지만 대략적인 흐름으로 이를 따르다 보면, 포괄적인…
소프트웨어 신뢰성 시험 환경구축 사례(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 진행…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_1
오늘 글에서는 소프트웨어 신뢰성 시험(이하 SW 신뢰성 시험)을 위한 환경 구축 방법 및 분석 방법과 관련한 내용을 정리해 보려고 합니다. SW 신뢰성 시험은…
DO-178 규격에서의 구조적 커버리지 분석
요구사항 기반 시험을 진행한 뒤, 실행되지 않은 소스 코드에 대한 커버리지를 만족하기 위해 어떠한 활동이 필요한지 DO-178에서 기술하는 구조적 커버리지…
