Model Engineering Solutions
Model Examiner
10년
주장비
분석
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2019-04-30
46,600,000원
기관의뢰 직접사용
이동형
시간별
5,600원
모델 검증 솔루션 S/W는 ISO 26262에서 지정된 모델링 가이드라인 준수에 관련된 항목을 지원하기 위하여 작성된 제어 모델이 지정된 모델링 가이드라인에 맞추어 검증 및 모델의 복잡도를 체크하여 잠재적으로 발생할 수 있는 오류 검출이 가능한 소프트웨어 임
1) 모델링 검증
① 다양한 모델링 설계도구로 구현된 모델에 대해서 모델링 가이드라인 검증 지원이 되어야 함
② 정적으로 모델을 분석하여 모델의 결함을 검출해야 함
③ Data flow 및 Control flow 관련 항목에 중점을 두고 S/W기능 안전성 가이드라인인 Functional Safety 모델링 가이드라인이 제공되어야 함
④ 사용자가 회사 특정 가이드라인을 자체 개발하고 작성할 수 있는 포멧을 제공하여야 함
2) 모델의 복잡도
① 구현된 모델에 대해서 모델의 구조 및 계층 시각화가 선행되어야 하며 모델 복잡도 계산을 통해 복잡도 측정 및 구조를 전체 및 계층적으로 분석 가능하여야 함
② 모델의 복잡도 측정 방법에는 모델 볼륨, 모델 깊이, 순환복잡도, 모델의 전체 구조 및 개별 서브시스템 별 구조 파악과 라이브러리에 따른 복잡도를 포함하여야 함