안전이 중요한 시스템 개발을 위해 TargetLink를 구축합니다. TÜV Süd는 15년 이상 매년 ASIL-D까지 TargetLink의 모든 ASIL 레벨에 대해 ISO 26262 재인증을 통해 이를 확인하고 있습니다. 물론 TargetLink는 일관되고 엄격한 개발 접근 방식 덕분에 ISO 25119, IEC 61508 또는 DO-178C와 같은 다른 표준에도 적합합니다.
ISO 26262, ISO 25119 및 IEC 61508 인증을 받은 TargetLink
TargetLink는 안전 관련 시스템 개발에 사용할 수 있도록 TÜV SÜD(독일 국제 인증 협회)의 인증을 받았습니다. TÜV는 TargetLink가 ISO 26262, ISO 25119, IEC 61508 및 파생 표준(예: 철도 안전 관련 소프트웨어를 규율하는 EN 50128)에 따른 소프트웨어 개발에 적합하다는 것을 확인했습니다. 인증은 다음과 같은 여러 영역을 기반으로 이루어졌습니다.
- TargetLink의 소프트웨어 개발 프로세스 및 소프트웨어 수정 프로세스
- 문제 처리 절차
- ISO 26262, ISO 25119 및 IEC 61508에 따른 안전 관련 개발 목적에 대한 적합성
TÜV SÜD는 또한 TargetLink를 이용한 안전 관련 소프트웨어의 모델 기반 개발을 위한 지침을 제공하는 참조 워크플로를 승인했습니다. IEC 61508은 안전 관련 전자 시스템 개발에 대해 국제적으로 인정받는 일반 표준입니다. ISO 26262는 도로 차량의 안전 관련 시스템 개발을 위한 국제 자동차 표준입니다. ISO 25119는 농업 및 임업용 트랙터와 기계류 제어 시스템의 안전 관련 부품 개발을 위한 국제 표준입니다. 두 표준 모두 IEC 61508에서 파생되었습니다.
ISO/IEC 15504 준수 개발 프로세스
ISO/IEC 15504(SPICE라고도 함: SPICE(Software Process Improvement and Capability Determination)는 소프트웨어 프로세스에 대한 국제 표준입니다. 기본 개념은 성숙한 소프트웨어 제품에는 성숙한 개발 프로세스가 필요하다는 것입니다. dSPACE는 ISO/IEC 15504를 준수하는 개발 프로세스에 전념해 왔습니다.
내부 소프트웨어 품질 관리
내부 품질 부서인 dSPACE 품질관리팀이 dSPACE의 소프트웨어 품질을 선제적으로 관리합니다. 이 팀은 소프트웨어 개선 활동을 주도하고, 내부 표준을 설정하고, 내부 평가를 수행하며, 모든 소프트웨어 그룹에 컨설팅 서비스를 제공합니다. 독립적으로 작동하며 최고의 제품 품질 목표가 일관되게 달성되고 유지될 수 있도록 보장합니다.
DO-178C/DO-331
DO-178C는 항공 소프트웨어 개발과 관련성이 높은 표준으로, 모델 기반 설계 및 자동 코드 생성은 항공 우주 분야에서 사용할 수 있는 탄탄한 기반을 갖추고 있습니다. 표준의 일부인 DO-331, DO-178C 및 DO-278A에 대한 모델 기반 개발 및 검증 보완 문서도 이를 위해 특별히 작성되었습니다. dSPACE는 DO-178C를 준수하는 프로젝트를 위한 모델 기반 툴 체인에서 TargetLink를 사용하는 방법을 설명하는 워크플로 문서를 제공함으로써 이를 고려합니다. 워크플로 문서는 DO-178C/DO-331의 개별 요구 사항이나 목표를 충족하는 방법을 설명합니다. TargetLink 자체뿐만 아니라 BTC Embedded Systems, AbsInt, Model Engineering Solutions과 같은 TargetLink 협력 파트너의 추가 타사 툴을 포함할 수 있는 완전한 모델 기반 툴 체인에도 중점을 둡니다. 따라서 이 워크플로 문서는 DO-178C 호환 애플리케이션에서 TargetLink 생성 코드의 인증을 단순화하고 모든 중요도를 레벨 A까지 해결하는 데 중요한 기여를 합니다. 약 60페이지 분량의 문서를 받으시려면 TargetLink.Info@dspace.de로 문의하시기 바랍니다.
TargetLink 및 DO-178C/DO-331에 대한 간략한 정보
- 높은 수준의 요구 사항을 지정하기 위한 Simulink ® /TargetLink 모델
- 낮은 수준의 요구 사항을 지정하기 위한 TargetLink 설계 모델
- TargetLink 모델에서 읽기 쉽고 추적 가능한 고품질 소스 코드 생성
- 확립된 MIL/SIL/PIL 검증 개념에 따라 모델 및 코드에 대한 포괄적인 시뮬레이션 지원
- 요구 사양, 자동 테스트 벡터 생성, 요구 확인 및 모델 검사를 통한 형식 검증을 위한 BTC Embedded Systems의 툴이 포함된 강력한 툴 체인