[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…
2023 LDRA USER CONFERENCE
LDRA USER CONFERENCE 지난 5월 16일, 롯데호텔 월드(서울시 송파구)에서 ‘LDRA USER CONFERENCE‘ 가 성황리에 진행되었습니다. 해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한…
우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’
Multicore processors(MCP) and Worst-Case Execution Times (WCET) 우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’ 우주항공 시스템의 요구사항과 SW의 크기가 증가함에 따라…
2023 LDRA USER CONFERENCE
LDRA USER CONFERENCE 5월 16일, 롯데호텔(서울시 송파구)에서 ‘LDRA USER CONFERENCE‘ 가 진행됩니다. 해당 행사는 국내에 약 20여년간 서비스되어온 ‘LDRA’의 실 사용자를 위한 자리로 한국의…
[2023_SW] 항공 SW 인증 획득을 위한 DO-178C 프로세스 교육
1.개요 DO-178C/DO-278A는 미국 연방항공국(FAA)에서 소프트웨어가 탑재된 항공기, 무인항공기, 미래 모빌리티를 대상으로 항공/지상장비 부품의 안전성 확보를 위한 감항인증 규격입니다. DO-178C/DO-278A는 민수…