홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | [폐지] 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. | ||
| 국제표준 | |||
| 관련파일 | TTAK.KO-11.0160.pdf | ||
