dSPACE
이차전지관리시스템 기능안전 검증 소프트웨어
10년
주장비
분석
데이터 처리장비 > 장비소프트웨어 > 달리 분류되지 않는 장비소프트웨어
2021-06-21
234,643,000원
기관의뢰 직접사용 임대가능
이동형
시간별
46,000원
이차전지관리시스템 제어로직 분석을 통한 설계검증과 테스트케이스 자동생성 및 IEC62619, ISO26262에서 지정한 평가 기능 수행을 통해 SW 개발 효율성 및 SW 품질 강화
BMS 시뮬레이터와 연계하여 V-cycle 전범위 SW 개발 프로세스 대응
○ 이차전지관리시스템 설계 검증 SW
1. 표준 모델링 가이드라인 제공(MAAB, MISRA AC)
2. Data flow 및 Control flow에 대한 SW 기능 안전 Functional Safety 가이드라인 제공
3. 복수의 모델에 대해서 검증 수행
○ Formal Specification SW
1. 위반된 사항에 대한 개발 가이드 제공
2. 모델의 복잡도 산출 기능 제공
3. 요구사항 형식 기술 기능 제공
4. Model Checking 기능 제공
○ 단위 소프트웨어 요구사항 기반 테스트
1. MIL/SIL/HIL 환경에서의 시뮬레이션 기능 제공
2. 요구사항 기반 테스트 지원
- 오류주입시험
- 동등분할 분석
- 경계 값 분석
- 내외부 인터페이스 사양 분석
○ 소프트웨어 코드 커버리지 테스트
- 커버리지 측정(구문, 분기, MC/DC, 함수, 호출)
○ 단위 소프트웨어 Back-to-Back 테스트
- Back-to-Back 테스트 지원(모델, 코드, HIL)
○ 시스템 테스트
1. BMS HIL 장비 연동 통해 시스템 테스트 지원
2. 결함 허용 시간 간격 테스트 지원