DO-178 인증 자문 서비스
MathWorks Consulting Services는 여러분과 협력하여 기존 소프트웨어 개발 공정이 수동적 방법이든 또는 모델 기반 설계이든 DO-178에 대한 모델 기반 설계를 사용하는 개발 공정으로 마이그레이션할 수 있습니다. DO-178 인증 자문 서비스는 특정 환경, 툴, 응용 프로그램에 맞춰 현재 공정의 미비점을 파악하고 모델 기반 설계를 사용하는 DO-178에 맞는 최적화된 워크플로까지 가는 로드맵을 개발하고 이 로드맵을 배포할 수 있도록 여러분과 협력합니다. MathWorks Consulting Services는 여러분이 핵심 모델링, 코드 생성, 툴 검증 활동을 수행하여 DO-178C 및 이에 대한 보충 문서인 DO-330(소프트웨어 툴 검증 고려 사항), DO-331(모델 기반 개발 및 검증), DO-333(정형 기법)의 새로운 목표를 달성할 수 있도록 도와드립니다.
DO-178 인증 서비스는 항공우주 산업 분야의 고객들과 함께 다년간 고무결성 소프트웨어를 개발하면서 얻은 지식을 보유한 시니어급 MathWorks 컨설턴트들이 진행합니다. MathWorks Consulting Services를 통해 조직은 흔하게 발생하는 실수를 피할 수 있고 DO-178의 목표를 충족하는 고무결성 소프트웨어를 개발하는 데 드는 시간과 노력, 비용을 줄일 수 있습니다.
MathWorks Consulting Services는 여러분과 함께 다음 작업을 수행할 수 있습니다.
DO-178 준수를 위한 핵심 활동 수행
- 요구사항 추적성
- 요구사항 기반 모델 테스트 및 모델 커버리지
- Simulink 모델 어드바이저를 사용한 모델 표준 검사
- Simulink Code Inspector™와 Polyspace® 제품을 사용한 코드 리뷰, 추적성 및 분석
- Simulink Design Verifier™를 사용한 코드 테스트 케이스 생성 및 설계 분석
- Embedded Coder®를 사용한 툴 구성 및 코드 생성
- 코드 커버리지 분석(예: MC/DC)을 비롯하여 Processor-in-the-Loop을 사용한 알고리즘의 온 타겟 테스트
- DO Qualification Kit (for DO-178)를 사용한 툴 검증
- DO-178 준수를 위해 요구되는 공정 아티팩트 생성
계획과 실행
- 효율성을 향상하면서 기업의 기존 소프트웨어 개발 공정 혁신
- 효율성 이득을 달성하는 단계별 접근법 파악 및 실행
팀 교육
- 모델 기반 설계를 적용하고 활용하여 이점을 극대화하고 DO-178 및 보충 문서의 목표 충족 방법 학습
- 스스로 문제를 해결할 수 있도록 모델 기반 설계에 대한 전문 지식 센터 구축
다음 단계
DO-178의 워크플로 내에서 모델 기반 설계를 사용하는 최적화된 소프트웨어 개발 공정으로 마이그레이션하는 전략은 기업과 응용 사례에 따라 다양합니다. MathWorks Consulting Services는 제품에 대한 전문 지식과 업계 배경지식을 바탕으로 여러분의 요구에 가장 잘 맞게 공정을 조정할 수 있습니다. 여기에는 다음과 같은 단계가 포함됩니다.
- 기존 공정 및 툴 평가 — MathWorks 컨설턴트가 툴 검증을 비롯하여 현재 소프트웨어 개발 공정, 툴, 응용 사례, 필요한 안전 수준(A-E) 및 계획 문서를 검토합니다.
- 수준 분석 — MathWorks 컨설턴트가 수준 분석을 수행하여 모델 기반 설계를 사용하는 DO-178 공정 프레임워크로 마이그레이션하는 것과 관련하여 알아야 할 현재 과제, 공정 효율성 개선 항목, 교육 및 기타 권장 사항을 파악합니다. 권장 개선 사항을 달성하기 위한 단계별 접근 방식이 포함된 실행 가능한 로드맵도 개발합니다.
- 지식 이전 — 다년간의 경험을 통해 얻은 모범 사례를 바탕으로 DO-178 및 보충 문서의 목표를 충족하기 위해 모델 기반 설계와 지원 툴체인을 어떻게 적용할 수 있는지 보여주는 교육을 제공합니다. 우선순위가 정해진 요구 목록을 기반으로 특정 툴 기능과 심화된 주제 교육을 통한 검증 활동 수행 방법 등을 주제로 다룹니다.
- 실제 배포 지원 — MathWorks 컨설턴트는 특정 프로젝트에 추천 공정을 구현할 수 있도록 지원합니다. 또한, 모델링, 시뮬레이션, 코드 생성, 검증, 확인, DO Qualification Kit의 사용자 지정 및 인증 활동을 지원합니다. 모델 기반 설계를 사용하고 DO Qualification Kit를 조정하여 DO-178 툴 검증 아티팩트를 생성하는 과정에서 PSAC 등의 DO 계획 문서를 준비하는 데 도움을 드립니다.
여러분의 구체적인 요구사항에 대해 논의하려면 MathWorks Consulting Services에 문의하십시오.
Raymond Estrada는 시니어 기술 컨설턴트로, 유도항법제어 분야와 HIL 환경에서 사용하는 코드 생성 분야에서 풍부한 업계 경험을 갖추고 있습니다. 또한, 조직이 안전 표준을 준수하는 고무결성 응용 프로그램에 맞는 임베디드 소프트웨어를 개발하고 배포하기 위해 모델 기반 설계를 적용하도록 지원하는 일에 전문가입니다. Raymond는 Massachusetts Institute of Technology에서 항공학 및 우주항행학으로 학사 학위를 취득했으며 로스앤젤레스에 있는 University of California에서 항공우주공학으로 석사 학위를 취득했습니다.
