Jenkins Plugin을 활용한 LDRA 정적분석 진행 방법
Jenkins를 활용하면 지속적인 테스트 결과 공유와 관리가 가능하다. 이 글은 LDRA에서 제공하는 Jenkins Plugin을 적용해 Jenkins에서 정적분석을 진행하는 방법을 설명하는…
Home »
LDRA
SPARROW SAST와 LDRA로 완성하는 통합 소프트웨어 품질·보안 검증 체계(정적 분석, 시큐어코딩, 코드 커버리지, 인증 대응, CI/CD 자동화)
🔍 복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는소프트웨어의 복잡도가…
데이터 입력 검증 취약점, 정수형 오버플로우(Integer Overflow)와 해소 방안과 도구
소프트웨어 개발 과정에서 입력 데이터 검증은 필수적인 보안 조치입니다.적절한 검증이 이루어지지 않을 경우, 예상치 못한 입력값으로 인해 프로그램이 비정상적으로…
LDRA 본사 내한, KAI대상 온사이트 세미나 및 항공우주시스템공학회 키노트 세션 발표
국내에 ㈜모아소프트가 단독으로 서비스하는 소프트웨어 인증/검증 솔루션 LDRA의 영국 본사가 지난 5월 20일 내한하여 한국항공우주산업㈜ 본관 대강당에서 ‘최신…
EV(Electric Vehicles)의 안전 필수인 BMS SW 검증을 돕는 도구 LDRA
올여름, 지하주차장에 주차된 전기자동차에서 화재가 발생해 큰 이슈가 되었습니다. 이 사건으로 많은 전기차량 이용자들의 안전에 대한 불안감이 높아졌습니다. 이러한…
객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구
객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구Research on Vulnerability Verification Methods for Object-Oriented MissileFlight Software…
ARP4754, DO-178C 항공 산업 규정 준수를 위한 검증 도구 LDRA
ARP 4754 ‘민간 항공기 및 시스템 개발 지침’으로도 알려진 ARP4754는 민간 항공기 및 항공기 시스템 개발을 위한 지침과 권장…
ISO 26262 준수를 통한 제품 개발에서의 기능 안전 소프트웨어 검증
ISO 26262 필수 요구사항 및 안정성 측정을 구분하는 레벨인 ASIL을 빼놓을 수 없는데요. 본격적으로 ASIL에 대해 알아보기에 앞서,…
ISO 26262와 APSICE를 위한 통합 준수 솔루션 LDRA
LDRA를 활용한 ISO 26262와 ASPICE(Automotive SPICE) 준수 자동차 소프트웨어 개발에서 ISO 26262와 ASPICE(Automotive SPICE)는 필수적인 표준입니다. ISO 26262는 차량의…
[LDRA] 데이터 결합, 제어 결합, 응집도 관리를 통한 임베디드 SW의 신뢰성 확보 방안
소프트웨어 개발에서 결합(Coupling)과 응집도(Cohesion)는 중요한 개념으로, 특히 임베디드 소프트웨어에서는 안전성과 신뢰성을 보장하는 데 결정적인 역할을 합니다. 모듈들은 일반적으로 전역 변수를…
[LDRA] MISRA C:2023 변경사항
[vc_row][vc_column][vc_column_text] MISRA(Motor Industry Software Reliability Association)는 처음에는 자동차 시스템에서 C 언어를 사용하기 위해 만들어진 지침이었습니다. 차량 내 소프트웨어의 결함을 줄이기…
[LDRA] MCP의 WCET(Worst-Case Execution Time)측정 및 검증 방안
[vc_row][vc_column][vc_column_text] Single-core processors는 수십 년간 여러 방면으로 활용되어 왔으나, 최근 각 산업 분야에서는 MCP(Multicore processor)를 활용한 임베디드 시스템에 관한 관심이…
[LDRA] 소프트웨어 개발 생명 주기 관리를 통한 오픈 소스 소프트웨어 취약점 관리 방안
[vc_row][vc_column][vc_column_text]오픈 소스 소프트웨어(Open Source Software, OSS)는 오늘날 소프트웨어 개발의 중요한 축을 이루고 있습니다. 전 세계의 개발자들이 협력하여 소스 코드를…
FACE 인증 컨설팅
FACE 인증 컨설팅 FACE 컨소시엄에서 진행하는 Conformance Verification Matrix (CVM)을 생성하여 FACE 요구사항에 부합하는 개발이 진행되는지를 확인합니다. 또한 VA인 LDRA의…
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다. 항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안 장정훈, 강유선, 김도연 (주)모아소프트 A Robustness…
항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구
해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다. 항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구 장정훈, 강유선, 이문창 (주)모아소프트 A…
2023 LDRA USER CONFERENCE
LDRA USER CONFERENCE 지난 5월 16일, 롯데호텔 월드(서울시 송파구)에서 ‘LDRA USER CONFERENCE‘ 가 성황리에 진행되었습니다. 해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한…
우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’
Multicore processors(MCP) and Worst-Case Execution Times (WCET) 우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’ 우주항공 시스템의 요구사항과 SW의 크기가 증가함에 따라…
