글 수 684
2016.04.30 09:27:32 (*.70.193.131)
39002
날짜 : 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. 우주기초
- 가을부터 우주기초 시작하면서 SRL을 SAVE에 탑재
- [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:
- Fig. 1: Limitation of Scope in ACSR
- Fig. 2: Purpose and Goal of Research Papers for Publication
- [SH] GTS Actions and Relations
- [MK] SRE/Expression Definition
- [MK] EDOC2016: "SAVE: Visual Specification and Verification for IoT"
- [MK] INASE2016: "A Dual Method to Model IoT: d-Caculus and GTS Logic"