날 짜 : 2017-02-13 ()

주 제 : 주간 업무 계획 공유

참여자 : MK, YB, SH, JS, MR, GH

기록자 : GH


0. Agenda


1) 주간 업무 계획 공유

2) 구성원 주중 업무 목표

2) MK 주간 일정 공유

 

* 금주 변동된 업무 *


- Completed

[17-029-RC-08] [YB,SH] 출장 정리

 

1. 주간 업무 계획


[17-038-RC-13] [YB] ADOxx training

- 금주에는 교육 일정을 작성하고, 차주에 세부적인 교육 계획을 구성할 계획

 

[17-037-RC-12] [MK, YB] FoF Proposal

- FoF와 관련된 서류 제출 확인 및 발송

 

[17-005-RD-01] [YB, SH] SAVE2.0/ADOxx

- SH:StatementExpr tree로 읽고 출력하는 과정진행

- YB:ITS Loader수정과 Expr tree적용이 완료되면 M2D 개발 연구 구상 중

 

[17-006-RD-02] [JS] SRE0.1/ADOxx

- JS:A단계, B단계, C단계로 구성 하였으며, 업무진행 주제별로 구분하였음

금주에는 A단계 실행문, B단계 선언문 sprint 코드변환 및 테스트

 

[17-010-RC-03] [SH] 연구실 세미나

- 금주 SHJS의 연구실 세미나 진행

+ SH의 주제는 Tempral Logic

+ JS의 주제는 Real Time Logic

 

[17-038-RC-13] [YB] ADOxx Training 4 Prof. Hwang

- 전주에서 숙박 시 훈산게스트하우스 또는 리베라호텔 이용 할지 논의필요

- 27, 28일 강남 게스트하우스 예약 완료

 

[17-014-ET-01] [GH] 홈페이지 관리

- 막연한 홈페이지 관리표현 보다 카테고리를 분류하여 더욱 자세한 계획이 필요

- 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 ModelSRL/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)