소프트웨어 개발 및 프로젝트 관리에서의 방법론(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)을 통합한 소프트웨어 개발 접근 방식입니다. 전통적인 개발 프로세스에서 보안은 보통 개발과 배포…
BMS의 요구사항관리와 설계•추적을 도와주는 도구, Jama Connect
지난여름 인천에서 발생한 벤츠 전기차 화재 사건은 BMS의 영구 손상으로 명확한 원인을 파악하지 못하게 되었습니다. 이처럼 BMS는 배터리와 관련하여…
㈜모아소프트, 현대오토에버 대상 ‘항공 시스템 개발 및 검증’ 특별 교육 개최
DO-178C 교육 ARP 4754B/4761A 교육 ㈜모아소프트는 지난 12월 11일~13일 총 3일간 현대오토에버 소속 연구원을 대상으로 ‘항공…
객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구
객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구Research on Vulnerability Verification Methods for Object-Oriented MissileFlight Software…
AI 최적화 알고리즘을 활용한 소프트웨어 신뢰성 성장 모델(SRGM) 파라미터 추정 개선: 다중 알고리즘 비교 분석
AI 최적화 알고리즘을 활용한 소프트웨어 신뢰성 성장 모델(SRGM) 파라미터 추정 개선: 다중 알고리즘 비교 분석Improving Parameter Estimation…
소프트웨어 품질과 보안의 핵심인 정적분석
[vc_row][vc_column][vc_column_text css=””] 지난 포스팅에서는 시큐어코딩의 위배 사례 및 대응책에 관해 알아보았습니다. 시큐어코딩을 올바르게 적용하였는지 확인하는 방법에는 여러 가지가 있습니다.…
AI/DATA Science 연구소 AI 분야 수행 프로젝트1: AI 기반 SW 신뢰성 분석
저번 시간에는 모아소프트 AI/DATA Science 연구소의 핵심 연구 분야 및 주요 성과에 대해 소개해 드렸습니다. 오늘은 모아소프트의 AI/DATA Science 연구소가 AI…
시큐어 코딩과 정적 분석: 안전한 소프트웨어 개발의 첫걸음
이번 시간에는 SDLC의 구현단계부터 적용 가능한 정적분석기술을 활용하여 소스코드 내 잠재 되어있는 보안약점을 점검하고, 보안위협에 선제 대응할…
항공 우주 분야 전자 하드웨어 신뢰성 예측 소프트웨어, Ansys Sherlock
일론 머스크의 우주여행 계획, 사람들의 해외여행 비중 증가 등으로 인해 우주와 항공분야에 대한 관심이 높아지고 있습니다. 이에 따라…
SW보안약점과 SW보안취약점의 차이
그림1. 보안약점과 보안취약점 보안약점과 보안취약점의 개념을 혼동하여 오사용하는 경우가 많습니다. 그래서 이번 시간에는 보안약점과 보안취약점의…
[LDRA] 데이터 결합, 제어 결합, 응집도 관리를 통한 임베디드 SW의 신뢰성 확보 방안
소프트웨어 개발에서 결합(Coupling)과 응집도(Cohesion)는 중요한 개념으로, 특히 임베디드 소프트웨어에서는 안전성과 신뢰성을 보장하는 데 결정적인 역할을 합니다. 모듈들은 일반적으로 전역 변수를…
[LDRA] MCP의 WCET(Worst-Case Execution Time)측정 및 검증 방안
[vc_row][vc_column][vc_column_text] Single-core processors는 수십 년간 여러 방면으로 활용되어 왔으나, 최근 각 산업 분야에서는 MCP(Multicore processor)를 활용한 임베디드 시스템에 관한 관심이…
FACE 인증 컨설팅
FACE 인증 컨설팅 FACE 컨소시엄에서 진행하는 Conformance Verification Matrix (CVM)을 생성하여 FACE 요구사항에 부합하는 개발이 진행되는지를 확인합니다. 또한 VA인 LDRA의…
美 NASA 무인우주선 ‘Orion’, 소프트웨어 검증, 소스코드 분석 및 테스트 파트너 ‘LDRA’
LDRA는 Orion 프로젝트에서 부스터, 엔진 컨트롤러를 포함하여 비행 소프트웨어와 소프트웨어 하위 시스템의 코딩 결함 및 규정 준수 격차에 대한 명확한 V&V를 지원하였습니다.
2022년 12월 21일, 아르테미스 1호 달 궤도 탐사 임무가 성공적으로 종료되었습니다.
Orion 프로젝트의 소프트웨어 검증, 소스 코드 분석 및 테스트 파트너인 LDRA는 소프트웨어 개발에 대한 지속적인 지원을 수행해왔습니다. Orion Multi-Purpose Crew Vehicle(MPCV) 소프트웨어 개발의 필수 구성 요소였던 LDRA는 요구 사항 관리, 표준 준수 및 여러 하위 시스템 과소프트웨어 공급업체를 대상으로 한 테스트를 포함하여 많은 V&V 활동을 지원하였습니다.
2008년 Orion 프로젝트의 소프트웨어 검증 도구로 LDRA가 선택된 것은 LDRA의 45년간의 경험이 우주항공과 관련된 소프트웨어 개발의 신뢰성을 엄격하게 검증할 수 있다는 사실을 증명합니다.
이 외에도 CCDev(Commercial Crew Development) 프로그램을 포함한 많은 우주 응용 프로그램에서 LDRA를 사용하고 있으며 Artemis에 대한 LDRA의 지속적인 참여는 LDRA가 우주항공 소프트웨어에 효율적이고 적합한 도구인지를 보여줍니다.
- 포스팅과 관련한 자세한 내용보기 : LDRA Supports Artemis I Mission Success With Robust Verification & Validation Processes for Orion Spacecraft – LDRA
WIPL-D Pro CAD 2022 & WIPL-D Pro 18 are released!
We are pleased to announce the official launch of new versions of our flagship products: WIPL-D Pro CAD 2022 and WIPL‑D Pro 18.…
[Jama] 테스트 케이스 작성 및 수행 결과 관리
Jama에서는 Test Case를 작성하여 Step별로 테스트 후 결과를 저장하여 관리할 수 있습니다. 어떻게 Test Case를 만들고 Test Plan을 만들어 결과를…
[Jama] 아이템 재사용 및 동기화 방법
Jama에서는 데이터 베이스화 된 요구사항과 소스 코드, 테스트 케이스 등을 해당 프로젝트 또는 새로운 프로젝트에서 재사용하고 원본과 복사본의 내용을 분리하거나…
[Deos] ARINC-653 지원 특징_#2_Slack Scheduling
Scheduling과 내재된 문제점 시간 분할 된 실시간 운영체제는 스케줄링 타임라인 내의 바인딩 된 특정한 위치에(예: Hyper-period) 제한된 시간 동안 CPU에…
