날짜 : 2016-05-12 ()

주제 : SAVE 회의

참여자 : JS, YB, SH, MK

기록자 : SH

 

1. ITRC 포럼


  • 패널 수정사항
    • 우측 그림 확대함.
    • ITLITS 연관관계를 명확히 하기 위해 텍스트를 추가
      • (추가사항) ITLITS간에 화살표로 연결할 것
      • (추가사항) Execution Model 그림에 Dead lock 추가
    • 검증 텍스트 영어 중복된 부분 생략함.
    • 검증 슬라이드의 추가설명 위해 2장 추가
    • 로고 흰 배경을 투명으로 수정(OMiLAB Korea 수정필요)
  • [MK] Demo File (Included 1)
  • [MK] Panel (Included 2)

 

2. GTS


  • 파서
  • Logic Coding
    • GTS logic 논문에 필요한 신택스가 모두 있음
    • 당장 파서를 구현할 필요는 없음
    • 순차적으로 기능을 확장하기
    • AdoScript에 기능을
  • EMS
    • RequirementGTS 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)