| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
TTAK.KO-11.0141/R1
|
구 표준번호 |
|
| 제개정일 |
2014-12-17 |
총 페이지 |
7 |
| 한글 표준명 |
사이버-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기 요구사항 |
| 영문 표준명 |
Requirements of Distributed Formal Verifiers for CPS Model Verification |
| 한글 내용요약 |
본 표준은 주요 내용으로는 사이버-물리 시스템(CPS) 모델의 정형 검증 개요와 대규모 하이브리드 사이버-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기의 기술적 요구 사항을 포함한다. |
| 영문 내용요약 |
This standard includes an overview of the formal verification process of CPS models and the technical requirements of distributed formal verifiers for verification of large-scale hybrid CPS models.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 관련파일 |
 TTAK.KO-11.0141_R1.pdf
|
|
| 표준이력 |
| 표준명 |
표준번호 |
제개정일 |
구분 |
유효
여부 |
IPR
확약서 |
파일 |
| 사이버-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기 요구사항 |
TTAK.KO-11.0141/R1
|
2014-12-17 |
개정
|
유효
|
없음
|
|
| 사이버-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기 요구 사항 |
TTAK.KO-11.0141
|
2012-12-21 |
제정
|
유효
|
없음
|
|
|
| 표준유지보수이력 |
| 검토일자 |
검토결과 |
검토내용 |
| 2018-05-31 |
유지 |
|
|
