> 

자동차 분야에서 광범위하게 사용되는 모델링에 대한 가이드라인 제공 및 자동 검증

> 

기능 안전성 관점(ISO 26262)에서 모든 가이드라인 체크 가능

> 

잘못된 코드를 생성할 수 있는 모델링 패턴 검출

> 

모델의 Complexity 분석을 통해 잠재적으로 오류가 발생하기 쉬운 부분의 식별가능

> 

고객 요구사항에 맞는 가이드라인 개발가능

자세히 보기 >>