Blog
(주)모아소프트 블로그는 AI 기반 디지털 엔지니어링과 첨단 산업의 최신 기술 트렌드를 심도 있게 다루는 전문 지식 채널입니다.
국방 무기체계부터 우주항공, 미래 모빌리티까지 고도의 신뢰성이 요구되는 분야의 혁신적인 기술 솔루션과 산업 인사이트를 지속적으로 제공합니다.
MISRA-C의 두번째 개정판MISRA-C:2004
MISRA-C:2004는 MISRA-C의 두번째 개정판(Guidelines for the use of the C language in critical systems)으로 자동차 뿐만 아니라 안전에 민감한 시스템(Critical System)에 사용될 수 있도록 만들어 졌습니다. MISRA-C:2004는 현재 높은 소프트웨어 신뢰성이 필요한 항공,&…
MISRA와 LDRA 적용
현재 신뢰성을 높이기 위해 다양한 코딩 룰이 존재합니다. 가장 잘 알려진 코딩 룰은 아마도 1998년에 처음 발표 된 MISRA(Motor Industry Software Reliability Association)일 것입니다. 최초 의도는 자동차 산업에서의 사용이었지만 현재 우주/항공, 의료장비, 국방…
Code Warrior & on Target 시험 사례
무인기체계 SW의 Target 환경 구축에 따른 지원 결과 중, Code Warrior를 이용한 구축 사례에 대해 살펴 보겠습니다. 시험환경 IDE: Code Warrior 10.5 Compiler: CodeWarrior Target Chip : Freescale MPC 5674F 환경구축 소요기간 60일 소…
소프트웨어 신뢰성 시험 환경구축 사례(2) – CCS 5
시험환경 IDE: TI CCS 5.5 Compiler: CCS Target Chip: TI TMS320F28335 2. 환경구축 1) 소요기간 50일 소요 계획수립: 2일 &n…
소프트웨어 신뢰성 시험 환경구축 사례(1) – Wind River
1. 시험 환경 2. 시험 환경 구축 1) 신뢰성 시험 흐름 구성도 (1)정적시험 Vxworks OS 환경에서 Workbench를 이용한 LDRA실행 Coding Rules을 이용한 Static Analysis 진행 결과 보고서 확인 (2)동적시험 Convert to LDRA Test Case를 이용한 …
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_2
[Target Environment] 1. 실제 장비 – 개발 환경(Build 및 Interface 환경)을 시험 환경에 그대로 적용할 수 있음. – 통신 및 센서 데이터 등을 연동하여 시험 가능 – 실제 장비에 시험을 위한 인터페…
LDRA 창업자 Mike Hennell가 말하는 LDRA의 시작과 그 방향
LDRA’s founder, Mike Hennell, talks about the company’s origins and where it’s going Mike Hennell Dr. Mike Hennell은 리버플 대학에서 교수로 23년간 재직 후, LDRA를 설립했습니다. 지금도 LDRA의 기술 책임자로 제품의 주요…
소프트웨어 신뢰성 시험 환경 구축 및 분석 방법_1
오늘 글에서는 소프트웨어 신뢰성 시험(이하 SW 신뢰성 시험)을 위한 환경 구축 방법 및 분석 방법과 관련한 내용을 정리해 보려고 합니다. SW 신뢰성 시험은 자동화 도구를 사용하여 시험이 가능합니다. 보편적으로 SW 신뢰성 도구로는, LDRA Tool을 사용하는 편입니다. 이 글 역시, LDR…
CWE (Common Weakness Enumeration) 란?
CWE (Common Weakness Enumeration) 란? Common Weakness Enumeration의 약자로, 나열된 단어 자체만 본다면 ‘일반적인 결함의 나열’ 이라고 볼 수 있습니다. 지침서와 같은 ‘CWE’를 이용하면 정적 분석의 한 부분인 실행시간…
소프트웨어 검증 솔루션 LDRA ToolSuit
소프트웨어의 작은 오류 하나에도 상당한 사회적, 경제적 손실을 초래하는 사건들이 매년 증가하고 있습니다. 이는 비단, 국방뿐만 아니라 자동차, 의료장비, 항공 등 사람의 생명과 직결되는 영역까지 확대되면서 SW 품질에 대한 안전과 신뢰가 강조되고 있다는 반증이기도 합니다. 어느때보다 SW에 대한 안전성이 중요시되는 요즘, 소프트웨어의 검증…
