글 수 684
2016.05.16 08:03:15 (*.70.193.131)
37478
날짜 : 2016-05-12 (목)
주제 : SAVE 회의
참여자 : JS, YB, SH, MK
기록자 : SH
1. ITRC 포럼
- 패널 수정사항
- 우측 그림 확대함.
- ITL과 ITS 연관관계를 명확히 하기 위해 텍스트를 추가
- (추가사항) ITL과 ITS간에 화살표로 연결할 것
- (추가사항) Execution Model 그림에 Dead lock 추가
- 검증 텍스트 영어 중복된 부분 생략함.
- 검증 슬라이드의 추가설명 위해 2장 추가
- 로고 흰 배경을 투명으로 수정(OMiLAB Korea 수정필요)
- [MK] Demo File (Included 1)
- [MK] Panel (Included 2)
2. GTS
- 파서
- Logic Coding
- GTS logic 논문에 필요한 신택스가 모두 있음
- 당장 파서를 구현할 필요는 없음
- 순차적으로 기능을 확장하기
- AdoScript에 기능을
- EMS
- Requirement를 GTS logic로 표현해보기
- 참고자료 : PPT
- [MK] CRSM/Verifier: Assertion Procedure (Included 3)
●일정
- 7.11(월) ~ 7.15(금) :
- 1. SAVE 설치
- 2. ADOxx 교육 자료
- => tutorial
- => training(3일)
- 3. ADONIS 관리 교육
- 4. Partner 교육/계약
- 7.18(월) ~ 7.31(일) : NEMO Summer School
- 8.01(월) ~ 8.05(금) : 위 1~4와 같음.
●기타
- 봄 목표 : SAVE v1.0 완성하는 것에 초점을 두기
- 가을 목표 : ADOxx 사용법 튜토리얼 가능할 정도로 완료하기
YB: __________________
WR: __________________
SH: __________________
JS: __________________
===================================================================
[MK] Included:
1) Demo File (ppsx)
2) Panel (ppt/pdf)
3) CRSM/Verifier: Assertion Procedures (ppt/pdf)
save-demo.ppsx