How does LDRA help with ISO 26262 software compliance?

ISO 26262 표준 준수를 위한 LDRA 역할

차량용 LDRA Suite은 Automotive 관련 SW가  ASIL 요구 사항을 기반으로 최신 ISO 26262 표준을 준수할 수 있도록 구성되어 있습니다. 

ADAS, infotainment, 파워트레인, 차체 전자 애플리케이션 및 자율 주행 차량 기술 개발자는 LDRA를 통해 해당 애플리케이션에 필요한 ASIL A, B, C 또는 D 보증을 선택하고 해당 요구 사항을 빠르게 해결 할 수 있습니다.

LDRA는 개발자가 워크플로우 프로세스 및 활동을 관리하고 특정 ASIL을 대상으로 하는 시스템의 요구사항이 무엇인지 정확히 이해하고 규정 준수를 자동화할 수 있도록 도와줍니다.

ISO26262 표준 준수를 위한 LDRA의 역할?

1. 적절한 표준 목표를 생성 
2. 요구사항 추적 가능성, 정적 및 동적 분석, 해당 규정 준수를 위한 자동화된 보고서를 활성화
3. LDRA의 모든 세부 기능을 ISO 26262의 최신 릴리스에 매핑

요구사항 추적성 

LDRA의 세부 기능 중 하나인 Tbmanager는 전체 소프트웨어 개발수명주기동안 요구사항, 개발 및 검증 아티팩트 및 활동의 추적을 지원하는 유일한 요구 사항 추적 솔루션입니다. 이 양방향 추적성은 개발 라이프사이클 전반에 걸쳐 완전한 적용 범위와 영향 분석을 보장하고 개발에서 검증까지 각 요구 사항을 추적하고 요구 사항 추적 매트릭스를 지원하는 문서 증거를 생성합니다.

ISO 26262 인증

TBmanager를 사용하면 지정된 ASIL(Automotive Safety Integrity Level)에 따라 개발 수명 주기 전반에 걸쳐 ISO 26262 및 SAE J3061 목표를 준수함을 입증할 수 있습니다. 코딩 표준 준수. TBvision의 정적 분석 기능은 조직 전체의 코딩 표준 적용을 단순화하여 코드의 전반적인 일관성과 품질을 향상시킵니다.지원되는 표준의 예로는 MISRA C, MISRA C++, AUTOSAR C++, CERT C, CERT C++, CERT Java, Netrino C 및 JSF++ AV가 있습니다.

구조 커버리지 분석

LDRA는 명령문, 분기/결정, 프로시저/함수 호출, 수정된 조건/결정 범위(MC/DC)(ASIL 레벨 D에 적극 권장됨) 및 동적 데이터를 포함하여 분석 요구 사항을 충족할 수 있습니다. 흐름 분석, 개체 코드 확인 등은 완전한 개체 코드 검증(OCV)을 실현하기 위해 소스 코드 수준의 코드 커버리지를 객체 코드 수준에서 달성된 코드 커버리지와 연결하는 유일하고 직접적인 방법입니다.

프로그래밍 규칙 검사

LDRA는 SCA(구조적 커버리지 분석) 및 PRC(프로그래밍 규칙 검사) 모두에 대해 지원합니다. LDRA TQSP(Tool Qualification Support Pack)에는 도구 모음 자체의 SCA 및 PRC 기능을 모두 시연하는 테스트 사례가 포함되어 있습니다. 또한 계획, 절차 및 예상 결과를 포함하여 제품의 개발 및 검증을 위한 관련 문서가 제공됩니다.

모델 기반 설계와의 통합

LDRA는 MathWorks의 MATLAB/Simulink, IBM Rational의 Rhapsody 및 Esterel의 SCADE 제품 라인을 포함하여 시장을 선도하는 일부 모델 기반 개발 환경과의 통합된 환경을 제공합니다. LDRA 도구 모음은 모델, 소스 및 개체 코드 수준에서 자동화된 표준 준수 검사와 자동화된 검증 및 적용 범위 분석을 모두 제공하여 모델 기반 개발 환경을 강화합니다. LDRA는 안전과 보안 관련 자동차 소프트웨어 개발을 위한 가장 완벽한 소프트웨어 검증 및 검증 솔루션을 제공합니다.

관련 컨텐츠를 포함한 원문 보기 : ISO 26262 – LDRA

관련 문의 : Contact us – (주)모아소프트 (moasoftware.co.kr)