소프트웨어 | Optima | 옵티마-SA Optima-SA™는 정적 분석 솔루션을 제공합니다.

Optima 정적 분석 솔루션인 Optima-SA™는 이러한 특성화를 자동으로 수행하여 분석 솔루션에 사용할 수 있는 결함 목록을 생성합니다.

예를 들어 보겠습니다. 아래 그림은 일반적인 안전 메커니즘인 잠금 단계 모니터를 보여줍니다. 이는 메인 마스터 회로의 복제본인 섀도우 회로로 구성됩니다. 두 출력 모두 매 클록 사이클마다 비교됩니다(즉, 서로 고정 단계에서). 해당 출력에서 ​​차이가 감지되면 오류가 선언됩니다.

ISO 26262 무작위 안전 분석을 수행하려면 분석하고 처리해야 하는 다양한 유형의 결함을 이해하는 것이 중요합니다. 이를 위해서는 정적 분석 프로세스가 필요합니다. 그리고 Optima-SA™는 정적 분석 솔루션을 제공합니다.

정적 분석은 다양한 방법으로 수행할 수 있습니다. 그러나 오늘날 가장 일반적인 것은 다양한 설계 구성 요소를 살펴보고 어떤 결함이 다양한 결함에 가장 취약하며 어떤 결함이 구성 요소 작동에 심각한 영향을 미칠 수 있는지 파악하기 위한 수동 노력입니다. 특정 결함의 영향을 제거하기 위해 안전 메커니즘(SM)을 사용하는 경우 어떤 결함을 포착하는지 이해하는 것도 중요합니다.

따라서 모든 안전 메커니즘에 대한 정적 분석을 통해 일련의 결함과 해당 분류가 도출될 수 있습니다. 추가 조사가 필요한 결함 목록도 마찬가지입니다. Optima-SA™의 출력은 다음과 같습니다.