[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…
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료 바쁜 업무 중에도 지난 15일 진행된 ‘소프트웨어 감항인증 획득을 위한 기술…
C# 정적분석 가이드 #5
Interoperability rules 상호 운용성은 비관리 코드에 대한 기존 투자를 보존하고 활용할 수 있도록 합니다. CLR(공용 언어 런타임)의 제어 하에서 실행되는…
C# 정적분석 가이드 #4
Globalization rules .NET 애플리케이션 전역화 및 지역화 하나 이상의 언어로 지역화 할 수 있는 애플리케이션을 포함하여 지역화 대비 애플리케이션의 개발에는…
C# 정적분석 가이드 #3
Design rules 디자인 규칙은 .NET Framework 디자인 지침 준수를 지원합니다. # .NET Framework 디자인 지침 이 섹션에서는 .NET Framework와 확장하고 상호 작용하는…
C# 정적분석 가이드 #2
All Rules rule set All Rules rule set에는 네이티브 및 관리 코드에 대한 모든 규칙이 포함됩니다. 규칙 세트에는 다음 주제에서 설명하는…
C# 정적분석 가이드 #1
C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_1
오늘 글에서는 소프트웨어 신뢰성 시험(이하 SW 신뢰성 시험)을 위한 환경 구축 방법 및 분석 방법과 관련한 내용을 정리해 보려고 합니다. SW 신뢰성 시험은…
CWE (Common Weakness Enumeration) 란?
CWE (Common Weakness Enumeration) 란? Common Weakness Enumeration의 약자로, 나열된 단어 자체만 본다면 ‘일반적인 결함의 나열’ 이라고 볼 수 있습니다. 지침서와 같은 ‘CWE’를 이용하면 정적…
