날짜 : 2016-04-07 (목)

주제 : SAVE 회의

참여자 : MK, YB, SH, JS

기록자 : SH

 

1. GTS 개발

  • 데드라인에 맞춰 서두를 것.
  • [MK] 이론에 기반을 둘 것.
    • 설계 재점검
    • 모든 function과 procedure들은 GTS Logic의 다음 사항을 반영해야 함:
      • Block의 종류들
      • 각 Block에 대한:
        • Functions
        • Operations
        • Predicates
      • Procedure에 반영해야 함.

 

2. 논문준비

  • 기본자료 준비 완료
  • [MK] 이론화 작업 완료
    • YB 검토 후; 
    • SAVE GTS/Analysis 시작
    • SAVE GTS Logic/Verification 시작
    • SH 석사 논문 시작

 

3. 커피 구매 및 형광등 교체

 

●일정


4.8(금) : 논문 쓸 수 있는지 보고.

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. Board
  2. [SH] GTS Data Structures and Procedures
  3. [SH] GTS Actions and Relations V2.1 (ASC)
  4. [MK] GTS-11 & Alphabet
  5. [MK] Model Book: d-calculus (IoT - EMS Example for GTS)

이 게시물을