DO-178C에 적합한 정적분석을 활용한 소프트웨어 동적 시험 프로세스
DO-178C와 항공용 소프트웨어 검증의 중요성 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위한, 항공기 소프트웨어 안전성(Safety)에 대한 국제적인…
Home »
소프트웨어 테스트
HIL(Hardware-in-the-Loop) 완전 정리: V-모델 구조, MIL·SIL과의 차이, 핵심 구성 요소
임베디드 시스템 개발에서 HIL은 더 이상 선택이 아닙니다. ISO 26262, DO-178C 등 주요 기능 안전 표준이 HIL 기반 동적 검증을…
C# 정적분석 가이드 #1
C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
[LDRA] 소프트웨어 개발 생명 주기 관리를 통한 오픈 소스 소프트웨어 취약점 관리 방안
[vc_row][vc_column][vc_column_text]오픈 소스 소프트웨어(Open Source Software, OSS)는 오늘날 소프트웨어 개발의 중요한 축을 이루고 있습니다. 전 세계의 개발자들이 협력하여 소스 코드를…
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] ISO26262 / A-SPICE 인증을 위한 SW 검증방안
1. 개요 자동차에 탑재되는 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE / ISO26262…
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료
[경남지사 개소기념] ‘소프트웨어 감항인증 획득을 위한 기술 발전 세미나’ 성료 바쁜 업무 중에도 지난 15일 진행된 ‘소프트웨어 감항인증 획득을 위한 기술…
C# 정적분석 가이드 #2
All Rules rule set All Rules rule set에는 네이티브 및 관리 코드에 대한 모든 규칙이 포함됩니다. 규칙 세트에는 다음 주제에서 설명하는…
SW 테스트 필요성 및 테스트 기법 소개
사람은 코드, 소프트웨어, 시스템, 또는 문서 안에 결함을 만들어내는 오류(실수)를 범할 수 있습니다. 만약 결함 코드가 실행되면 시스템은 정상 동작…
C# 정적분석 가이드 #1
C# Coding conventions C#은 2000년 7월에 개최되었던 Professional Developers Conference(PDC)에서 .NET 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
ALM 도구를 활용한 소프트웨어 개발 프로세스 개선
요구사항-소스코드-테스트 케이스의 실시간 추적성을 확보하며, 협업을 통한 개발 업무의 개선이 가능합니다. ■ JAMA Connect □ SRS/SDD, 테스트 케이스, 개발 산출물…
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행…
LDRA 창업자 Mike Hennell가 말하는 LDRA의 시작과 그 방향
LDRA’s founder, Mike Hennell, talks about the company’s origins and where it’s going Mike Hennell Dr. Mike Hennell은 리버플 대학에서 교수로 23년간…
CWE (Common Weakness Enumeration) 란?
CWE (Common Weakness Enumeration) 란? Common Weakness Enumeration의 약자로, 나열된 단어 자체만 본다면 ‘일반적인 결함의 나열’ 이라고 볼 수 있습니다. 지침서와 같은 ‘CWE’를 이용하면 정적…
소프트웨어 검증 솔루션 LDRA ToolSuit
소프트웨어의 작은 오류 하나에도 상당한 사회적, 경제적 손실을 초래하는 사건들이 매년 증가하고 있습니다. 이는 비단, 국방뿐만 아니라 자동차, 의료장비, 항공 등…
Matlab와 LDRA 연동을 통한 소프트웨어 검증
[Matlab와 LDRA 연동] 이번 포스팅에서는 Matlab과 LDRA 솔루션의 연동 방법에 대하여 알아보겠습니다. Matlab은 Matrix Laboratory의 줄임말로 MathWorks 회사에서 1984년 출시된 공학,…
Green Hills Software와 LDRA
Green Hills Software는 1982년 Dan O’Dowd와 Carl Rosenberg에 의해 설립된 회사로, Embedded System을 위한 OS와 개발 툴을 주로 만듭니다. Green…
