엔지니어링 팀은 MATLAB 및 Simulink를 통해 ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C, DO-254 등의 가장 엄격한 안전 표준 요구사항을 준수하면서 제품 개발 속도를 높일 수 있습니다.
DO Qualification Kit 및 IEC Certification Kit에서는 공정 모델 전반에서 안전 표준 요구사항을 준수할 수 있도록 참조 워크플로 및 지침을 제공합니다.
이들 키트는 시스템, 하드웨어 및 소프트웨어 수준에서 사용할 수 있는 사양, 설계, 구현, 검증 및 확인 활동 방법 등을 포괄하는 방법 및 툴 활용 사례에 대한 지침을 제공합니다. 모델 기반 설계를 활용한 검증 및 확인에는 소프트웨어 유닛 검증부터 시스템 요구사항 확인에 이르기까지의 활동이 포함됩니다. 모델 기반 설계 시뮬레이션 기능을 활용하면 최종 구현 또는 생산용 하드웨어가 나오기 전에 이러한 검증 및 확인 활동의 대부분을 조기에 수행할 수 있습니다.
DO Qualification Kit 및 IEC Certification Kit의 시스템 및 소프트웨어 인증을 위한 참조 워크플로.
시스템 수준에서의 개념 및 개발 활동
모델 기반 설계를 통해 System Composer, Simulink, Simscape, 그리고 Simulink의 검증 및 확인 툴을 사용하여 다음과 같이 E/E(전기 및/또는 전자) 시스템을 개념화, 지정, 설계, 개발, 검증 및 확인할 수 있습니다.
- 시스템 안전 및 비안전 요구사항의 지정
- 시스템 요구사항에 대한 역방향 추적성과 개별 분야(하드웨어 및 소프트웨어)에 대한 정방향 추적성을 갖춘 아키텍처 설계의 개발 및 지정
- 시스템 요구사항 및 시스템 설계의 조기 검증 및 확인
- 시스템 신속 프로토타이핑 및 시스템 수준 Hardware-in-the-Loop 테스트
소프트웨어 수준에서의 개발 활동
엔지니어는 인증 표준을 충족하기 위해 모델 기반 설계로 임베디드 소프트웨어를 개발합니다. (23:33)
- 소프트웨어 안전 및 비안전 요구사항의 지정
- 소프트웨어 요구사항과 소프트웨어 요소에 대해 각각 역방향 및 정방향 추적성을 갖춘 소프트웨어 아키텍처 설계의 개발
- 자동 코드 생성을 사용 또는 사용하지 않고 소프트웨어 단위의 설계 및 구현
- 소프트웨어 구성요소 모델에서 자동화된 코드 생성을 비롯한 소프트웨어 구성요소 설계, 구현 및 통합
- 소프트웨어 단위, 소프트웨어 구성요소, 완전 통합 임베디드 소프트웨어에서의 정적 및 동적 검증
세부적인 설계 모델이 나오는 즉시 소프트웨어 테스트.
HDL Verifier를 사용하여 생성된 RTL이 필요에 맞게 기능하는지 확인할 수 있습니다.
지원 공정
모델 기반 설계는 엔지니어링 공정 외에 지원 공정과 관련된 여러 기능을 제공합니다.
자체 CI 서버에서 MATLAB 및 Simulink 실행.
표준
다음 링크에서 다양한 표준에 대한 콘텐츠를 볼 수 있습니다. 단, 다양한 인증 표준 간에는 공통점이 많으므로 어느 한 표준의 여러 방법과 개념을 거의 또는 전혀 변경하지 않고도 다른 표준으로 이전할 수 있습니다.
기능 안전 표준을 준수하기 위한 핵심 제품:
- IEC Certification Kit (ISO 26262, IEC 61508 및 관련 표준)
- DO Qualification Kit (DO 178C 및 관련 표준)
도와드릴 방법을 알려주십시오.
고객 맞춤형 평가판을 원하시거나 필요에 맞는 가격 정보를 알아보려면 연락해 주십시오.
