임베디드 시스템 보안

완전한 추적성으로 사이버보안 목표 관리

시스템 수준 보안 아키텍처를 포착하고 보안 목표를 할당할 수 있습니다. 아키텍처, 설계, 생성된 코드 및 테스트 아티팩트와 함께 요구사항을 작성 및 관리할 수 있습니다. 디지털 스레드를 통해 설계를 일관되게 유지하고 구현 또는 테스트에서 미비점을 식별하며 상위수준 요구사항부터 구현까지의 완전한 추적성을 달성할 수 있습니다. 설계 변경이 미치는 영향을 빠르게 이해하고 감사를 위한 검증 및 확인 리포트를 생성할 수 있습니다.

코드의 취약점 및 준수 문제 분석

인간 전문가나 코드 리뷰에 의존하지 않고도 여러분의 C/C++ 소스 코드의 보안성을 평가할 수 있습니다. 개발자는 SAST(정적 애플리케이션 보안 테스트)를 사용하여 최신 시큐어 코딩 표준(CERT^® C 및 CERT C++)에 대한 준수 여부를 검사하고 소프트웨어 개발 라이프사이클 초기에 CWE(약한 패턴)를 방지할 수 있습니다. 확장 보안 검사를 통해 오염된 데이터, 암호학 라이브러리의 잘못된 사용 및 기밀성 문제를 찾아낼 수 있습니다. 정형 기법 기반 코드 분석을 사용하여 소프트웨어의 강건성을 분석하고 치명적인 취약점의 부재를 증명할 수 있습니다.

보안 검사의 자동화

개발 및 운용 과정 전체에 걸쳐 일관되고 효율적인 보안 검사를 보장하기 위해 공정을 자동화할 수 있습니다. 모델의 CI 파이프라인을 구축하여 자동으로 변경사항을 테스트하고 보안성이 있는 코드를 생성할 수 있습니다. 커밋할 때마다, 코드 베이스를 빈번하게 스캔하여 취약점을 찾고 준수 리포트를 생성할 수 있습니다.

제품 소개

• Polyspace
• MATLAB Report Generator