| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
[폐지]
TTAK.KO-11.0160
|
구 표준번호 |
|
| 제개정일 |
2013-12-18 |
총 페이지 |
30 |
| 한글 표준명 |
임베디드 소프트웨어 정형 검증 절차 지침 |
| 영문 표준명 |
Guideline for Process of Formal Verification in Embedded Software |
| 한글 내용요약 |
본 표준은 정형 명세 및 검증의 절차를 정의하고 검증 결과를 평가하는 방법을 정의한다. 첫째 요구 사항 정형 명세 절차와 방법을 설명하고, 요구 사항 작성 템플릿 제공한다. 둘째, 정형 검증을 위한 모델링 절차를 정의하고 모델링 작성 템플릿을 제공한다. 셋째, 정형 명세된 요구 사항과 시스템 모델로부터 정형 검증하는 절차를 정의하고 검증 결과를 작성하는 템플릿을 제공한다. 마지막으로 해당 정형 검증의 전체 과정을 평가하는 방법을 정의한다. |
| 영문 내용요약 |
This standard defines the processes of the formalization of requirements and formal verification, and provides the evaluation methods for results of the verification. First, we explain the processes and methods about formalizing given requirements and provide the template for writing the formal requirements. Second, we define the process to model the given system to be formally verified and give the template for the model. Third, we define the process of formally verifying the system model with the formal requirements and give the template also. Finally, we define the method for evaluate the whole processes.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 폐지일 |
2022-12-07 |
| 폐지사유 |
산업 현장에서 활용되지 않아서
|
| 관련파일 |
TTAK.KO-11.0160.pdf |
| 표준이력 |
| 표준명 |
표준번호 |
제개정일 |
구분 |
유효
여부 |
IPR
확약서 |
파일 |
| 임베디드 소프트웨어 정형 검증 절차 지침 |
TTAK.KO-11.0160
|
2013-12-18 |
제정
|
폐지
|
없음
|
|
|
| 표준유지보수이력 |
| 검토일자 |
검토결과 |
검토내용 |
| 2017-06-09 |
유지 |
현재 산업체에서 활용되고 있음 |
|
