DO-178C에 적합한 정적분석을 활용한 소프트웨어 동적 시험 프로세스
DO-178C와 항공용 소프트웨어 검증의 중요성 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위한, 항공기 소프트웨어 안전성(Safety)에 대한 국제적인…
Home »
ldra
HIL 테스트 도입 전에 알아야 할 것들, 기능 안전 표준 연계부터 툴체인 구성까지
HIL(Hardware-in-the-Loop) 테스트는 임베디드 시스템 개발에서 하드웨어-소프트웨어 통합 검증의 핵심 단계입니다. 특히 ISO 26262, DO-178C 등 기능 안전 표준 인증이 요구되는…
HIL(Hardware-in-the-Loop) 완전 정리: V-모델 구조, MIL·SIL과의 차이, 핵심 구성 요소
임베디드 시스템 개발에서 HIL은 더 이상 선택이 아닙니다. ISO 26262, DO-178C 등 주요 기능 안전 표준이 HIL 기반 동적 검증을…
SWFT 시대, 국방 소프트웨어 검증의 새로운 패러다임 – 모아소프트가 바라본 Software-Defined Weapon(SDW)과 Software Fast Track(SWFT)
최근 미국 국방부가 발표한 SWFT(Software Fast Track) 제도는 국방 소프트웨어 검증의 속도와 품질을 동시에 확보하기 위한 혁신적 전환점으로 주목받고…
SPARROW SAST와 LDRA로 완성하는 통합 소프트웨어 품질·보안 검증 체계(정적 분석, 시큐어코딩, 코드 커버리지, 인증 대응, CI/CD 자동화)
🔍 복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는소프트웨어의 복잡도가…
데이터 입력 검증 취약점, 정수형 오버플로우(Integer Overflow)와 해소 방안과 도구
소프트웨어 개발 과정에서 입력 데이터 검증은 필수적인 보안 조치입니다.적절한 검증이 이루어지지 않을 경우, 예상치 못한 입력값으로 인해 프로그램이 비정상적으로…
LDRA 본사 내한, KAI대상 온사이트 세미나 및 항공우주시스템공학회 키노트 세션 발표
국내에 ㈜모아소프트가 단독으로 서비스하는 소프트웨어 인증/검증 솔루션 LDRA의 영국 본사가 지난 5월 20일 내한하여 한국항공우주산업㈜ 본관 대강당에서 ‘최신…
[2025_SW] ISO26262 인증을 위한 SW 검증방안 (250710)
1. 개요 미래 모빌리티 시장의 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE /…
[2025_SW] ISO26262 인증을 위한 SW 검증방안 (250305)
1. 개요 미래 모빌리티 시장의 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE /…
[2025_SW] 실시간 요구사항 관리 및, 테스트 관리 솔루션 (251022)
1. 개요 다양한 산업에서 소프트웨어가 차지하는 비중이 점차 높아지고 개발 주기가 빨라짐에 따라, 관리와 협업의 필요성이 높아지고 있습니다. 해당 교육은…
[2025_SW] 실시간 요구사항 관리 및, 테스트 관리 솔루션 (250408)
1. 개요 다양한 산업에서 소프트웨어가 차지하는 비중이 점차 높아지고 개발 주기가 빨라짐에 따라, 관리와 협업의 필요성이 높아지고 있습니다. 해당 교육은…
[2025_SW] 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 (250514)
1. 개요 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 교육은 국방, 자동차, 철도 등 다양한 산업에서 사용되는…
[2025_SW] 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 (250205)
1. 개요 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 교육은 국방, 자동차, 철도 등 다양한 산업에서 사용되는…
[2025_SW] 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 (250819)
1. 개요 기능 안전 소프트웨어 신뢰성 향상을 위한 검증 및 분석 기법 교육은 국방, 자동차, 철도 등 다양한 산업에서 사용되는…
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는 차량의…