날 짜 : 2017-03-28 ()

주 제 : 주간 업무 계획 공유

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

기록자 : GH


0. Agenda


1) 연구실 주간 업무 공유

2) Members 주간 업무 공유

3) MK 업무 일정 공유


* 금주 변동된 업무 *

[Added]

- [17-051-RC-21][SH] MK's Server under NCSC

- [17-044-RC-18][JS]Horizon2020

- [17-040-BZ-13] [MK] BOC License 


[Completed] - Here is empty

 


1. 연구실 주간 업무 공유


[17-003-PP-03][YB,MK] IPL/d 논문

- YB이 출장업무를 다녀온 뒤 10일까지 작성하기로 계획


[17-004-PP-04][MK,MR]IPL/BO 논문

- Beriln 출장 다녀온 뒤 4월 말까지 작성 계획


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

- Class A, Class B 까지 완료된 부분으로 보자 (Class C도 반영 토록)

 

[17-007-RD-03][MR]HDL0.1/ADOxx

- Terminated

 

[17-007-RD-03][MR]PRISM0.1/BO/n:2-Lattice

- SMPE paper/ SAVE / EMS example을 통해 연구방향 summary

- EMS의 예제에 많은 상황을 고려하기 위해서 벡터적인 접근 방법이 필요하다

- MK,YB,SH의 출장업무 기간 중 연구하고 EMS예제에 적용해 볼 것


[Included 1] 2--2017-03-28-board1.jpg

 

[17-010-RC-03][MK/ALL]연구실 세미나

- 기존 예정된 세미나는 연구실 일정으로 46, 8일로 PPed

 

[17-031-RC-10][ALL]NEMO 2017 Participation

- JS은 자료를 미리 준비하여 제출 전 recommendationMK로부터 승인받고 최종 제출

 

[17-049-RC-19][MK,YB]독일 출장 준비

- 금일 오후 인천공항으로 가는 차편 예매필요

- 일정에서 숙박 관련해서 잘못 결제된 부분이 있는지 확인 바람

 

[17-045-ET-07][GH] Homepage reconstruction

- 금주에는 홈페이지 메인을 심플하게 구성하여 TEST 서버에 적용

- 차주에는 게시판용, 워크리스트용 레이아웃과 위젯을 설정하여 TEST에 적용 예정

 

[17-044-RC-18][JS] Horizon2020

- 금주 목요일 서울 컨벤션센터에서 있는 설명회에 JS 이 참석 예정 (차편, 경로 파악완료)


2. Members 주간 업무 공유


[YB]


1) [17-006-RD-02][YB,SH] SAVE2.0/ADOxx

- KTC PP 관련 ADONIS 분석

 

2) [17-049-RC-19][MK,YB] 출장 준비

- 독일 학회 출장 관련 준비

- 학회 논문 및 발표자료 준비

- 금일 목요일(30) 출장업무

3) etc

- 위탁과제 연구제안서 제출

 

[SH]

1) [17-022-BZ-03][MK] PPI

- ADONIS 설계

 

2) [17-006-RD-02][YB,SH] SAVE2.0/ADOxx

- Parser 마무리하기

 

3) 그 외 BZEN업무

- 인터넷

- 필요서류요청 및 처리


[JS]


1) [17-006-RD-02][YB, SH] SRE0.1/ADOxx

[3/4]

1-1) 미흡한 부분 수정 및 보완

- Type 관련된 Syntax 변환

- FOR, WHILEEND 처리(아직 해결책을 찾지 못함)

- SPEC, BODY 구분은 확실하게 이루어짐

 

1-2) 결과 확인에 따른 다음 개발 논의 필요

- 다음주 월요일 까지 제출해야하는 제안서 작성으로 연기함

- 다음주 출장 전까지 결과 보고하고 다음 개발 계획 수립이 필요함

[3/5]

1-1) Syntax 변환 확인

- Type Syntax 변환 확인

= VARIABLE_TYPE

= RECORD_TYPE

= FOR_USE

= ENUM_TYPE

= ARRAY_TYPE

= ACCESS_TYPE

= OPEN_TYPE

= SUB_TYPE

 

1-2) Parser 개발

- A2S 정리 후 ADOScriptParser 개발 시작

 

2) [17-010-RC-03][All] 연구실 세미나

[3/4]

2-1) Calculus of Communicating Systems (CCS) 발표 준비

- CCS에 대한 스터디 진행, 관련 자료 수집 및 세미나 자료 작성

- 제안서 자료 조사 및 정리로 연기됨

2-2) 23일 발표 예정

- 다음주 월요일(17.03.27) 까지 제출해야하는 제안서 작성으로 연기함

- 다음주 화요일(17.03.28) 발표 예정

[3/5]

2-1) CCS 발표 준비 및 발표

- 17.03.28.화 세미나 발표 예정(연기됨)

 

3) [17-050-RC-20] 위탁 과제 제안서 작성

[3/4]

3-1) 제안서 자료 조사 및 작성

- 17.03.27 마감

- 관련 자료 조사 및 정리 진행

- 최우선 업무로 지정

 

4) [17-044-RC-18] -EU R&D Fair - Horizon2020

[3/5]

4-1) -EU R&D Fair 참석

- 17.03.30.목 사업 설명회 참석 예정

- 대전 컨벤션 센터 10:00

 

[MR]

1) [17-007-RD-03][MR] n:2 lattice

- Designing automata from basic level by automata

- Representing whole behavior in abstract level

- Representing by examples and graphs

 

3. MK 업무 일정 공유

[Included] MK's Agenda

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________



=========================================


[MK] Included: (7)


1) Minute

2) YB's plan

3) SH's plan

4) JS' plan

5) MR's plan

6) GH's plan

7) Mk's agenda

8) Board snapshot