날 짜 : 2017-02-13 (월)
주 제 : 주간 업무 계획 공유
참여자 : MK, YB, SH, JS, MR, GH
기록자 : GH
0. Agenda
1) 주간 업무 계획 공유
2) 구성원 주중 업무 목표
2) MK 주간 일정 공유
* 금주 변동된 업무 *
- Completed
1. 주간 업무 계획
- 금주에는 교육 일정을 작성하고, 차주에 세부적인 교육 계획을 구성할 계획
- FoF와 관련된 서류 제출 확인 및 발송
- SH:Statement를 Expr tree로 읽고 출력하는 과정진행
- YB:ITS Loader수정과 Expr tree적용이 완료되면 M2D 개발 연구 구상 중
- JS:A단계, B단계, C단계로 구성 하였으며, 업무진행 주제별로 구분하였음
금주에는 A단계 실행문, B단계 선언문 sprint 코드변환 및 테스트
- 금주 SH과 JS의 연구실 세미나 진행
+ SH의 주제는 Tempral Logic
+ JS의 주제는 Real Time Logic
- 전주에서 숙박 시 훈산게스트하우스 또는 리베라호텔 이용 할지 논의필요
- 27일, 28일 강남 게스트하우스 예약 완료
- 막연한 홈페이지 관리표현 보다 카테고리를 분류하여 더욱 자세한 계획이 필요
- GH는 경험과 기술이있는 JS에게 조언을 구하여 디자인을 개선에 힘쓰자
2. 구성원 주중 업무 목표
- [YB]
1) 월
a) FoF Proposal
- FoF 서류 관련 진행상황 확인
- 서류 준비 완료 후 스캔본 메일 발송
b) SAVE
- ITS Loader 코드 수정
- Stmt 위주로 코드 수정 진행
2) 화
a) ADOxx training
- Program 준비
b) SAVE
- ITS Loader 코드 수정
- Stmt 위주로 코드 수정 진행
3) 수
a) SAVE
- Loader 코드 수정
- Expr tree 생성 및 적용
4) 목
a) SAVE
- Loader 코드 수정
- Expr tree 생성 및 적용
5) 금
a) SAVE
- M2D 개발
- ITL Model을 SRL/D로 변환하는 기능 개발
- 출력 Text 형식 등의 정의
- [SH]
a) Parser 코딩
1) Text 입력 및 파일 입출력 테스트(token 관련)
- “\” 와 관련된 토큰 입출력 테스트
2) Stmt tree 생성 코딩
- Token to Stmt tree
- Tree 생성 확인
3) Expr tree 생성 코딩
- Token to Expr tree
- Tree 생성 확인
- Look a head 알고리즘 파악
4) SRL/D 적용을 위한 코드수정
- 정의된 SRL/D를 코드에 적용
b) 연구실 세미나
1) Temporal Logic 자료 조사
- 자료 추가 및 보강
- 기존 자료 점검
2) Temporal Logic 자료 정리
- 정리한 자료 정제
- 정리한 자료 워드에 입력
3) Temporal Logic 예제 구성
- PBC 및 EMS 예제 구성
- [JS]
1) [월]
a) SRE0.1/ADOxx 개발
- [A 단계] 실행문 개발 및 테스트
+ IF, CASE, WHEN, SELECT, WHILE, FOR, LOOP
ASSIGN, WITH_STAT, USE_STAT, GOTO
RETURN, EXIT, ABORT, TERMINATE, DELAY
RAISE, EXCEPTION_HNDLR, NULL
b) OKRC Seminar
- 세미나 발표 준비
1) [화]
a) SRE0.1/ADOxx 개발
- [A 단계] 실행문 개발 및 테스트
+ IF, CASE, WHEN, SELECT, WHILE, FOR, LOOP
ASSIGN, WITH_STAT, USE_STAT, GOTO
RETURN, EXIT, ABORT, TERMINATE, DELAY
RAISE, EXCEPTION_HNDLR, NULL
b) OKRC Seminar
- 세미나 발표 준비
2) [수]
a) SRE0.1/ADOxx 개발
- [A 단계] 실행문 개발 및 테스트
+ IF, CASE, WHEN, SELECT, WHILE, FOR, LOOP
ASSIGN, WITH_STAT, USE_STAT, GOTO
RETURN, EXIT, ABORT, TERMINATE, DELAY
RAISE, EXCEPTION_HNDLR, NULL
- 개발 현황 발표 준비
b) OKRC Seminar
- 세미나 발표 준비
3) [목]
a) OKRC Seminar
- 논문 발표:
+ Real-time Logic
b) SRE0.1/ADOxx
- 개발 현황 발표
+ [A 단계] 실행문 변환 결과 발표
c) OKRC Seminar 수정 및 보완
- RTL 미흡 사항 수정 및 보완
d) SRE0.1/ADOxx 개발 진행
- 수정 및 보완
+ [A 단계] 실행문 미흡사항 수정 및 보완
- 다음 단계 개발 진행
+ [B 단계] 선언문 개발 및 테스트
4) [금]
a) SRE0.1/ADOxx 개발 진행
- [B 단계] 선언문 개발 및 테스트
+ GENERIC, TASK_TYPE, PROTECTED_TYPE, PACK_BODY, TASK_BODY
PRO_OBJ_BODY, BEGINm DECLARE, BLOCK, VARIABLE, CONSTANT
TASK_ENTRY, RENAME,
- [MR]
- n:2 lattice :
a. creating a simple example
b. considering +/-/*// operations
c. writing pseudo code for limitation
d. Check the result
e. considering laws of set on it
3. MK 주간 업무 공유
- BOC 결고 보고 및 업무 진행은 목요일에 5분~10분정도로 구상하여 발표
- License에 관한 서류검토는 긍정적인 답변을 받았다
장기적으로 우리와 연구를 진행하기 때문에 좋은 조건에서 계약이 될 것으로 예상
- 금주 목요일 G-I, G-III 회의(서울), 금요일 G-II 회의(서울)... 추가그룹 발생 예정
a) ADONIS/Licensing/Consulting: 오대교/김태현/허기태 [G-I]
b) ADONIS/Certification/Consulting: 전창식 [G-II]
c) ADONIS/Certification/Pilot Project I/KTC: 최진영/서동수 교수 [G-III]
d) ADONIS/Certification/Pilot Project II/ISMS: 최진영/한근희 교수 [G-IV]
- 업무 인수 인계 확인
= 3월부터는 SH이 방장업무를 맡기로 하고, YB는 하나둘씩 인수인계 시작
- 홈페이지 업무리스트에 실질적인 업무 기록이 잘 안되어지는 것 같아 수정이 필요
- 하나의 업무리스트에 누군가가 업무를 수행했을 경우 내용을 dumping하고 추후 정리하자
- FoF 구현은 확정되었고 앞으로 논의를 통해 진행하기로 하였으며,
BOC 인도학생과 dT-cal에 관한 Connection point로 구현 관련은 SH가, 이론은 YB가 담당
MK : __________________
YB : __________________
SH : __________________
JS : __________________
MR : __________________
GH : __________________
======================================================
[MK] Included: (4)
1) Board Snapshots (pp. 2)
2) Weekly meeting: Plan - Minute (pp. 9)
3) MK Agenda (pp. 3)
4) n:2-lattice-Check (pp. 13)
2) Weekly meeting: Plan - Minute (pp. 9)
- 1-월-2017-02-13-회의록001.jpg (174.7KB)(43)
- 1-월-2017-02-13-회의록002.jpg (190.6KB)(39)
- 1-월-2017-02-13-회의록003.jpg (118.5KB)(39)
- 1-월-2017-02-13-회의록004.jpg (124.0KB)(40)
- 1-월-2017-02-13-회의록005.jpg (55.1KB)(38)
- 1-월-2017-02-13-회의록006.jpg (126.9KB)(41)
- 1-월-2017-02-13-회의록007.jpg (127.9KB)(38)
- 1-월-2017-02-13-회의록008.jpg (119.2KB)(44)
- 1-월-2017-02-13-회의록009.jpg (118.8KB)(41)
1) Board Snapshots (pp. 2)