하드웨어와 소프트웨어 통합 신뢰성 평가를 위한 인공 신경망 구조
• 해당 논문은 2025 한국군사과학기술학회 추계학술대회에서 발표되었습니다. 하드웨어와 소프트웨어 통합 신뢰성 평가를 위한 인공 신경망 구조 Neural Network Architecture…
K-MOSA를 실현하는 기술 기반, 디지털 트윈과 개방형 표준의 융합
K-MOSA가 성공적으로 안착하기 위해서는 기술 표준을 선언하는 것을 넘어, 실제로 이를 검증·운용할 수 있는 통합 기술 플랫폼이 필요합니다.이 플랫폼은 소프트웨어·하드웨어·검증환경이…
SWFT 시대, 국방 소프트웨어 검증의 새로운 패러다임 – 모아소프트가 바라본 Software-Defined Weapon(SDW)과 Software Fast Track(SWFT)
최근 미국 국방부가 발표한 SWFT(Software Fast Track) 제도는 국방 소프트웨어 검증의 속도와 품질을 동시에 확보하기 위한 혁신적 전환점으로 주목받고…
데이터 입력 검증 취약점, 정수형 오버플로우(Integer Overflow)와 해소 방안과 도구
소프트웨어 개발 과정에서 입력 데이터 검증은 필수적인 보안 조치입니다.적절한 검증이 이루어지지 않을 경우, 예상치 못한 입력값으로 인해 프로그램이 비정상적으로…
생성형 AI 프롬프트 보안을 위한 DistilBERT 기반 소스코드 내 민감 키워드 탐지 방안 연구
• 해당 논문은 2025 한국정보보안학회에서 발표되었습니다. 생성형 AI 프롬프트 보안을 위한 DistilBERT 기반 소스코드 내 민감 키워드 탐지…
소프트웨어 통합 검증을 위한 AI 기반 테스트 절차서 해석 및 로봇팔 제어 명령어 생성 자동화 방안
• 해당 논문은 2025 한국군사과학기술학회 종합학술대회에서 발표되었습니다. 소프트웨어 통합 검증을 위한 AI 기반 테스트 절차서 해석 및 로봇팔…
시험단계 신뢰성 데이터를 이용한 AI 기반 통합 시스템 신뢰도 예측 방안 연구
• 해당 논문은 2025 한국군사과학기술학회 종합학술대회에서 발표되었습니다. 시험단계 신뢰성 데이터를 이용한 AI 기반 통합 시스템 신뢰도 예측 방안…
Web 기반 ALM 툴을 활용한 대규모 협업 소프트웨어 개발의 품질 및 신뢰성 확보 방안 연구
• 해당 논문은 2025 한국군사과학기술학회 종합학술대회에서 발표되었습니다. Web 기반 ALM 툴을 활용한 대규모 협업 소프트웨어 개발의 품질 및…
머신러닝 기반의 소프트웨어 신뢰성 성장 모델 최적화
• 해당 논문은 2025 선진국방연구(JAMS) 에서 게재되었습니다. 머신러닝 기반의 소프트웨어 신뢰성 성장 모델 최적화 신명근1, 정주원2, 이지현3,…
Optimized Long Short-Term Memory Deep Learning Approach for Precise Software Reliability Fault Estimation
• 해당 논문은14th ICAEIC-2025 에서 발표되었습니다. Optimized Long Short-Term Memory Deep Learning Approach for Precise Software Reliability Fault…
신뢰도 예측 기능을 통합한 국방무기체계 SW ALM 도구 설계와 구현
• 해당 논문은 2025 KCSE(한국소프트웨어공학학술대회) 에서 발표되었습니다. 신뢰도 예측 기능을 통합한 국방무기체계 SW ALM 도구 설계와 구현 …
LDRA 본사 내한, KAI대상 온사이트 세미나 및 항공우주시스템공학회 키노트 세션 발표
국내에 ㈜모아소프트가 단독으로 서비스하는 소프트웨어 인증/검증 솔루션 LDRA의 영국 본사가 지난 5월 20일 내한하여 한국항공우주산업㈜ 본관 대강당에서 ‘최신…
차세대 Wireless InSite, RF 시스템의 시간 기반 이동성, 달 전파, 광대역 레이 트레이싱(Ray-Tracing) 기능 도입
요약 Wireless InSite® 3D 전파 환경 분석 소프트웨어의 새로운 버전이 발표되었습니다. 주요 업데이트 사항은 다음 4가지입니다. 1. 시간 기반…
Functional Safety Standard 개발 가속화를 위한 DevOps/Agile 프로세스의 접목
Functional Safety Standard란? Functional Safety Standard는 시스템, 제품, 또는 프로세스의 고장이나 위험한 동작으로 인해 사람의 생명, 환경, 재산을 보호하기…
Wireless InSite의 Wireless Mobility 기능 소개: 동적 무선 통신 시뮬레이션
오늘날 차량, 사람, 드론과 같은 이동형 장치들은 무선 통신을 광범위하게 활용합니다. 하지만 이러한 ‘이동성’은 무선 신호에 예기치 않은 영향을…
항공 SW 검증도구 Tool Qualification(DO-330) 적용방안
• 해당 논문은 한국항공우주학회 2025 춘계학술대회에서 발표되었습니다. 항공 SW 검증도구 Tool Qualification(DO-330) 적용방안 이문창1*, 장정훈2, 강기용2 모아소프트㈜…
Austin RCS Benchmark with WIPL-D Software (PEC Sphere and PEC Plate)
Introduction 이 문서는 세 가지 구조(PEC 구, 무한히 얇은 PEC 평판, 64 mil 두께의 PEC 평판)에서 도출된 여러 RCS…
DevOps 개발 프로세스 방법론
저번 포스팅에서 현재까지 주사용되오던 Waterfall 방법론에 대한 개념과 문제점을 소개해 드렸습니다. 오늘은 지난 번 포스팅에 이어, 또 다른 유연한…
Agile 개발 프로세스 방법론
지난번에는 소프트웨어 개발 및 프로젝트 관리에서 현재까지 주로 사용되었던 Waterfall Model에 대하여 포스팅하였습니다. 이번에는 더 유연한 방법론 중 한…
생성형 AI 차단 움직임 속, AI 기반 보안 솔루션 Clumit Security의 필요성
최근 정부 및 금융권을 포함한 다양한 기관에서 중국 생성형 AI ‘딥시크(Deepseek)’의 접속을 차단하는 움직임이 활발히 이루어지고 있습니다. 민감한 업무…
