SBOM 소프트웨어 공급망 보안을 위한 필수 도구
최근 전 세계적으로 소프트웨어 공급망 보안의 중요성이 강조됨에 따라 SBOM(Software Bill of Materials)이 핵심 화두로 떠오르고 있습니다. 특히 KISA(한국인터넷진흥원)가 발표한…
Home »
Software
TASKING 통합 툴체인으로 확장되는 항공 소프트웨어 개발·검증 환경
항공 소프트웨어 개발은 단순히 코드를 작성하고 테스트하는 수준을 넘어, 요구사항부터 구현, 디버깅, 검증, 인증 대응까지 전 과정이 체계적으로 관리되어야 하는…
DO-178C에 적합한 정적분석을 활용한 소프트웨어 동적 시험 프로세스
DO-178C와 항공용 소프트웨어 검증의 중요성 DO-178C는 항공기 소프트웨어 오작동으로 인한 항공기 사고 위험을 최소화하기 위한, 항공기 소프트웨어 안전성(Safety)에 대한 국제적인…
DO-331 규격 소개
1. DO-331 개요 항공분야 소프트웨어와 관련된 개발 표준으로는 RTCA에서 제정한 DO-178C와 DO-278A가 있다.항공기에 탑재되는 소프트웨어에 대한 개발 표준은 DO-178C인 반면,…
DO-178C란?
1. DO-178C 개요 본 문서는 RTCA 특별위원회 205 (SC-205)와 EUROCAE 실무단 71 (WG-71)이 제작하고, 2011년 12월 13일에 RTCA 프로그램관리위원회 (PMC)에서…
Objective-1: 소프트웨어 수명주기 프로세스 활동 정의
이번 포스팅에서는 Section 4: 소프트웨어 계획 프로세스의 Objective-1을 살펴보도록 하자. 1. Objective-1의 개요 Objective-1은 소프트웨어 생명주기 프로세스의 활동을 정의한다. 4.1.a에서는 시스템 요구사항과 소프트웨어 레벨에…
DO-178C 4.0 소프트웨어 계획 프로세스
소프트웨어 계획 프로세스 (DO-178C 4.0 software planning process) 개요 이 Section에서는 소프트웨어 계획 프로세스의 Objectives 및 활동을 설명하고자 한다.이 프로세스를…
MIL-STD-882E의 개념
MIL-STD-882E란? MIL-STD-882E는 미국 국방부(DoD: Department of Defense) 산하의 모든 군사부서 및 국방기관에서 사용이 승인된 시스템 안전 표준(System Safety Standard) 이다.…
신뢰도 산출 프로세스의 사전적 의미
‘Reliability’가 ‘신뢰성’ 또는 ‘신뢰도’ 라고 불리는 것을 주변에서 자주 들어왔을 것이다. 신뢰성 공학(Reliability Engineering)을 배운 사람에게는 신뢰성(Reliability) 이라는 말이 더…
AI 기반 시스템 엔지니어링의 미래, ‘INCOSE 2026 Yokohama’에서 Jama Software를 만나보세요.
최근 복잡해지는 시스템 및 소프트웨어 개발 환경에서 ‘요구사항 관리’와 ‘추적성(Traceability)’의 중요성이 날로 커지고 있습니다. 특히 차량용 소프트웨어, 항공우주, 의료기기 등…
HIL 테스트 도입 전에 알아야 할 것들, 기능 안전 표준 연계부터 툴체인 구성까지
HIL(Hardware-in-the-Loop) 테스트는 임베디드 시스템 개발에서 하드웨어-소프트웨어 통합 검증의 핵심 단계입니다. 특히 ISO 26262, DO-178C 등 기능 안전 표준 인증이 요구되는…
HIL(Hardware-in-the-Loop) 완전 정리: V-모델 구조, MIL·SIL과의 차이, 핵심 구성 요소
임베디드 시스템 개발에서 HIL은 더 이상 선택이 아닙니다. ISO 26262, DO-178C 등 주요 기능 안전 표준이 HIL 기반 동적 검증을…
실제로 만들기 전에 먼저 검증한다, HIL 테스트, 왜 필요할까요?
비행기 소프트웨어를 테스트하려면 직접 비행기를 띄워야 할까요? 자동차의 긴급 제동 시스템을 확인하려면 실제로 충돌 직전까지 달려봐야 할까요? 당연히 그렇지 않습니다.…
첨단 무기체계 SW 신뢰성 확보를 위한 모아소프트의 SW 검증 전략
최신 무기체계 개발에서 소프트웨어의 비중이 커짐에 따라, ‘무기체계 소프트웨어 개발 및 관리 매뉴얼’을 완벽히 준수하는 것이 사업의 성패를 결정짓는 핵심…
항공분야 AI 소프트웨어 인증을 위한 설명 가능성(explainability) 분석
• 해당 논문은 한국항공우주학회 2026 춘계학술대회 에서 발표되었습니다. 장정훈1, 김성수1, 강유선1 모아소프트1 Explainability Analysis for Aeronautical System AI Software…
㈜모아소프트가 제안하는 AI SW 검증 지원 프로세스
최근 다양한 산업 분야에서 AI(인공지능) 도입이 가속화됨에 따라, AI의 신뢰성과 안전성을 확보하는 것이 기업의 핵심 과제가 되었습니다. 모아소프트는 국제 표준에…
미 국방부(DOD)가 선언한 소프트웨어 현대화: 왜 지금 ‘국방 애자일’과 ‘디지털 엔지니어링’인가?
미 국방부(DOD)가 선언한 소프트웨어 현대화: 왜 지금 ‘국방 애자일’과 ‘디지털 엔지니어링’인가? 출처: United States Government Accountability Office (GAO) Report to Congressional…
애자일을 도입했는데, 왜 소프트웨어는 여전히 느릴까? 미 국방부(GAO) 보고서가 말하는 ‘애자일 실패의 진짜 원인
“우리는 애자일로 개발하고 있습니다.” 공공·국방·대형 엔터프라이즈 IT 프로젝트 현장에서 가장 자주 들리는 말 중 하나다. 하지만 그 다음에 따라오는…
AI 기반 절차서 자동 구조화 및 로봇 제어 데이터 생성 연구
• 해당 논문은 2025 한국군사과학기술학회 추계학술대회에서 발표되었습니다. AI 기반 절차서 자동 구조화 및 로봇 제어 데이터 생성 연구…
정확도를 넘어: 위험 인지 기반의 의사결정 중심 AI 평가 프레임워크
• 해당 논문은 2025 한국군사과학기술학회 추계학술대회에서 발표되었습니다. 정확도를 넘어: 위험 인지 기반의 의사결정 중심 AI 평가 프레임워크 Beyond Accuracy:…
