HIL 테스트 도입 전에 알아야 할 것들, 기능 안전 표준 연계부터 툴체인 구성까지
HIL(Hardware-in-the-Loop) 테스트는 임베디드 시스템 개발에서 하드웨어-소프트웨어 통합 검증의 핵심 단계입니다. 특히 ISO 26262, DO-178C 등 기능 안전 표준 인증이 요구되는…
Home »
Software Testing
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 프로젝트와 함께 발표된 객체 지향 프로그래밍 언어입니다. 마이크로소프트에서 개발되었으며,…
㈜모아소프트가 제안하는 AI SW 검증 지원 프로세스
최근 다양한 산업 분야에서 AI(인공지능) 도입이 가속화됨에 따라, AI의 신뢰성과 안전성을 확보하는 것이 기업의 핵심 과제가 되었습니다. 모아소프트는 국제 표준에…
[MOASOFT CORE BIZ] SW 검증 (6편)
본 콘텐츠는 모아소프트 기술 소개 시리즈의 여섯 번째 콘텐츠로, 소프트웨어 개발 전 과정에서 수행되는 SW 검증 체계와 산업별 검증…
세계 8번째 초음속 전투기 개발국, 대한민국ㅣKF-21 성공의 기술적 의미
KF-21 개발 비행시험 성공ㅣ4.5세대 전투기 실전 배치가 가져올 변화 2025년 1월 13일, 방위사업청이 KF-21 개발 비행시험의 성공적 완료를 공식 발표했습니다.…
[시리즈 2] K-MOSA를 실현하는 기술 기반, 디지털 트윈과 개방형 표준의 융합
■ K-MOSA 적용의 핵심, ‘플랫폼 통합’ K-MOSA가 성공적으로 안착하기 위해서는기술 표준을 선언하는 것을 넘어, 실제로 이를 검증·운용할 수 있는통합…
[시리즈 1] 방위산업의 새로운 표준, K-MOSA로 가는 길
■ 글로벌 방위산업의 방향, ‘MOSA’가 열다 최근 미국 국방부(DoD)는 MOSA(Modular Open Systems Approach, 모듈형 개방형 시스템 접근법)를 모든 주요…
SWFT 시대, 국방 소프트웨어 검증의 새로운 패러다임 – 모아소프트가 바라본 Software-Defined Weapon(SDW)과 Software Fast Track(SWFT)
최근 미국 국방부가 발표한 SWFT(Software Fast Track) 제도는 국방 소프트웨어 검증의 속도와 품질을 동시에 확보하기 위한 혁신적 전환점으로 주목받고…
데이터 입력 검증 취약점, 정수형 오버플로우(Integer Overflow)와 해소 방안과 도구
소프트웨어 개발 과정에서 입력 데이터 검증은 필수적인 보안 조치입니다.적절한 검증이 이루어지지 않을 경우, 예상치 못한 입력값으로 인해 프로그램이 비정상적으로…
LDRA 본사 내한, KAI대상 온사이트 세미나 및 항공우주시스템공학회 키노트 세션 발표
국내에 ㈜모아소프트가 단독으로 서비스하는 소프트웨어 인증/검증 솔루션 LDRA의 영국 본사가 지난 5월 20일 내한하여 한국항공우주산업㈜ 본관 대강당에서 ‘최신…
Functional Safety Standard 개발 가속화를 위한 DevOps/Agile 프로세스의 접목
Functional Safety Standard란? Functional Safety Standard는 시스템, 제품, 또는 프로세스의 고장이나 위험한 동작으로 인해 사람의 생명, 환경, 재산을 보호하기…
SBOM 소프트웨어 공급망 보안을 위한 필수 도구
최근 전 세계적으로 소프트웨어 공급망 보안의 중요성이 강조됨에 따라 SBOM(Software Bill of Materials)이 핵심 화두로 떠오르고 있습니다. 특히 KISA(한국인터넷진흥원)가…
DevOps 개발 프로세스 방법론
저번 포스팅에서 현재까지 주사용되오던 Waterfall 방법론에 대한 개념과 문제점을 소개해 드렸습니다. 오늘은 지난 번 포스팅에 이어, 또 다른 유연한…
Agile 개발 프로세스 방법론
지난번에는 소프트웨어 개발 및 프로젝트 관리에서 현재까지 주로 사용되었던 Waterfall Model에 대하여 포스팅하였습니다. 이번에는 더 유연한 방법론 중 한…
소프트웨어 개발 및 프로젝트 관리에서의 방법론(Waterfall Medel)
[vc_row][vc_column][vc_column_text css=””] 이번 포스팅에서는 소프트웨어 개발 및 프로젝트 관리에서의 사용되는 방법론에 대하여 설명하려고 합니다. 기존에는 주로 Waterfall 방식의 방법론을 사용해…
정적 분석과 DevSecOps
[vc_row][vc_column][vc_column_text css=””] DevSecOps란? DevSecOps는 개발(Development), 보안(Security), 운영(Operations)을 통합한 소프트웨어 개발 접근 방식입니다. 전통적인 개발 프로세스에서 보안은 보통 개발과 배포…
소프트웨어 품질과 보안의 핵심인 정적분석
[vc_row][vc_column][vc_column_text css=””] 지난 포스팅에서는 시큐어코딩의 위배 사례 및 대응책에 관해 알아보았습니다. 시큐어코딩을 올바르게 적용하였는지 확인하는 방법에는 여러 가지가 있습니다.…
ARP4754 규정 준수를 위한 솔루션 도구, Jama
항공 분야에서 항공기 및 시스템 개발을 위한 기본 벤치마크이자 수용 가능한 규정 준수 수단인 ARP4754에 대해 알아보도록 하겠습니다. …