날 짜 : 2017-06-05 (월)

주 제 : 주간 업무 계획 공유

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

기록자 : JS

0. Agenda

1) 연구실 주간 계획 공유

2) 구성원 주간 계획 공유

3) MK 주간 일정 공유

4) Etc

- Wilfrid TimeTable

 

* 추가/완료 업무 *

1. 연구실 주간 업무 공유

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

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

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

- 3개의 도구 모두 개발 진행 중

- Do 회의 시 진행 상황 발표 예정

- SAVE2.0/ADOxx는 NEMO 수업 및 실습 시간이 준비되어 있으므로 완성도 높여야 함.

 

[17-022-BZ-03][MK, YB, SH]PPI

- [SH] KTC측 아직 연락이 없어 대기 중,

- [MK] MK가 직접 연락 및 확인 - 지재덕 박사

 

[17-066-RC-29] [MK,YB] 우주기초최종보고서

- [MK] 금주 일요일 오후, YB와 검토 해야 함.

= 발표 일정 : 17년 6월 13일

 

[17-065-RC-28][MK]FM book

- [YB] Petri net / Z 자료 업로드

- [SH] Modechart / Temporal Logic 자료 업로드

- [JS] Statechart / Real-Time Logic 자료 업로드

- [MK] 추가 필요사항

= YB는 예제나 내용을 더 풀어서 써주면 좋겠음.

예를 들어 도구의 다운로드 과정 등을 작성해도 좋음

= JS는 아직 작업 중 오후에 다시 논의

= SH도 아직 작업 중 오후 또는 내일 오전에 다시 논의

2. Members 주간 업무 공유

[YB]

[17-022-BZ-03][MK, YB, SH]PPI

- 서버-클라이언트 설치 문제

 

[17-065-RC-28][MK] FM book

- Petri net 정리

- 내용 추가

- Z 정리

- 한글 변환

- 내용 추가

- ADOxx

- 초안 작성

 

[SH]

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

- D2SRL 개발

 

[17-065-RC-28][MK] FM book

- Modechart

- Temporal logic

 

[JS]

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

- 아키텍쳐 작성 및 게시

- GetToken, TokenToStmtType, TokenToLevelChange, NewNodeX, esl_parser 프로시저

- SRL 구조 시각화 Interface 작성(Stmt)

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

- 아키텍쳐 게시

- A-2 (Model Abstract Beh relation of inclusion /

Abstract Beh => Abstract Beh Lattice)

- 수도 코드 -> 실제 코드 변환 확인

 

[17-065-RC-28] [MK] FM Book

- Statechart 자료 보충 및 업로드

= 예제 / delay, timeout

- Realtime logic 자료 보충 / 업로드

 

[MR]

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

- Showing Abstract level

- Showing Inclusion Relationship

3. MK 업무 일정 공유

[Mon]

Weekly: PLAN

Wilfrid Plan [SH]

Project SRE: Phase Evaluation; Preparation [MK]

FM Book Work

[Tue]

FM Book Work

[Wed]

FM Book Work

[Thur]

Weekly: DO

FM Book Work

[Fri]

FM Book Work

[Sat]

Weekly: CHECK

FM Book Work

 4. ETC

[ Wilfrid 방문 ]

- [MK] 홍보 부스 관련 해서 직접 연락

= SH는 담당자 연락처 메일 전송

= 김귀남 교수 (컨퍼런스 담당자)

- [SH] Wilfrid 방문 간 일정 공유

- [Mon]

= YB는 공항 가서 WF와 함께 게스트 하우스로 이동

= SH는 MK와 게스트하우스 먼저 이동 Check in 진행

= 함께 점심 식사 후 MK 전주 복귀

- [Tue]

= 컨퍼런스 일정 진행

= MK는 [17-066-RC-29] [MK,YB] 우주기초최종보고서 발표로 참석하지 못함.

= 홍보 부스 허락 시 SH는 부스에 남아 홍보 / 관리 (컴퍼런스 기간 동안)

- [Wed]

= 컨퍼런스 일정 진행

= WF 오후 마지막 발표 예정

= MK 오후 참석

= 이후 ADONIS 회의 진행

- [Thur]

= YB, SH WF 서울 투어 / 광화문, 경복궁, 국립중앙박물관

- [Fri]

= MK 저녁 식사 참석 / 선물 전달

- 예산을 미리 계획해야함. SH는 금일 오후 까지 예산 계획 바람

- YB는 출장 신청(YB) 가능 한지 확인 후 처리 바람.

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________

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

[MK] Included: (6)

1) Minute

2) YB's Weekly Plan

3) SH's

4) JS'

5) MR's

6) MK's Agenda & Plan