2023 LDRA USER CONFERENCE
LDRA USER CONFERENCE 5월 16일, 롯데호텔(서울시 송파구)에서 ‘LDRA USER CONFERENCE‘ 가 진행됩니다. 해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한 자리로 한국의…
‘Mobility 소프트웨어 특화’ 2분기 교육과정 안내
‘Mobility 소프트웨어 특화’ 2분기 교육과정 안내 2023년 ㈜모아소프트에서는 Mobility 산업과 같이 엄격한 검증이 필요한 소프트웨어의 신뢰성&안전성 확보 방안에 대한…
How does LDRA help with ISO 26262 software compliance?
ISO 26262 표준 준수를 위한 LDRA 역할 차량용 LDRA Suite은 Automotive 관련 SW가 ASIL 요구 사항을 기반으로 최신 ISO…
美 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
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에서 정적분석을 진행하는 방법에 대해…
MISRA와 LDRA 적용
현재 신뢰성을 높이기 위해 다양한 코딩 룰이 존재합니다. 가장 잘 알려진 코딩 룰은 아마도 1998년에 처음 발표 된 MISRA(Motor Industry Software Reliability Association)일…
소프트웨어 신뢰성 시험 환경구축 사례(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 진행…
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년간…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_1
오늘 글에서는 소프트웨어 신뢰성 시험(이하 SW 신뢰성 시험)을 위한 환경 구축 방법 및 분석 방법과 관련한 내용을 정리해 보려고 합니다. SW 신뢰성 시험은…
소프트웨어 검증 솔루션 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…
소프트웨어 솔루션 TBrun
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 설계 기반 기능…
소프트웨어 솔루션 Testbed / TBvision
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 1300 개 이상의…
소프트웨어 솔루션 TBmanager & TBreq
효율적인 소프트웨어 개발 프로세스 구축과 함께 개발 단계별 검증이 가능하도록 다양한 자동화 소프트웨어 솔루션을 제공합니다. 1. 개요 각각의 국제 표준…
소프트웨어 검증 컨설팅
소프트웨어검증 1. 개요 국방, 항공, 자동차, 철도, 원자력, 의료 등 다양한 분야의 소프트웨어의 잠재적 결함과 고장을 식별하기 위한 정적 분석과…
