ARP4754, DO-178C 항공 산업 규정 준수를 위한 검증 도구 LDRA
ARP 4754 ‘민간 항공기 및 시스템 개발 지침’으로도 알려진 ARP4754는 민간 항공기 및 항공기 시스템 개발을 위한 지침과 권장…
ISO 26262 준수를 통한 제품 개발에서의 기능 안전 소프트웨어 검증
ISO 26262 필수 요구사항 및 안정성 측정을 구분하는 레벨인 ASIL을 빼놓을 수 없는데요. 본격적으로 ASIL에 대해 알아보기에 앞서,…
ISO 26262와 APSICE를 위한 통합 준수 솔루션 LDRA
LDRA를 활용한 ISO 26262와 ASPICE(Automotive SPICE) 준수 자동차 소프트웨어 개발에서 ISO 26262와 ASPICE(Automotive SPICE)는 필수적인 표준입니다. ISO 26262는 차량의…
[LDRA] 데이터 결합, 제어 결합, 응집도 관리를 통한 임베디드 SW의 신뢰성 확보 방안
소프트웨어 개발에서 결합(Coupling)과 응집도(Cohesion)는 중요한 개념으로, 특히 임베디드 소프트웨어에서는 안전성과 신뢰성을 보장하는 데 결정적인 역할을 합니다. 모듈들은 일반적으로 전역 변수를…
[LDRA] MISRA C:2023 변경사항
[vc_row][vc_column][vc_column_text] MISRA(Motor Industry Software Reliability Association)는 처음에는 자동차 시스템에서 C 언어를 사용하기 위해 만들어진 지침이었습니다. 차량 내 소프트웨어의 결함을 줄이기…
[LDRA] MCP의 WCET(Worst-Case Execution Time)측정 및 검증 방안
[vc_row][vc_column][vc_column_text] Single-core processors는 수십 년간 여러 방면으로 활용되어 왔으나, 최근 각 산업 분야에서는 MCP(Multicore processor)를 활용한 임베디드 시스템에 관한 관심이…
무기체계 디지털 MRO 사업
[vc_row][vc_column][vc_column_text] 무기체계 디지털 MRO 사업 – OMS/MP 기반 총 수명주기 PSA 분석– RAM-C PBL 분석– RAM-C 분석 도구 OPUS Suite 운용–…
[2024_SW] Aircraft System Safety 평가 프로세스 및 분석(ARP 4754A/ARP4761) (240904)
1.개요 해당 교육은 항공기, 무인항공기, 미래 모빌리티를 대상으로 ARP 4754A(Aircraft & System Development Processes), ARP 4761(Safety Assessment Process Guidelines &…
[2024_SW] Aircraft System Safety 평가 프로세스 및 분석(ARP 4754A/ARP4761) (240227)
1.개요 해당 교육은 항공기, 무인항공기, 미래 모빌리티를 대상으로 ARP 4754A(Aircraft & System Development Processes), ARP 4761(Safety Assessment Process Guidelines &…
[2024_SW] Aircraft System Safety 평가 프로세스 및 분석(ARP 4754A/ARP4761) (240528)
1.개요 해당 교육은 항공기, 무인항공기, 미래 모빌리티를 대상으로 ARP 4754A(Aircraft & System Development Processes), ARP 4761(Safety Assessment Process Guidelines &…
[2024_SW] 기능 안전 SW 검증을 위한 LDRA User Training (240827)
1.개요 LDRA User training은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 관계자 및 소프트웨어 테스팅에 관심있는 분들에게 각 산업분야에서 필요로…
[2024_SW] 기능 안전 SW 검증을 위한 LDRA User Training (241106)
1.개요 LDRA User training은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 관계자 및 소프트웨어 테스팅에 관심있는 분들에게 각 산업분야에서 필요로…
[2024_SW] 기능 안전 SW 검증을 위한 LDRA User Training (240417)
1.개요 LDRA User training은 국방, 자동차, 철도 등 다양한 분야의 소프트웨어 관계자 및 소프트웨어 테스팅에 관심있는 분들에게 각 산업분야에서 필요로…
[2024_SW] DO-178C 인증을 위한 우주항공용 SW 검증방안 (241016)
1.개요 항공기, 무인항공기, 차세대 미래형 플랫폼 SW의 안전성 확보에 대한 중요성이 대두됨에 따라 소프트웨어의 검증에 대한 수요 역시 증가하고 있습니다.…
[2024_SW] A-SPICE / ISO26262 인증을 위한 SW 검증방안 (240905)
1.개요 미래 모빌리티 시장의 임베디드 SW가 증가함에 따라, 기능 안전 및 검증에 대한 프로세스 역시 중요해지고 있습니다. A-SPICE / ISO26262…
[2024_SW] 부품 국산화 지원 사업을 위한 SW 신뢰성 확보 방안 (241217)
1.개요 부품 국산화는 유사시 주요 장비에 대한 부품을 국내에서 안정적으로 공급받고 더불어 고용창출 등 경제적 파급 효과를 달성하기 위해 매년…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (241015)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240911)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
[2024_SW] 최신 국방 무기체계 매뉴얼 대응을 위한 신뢰성 시험 방안 (240423)
1.개요 방위사업청 무기체계 소프트웨어 개발 및 관리 매뉴얼은 2014년 이후 꾸준히 개정되고 있습니다. 해당 교육에서는 변동되는 무기체계 매뉴얼에 대응하기 위한…
항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구
해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다. 항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구 장정훈, 강유선, 이문창 (주)모아소프트 A…
