ANSYS
SCADE
10년
주장비
분석
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2019-04-30
246,050,000원
기관의뢰 직접사용
이동형
시간별
29,800원
차량용 소프트웨어/알고리즘 모델링 개발 툴은 임베디드 소프트웨어 설계를 위한 모델 기반 개발 환경을 제공하며, 모델 검증 및 자동 코드 생성을 통한 알고리즘 모델링 개발이 가능한 소프트웨어 임
1. 모델 기반 설계
: 정형 기법을 활용한 설계로 수학적이고 논리적으로 검증 가능한 모델 설계 지원
2. 모델 내 오류 체크
: 의미론적 체커로 모델 내 입/출력 데이터의 일치 여부 검증
3. 기능적 실물 모형 내보내기
: 시스템 시뮬레이션 도구에 연결하기 위한 기능적 실물 모형 단위 내보내기 지원
4. 코드 자동 생성
: ISO 26262를 포함한 기능안전 표준에 대해 인증이 완료된 코드 생성기를 탑재