날짜 : 2016-04-28 ()

주제 : SAVE 회의

참여자 : MK, YB, SH, JS

기록자 : SH

 

1. Summer School 예제 준비

  • 예제의 난이도
    • [MK]:
      • 1단계: PBC Example
      • 2단계: EMS Example
      • 3단계: Crypto Lock Example

  • 기능성 : loop, timebound, condition, 변수
    • [MK]: Simulator
      • Criteria 규정 필요
      • Simulation이 Limitation과 Condition 규정 필요
      • DEMO Demo시 실제 적요ㅕㅇ 간으해야 함.

 

2. SAVE 개발 방향


  • ACSR의 맹점 : Scope. [Fig. 1 참조]
    • [MK]: Exception Trigger와 Handler의 정의 및 구명 필요
      • OS 단계의 Interface
      • HS 단계의 Interface
      • Monitor/Controller의 Interface (System 관점)

 

3. SRL


  • 구조체에 대한 설명들
  • 급한사항이 아니니 천천히 진행하기로 함.
  • [MK]:
    • Statement 구조: ADOxx 기능 상, 정의는 문제가 없어 보임.
    • Expression 구조: ADOxx 기능 상, 정의는 문제가 없어 보임.
    • SRE를 ADOxx 상에서 구현하기로 결정함. 

 

4. 우주기초

  • 가을부터 우주기초 시작하면서 SRLSAVE에 탑재
  • [MK]: SRE를 ADOxx 상에서 구현하기로 결정함. 

 

5. 논문관련: [Fig. 2 참조]

  • GTS 논문 분량 조절 및 증명관련 추가
  • [MK] 논문의 기본 개념 이해 필요:
    • 학술대회 : 새로운 아이디어
    • 논문지 : Archive

 

6. 훈련

  • 이번 가을부터 논문 작성, 보고서 쓰기 등 훈련 시작.

 


일정


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. Fig. 1: Limitation of Scope in ACSR
  2. Fig. 2: Purpose and Goal of Research Papers for Publication
  3. [SH] GTS Actions and Relations
  4. [MK] SRE/Expression Definition
  5. [MK] EDOC2016: "SAVE: Visual Specification and Verification for IoT"
  6. [MK] INASE2016: "A Dual Method to Model IoT: d-Caculus and GTS Logic"