자율 주행, 비행 제어, 의료 기기와 같은 매우 중요한 임베디드 소프트웨어의 응용 분야에서 안전성과 보안성을 높일 수 있는 방법을 알아보십시오.

정적 분석 및 정형 기법을 사용하면 가능한 모든 제어 흐름과 데이터 흐름에서 런타임 오류가 없음을 증명할 수 있습니다.

이 백서를 다운로드하면 정적 코드 분석과 정형 기법을 통해 다음과 같은 사항을 어떻게 개선하는지 알 수 있습니다.

  • 품질: 버그를 찾고 심각한 런타임 오류가 없음을 형식 증명을 통해 증명할 수 있습니다.
  • 안전: MISRA®, ISO 26262, IEC 61508, DO-178과 같은 안전 표준을 충족할 수 있습니다.
  • 보안: CWE, CERT-C 및 ISO/IEC 17961 소프트웨어 보안 표준을 기준으로 코드를 검사할 수 있습니다.

Nissan, Airbus, Delphi, NASA의 개발 팀들이 임베디드 소프트웨어의 안전성 및 보안성을 향상시킨 7가지 모범 사례를 살펴보십시오.