정수형 오버플로우(Integer Overflow)란? 원인과 해소 방안
소프트웨어 개발 과정에서 입력 데이터 검증은 필수적인 보안 조치입니다.적절한 검증이 이루어지지 않을 경우, 예상치 못한 입력값으로 인해 프로그램이 비정상적으로 동작하거나…
Home »
ldra
개방형 소프트웨어 인증을 위한 FACE 적용 방안, 7월 웨비나 영상으로 다시 보기
모아소프트가 지난 7월 21일 진행한 온라인 세미나 ‘개방형 소프트웨어 인증을 위한 FACE 적용 방안’의 발표 영상을 7월, 유튜브 채널에 공개했습니다.…
SPARROW SAST와 LDRA로 완성하는 품질·보안 검증
복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다. 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는 소프트웨어의 복잡도가 계속…
모아소프트가 본 SWFT 시대, 국방 소프트웨어 검증의 새 기준
최근 미국 국방부가 발표한 SWFT(Software Fast Track) 제도는 국방 소프트웨어 검증의 속도와 품질을 동시에 확보하기 위한 혁신적 전환점으로 주목받고 있습니다.하드웨어…
TASKING 통합 툴체인으로 확장되는 항공 소프트웨어 개발·검증 환경
항공 소프트웨어 개발은 단순히 코드를 작성하고 테스트하는 수준을 넘어, 요구사항부터 구현, 디버깅, 검증, 인증 대응까지 전 과정이 체계적으로 관리되어야 하는…
Jenkins Plugin을 활용한 LDRA 정적분석 진행 방법
Jenkins를 활용하면 지속적인 테스트 결과 공유와 관리가 가능하다. 이 글은 LDRA에서 제공하는 Jenkins Plugin을 적용해 Jenkins에서 정적분석을 진행하는 방법을 설명하는…
DO-178C에 적합한 정적분석을 활용한 소프트웨어 동적 시험 프로세스
DO-178C와 항공용 소프트웨어 검증의 중요성 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위한, 항공기 소프트웨어 안전성(Safety)에 대한 국제적인…
HIL 테스트 도입 전에 알아야 할 것들, 기능 안전 표준 연계부터 툴체인 구성까지
HIL(Hardware-in-the-Loop) 테스트는 임베디드 시스템 개발에서 하드웨어-소프트웨어 통합 검증의 핵심 단계입니다. 특히 ISO 26262, DO-178C 등 기능 안전 표준 인증이 요구되는…
HIL(Hardware-in-the-Loop) 완전 정리: V-모델 구조, MIL·SIL과의 차이, 핵심 구성 요소
임베디드 시스템 개발에서 HIL은 더 이상 선택이 아닙니다. ISO 26262, DO-178C 등 주요 기능 안전 표준이 HIL 기반 동적 검증을…
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…
시큐어코딩 위배 사례 및 대응책
시큐어코딩을 준수하지 않아 발생하는 문제는 다양한 사이버 보안 사고를 통해 확인할 수 있습니다. 과학기술정보통신부와 한국인터넷진흥원(KISA)이 발표한 사이버 위협 동향에서도 침해사고가…
