날 짜 : 2017-03-06 ()

주 제 : 주간 업무 계획 공유

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

기록자 : GH


0. Agenda


1) Caption 주간 업무 공유

2) Members 주간 업무 공유

3) MK 주간 일정 공유

 

* 금주 변동된 업무 *


- Added

[17-043-PP-05] [MK] MACMESE 논문

[17-041-RC-15] [YB] 출장 준비

[17-045-ET-07] Homepage Reconstruction


- Completed

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

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

 

 

1. 주간 업무 계획


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

- 2월 말로 예정되었던 계획은 3월 초로 연기되어진 상황, YB이 마무리 예정

 

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

- A, B단계 컴파일을 마쳤으며 수정하여 정리 중, 테스트는 까지 진행

 

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

- 이번주에 개발여부를 논의하여 결정토록 한다

 

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

- 금주 목요일에 MR이 연구실 세미나 발표 예정(Topic is Temporal Logic)

- 320(YB-dT),23(JS-CCS),30(SH-ACSR)에 대하여 세미나 계획

 

[17-017-ET-04] ADONIS 설치/교육

- 업무일지 확인해보니 설치 및 교육이 종결되어 목록에서 삭제

 

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

- 매주 반복되는 업무이므로 마감처리하고 [17-047-ET-07] Homepage Reconstruction (변경)

 

[17-045-ET-07] Homepage Reconstruction

- 회의내용은 적절히 반영되어지고 있으며 변화가 눈에 보이지만, 다른 활동은 마땅치 않다

- 방문자들로 하여금 재방문을 유도할 수 있도록 흥미롭게 구성해볼 필요성 있다

- 회의록과 업무일지가 링크를 통하여 연결되어지도록 구성


[Included 1] 1--2017-03-06-board1.jpg


2. Members 주간 업무 공유


[YB]

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

- 회의 결과 정리

 

2) [17-046-PP-05] MACMESE 논문

- 논문 수정

- 예제에 분기를 추가

- 각 경로별 소요시간 분석

 

3) [17-005-RD-01] SAVE2.0/ADOxx

- M2D 개발 마무리

 

4) [17-043-PP-05] [MK] MACMESE2017, Berlin

- 독일 학회 출장 관련 준비

- 학회 등록

- 항공권 예약

 

[SH]


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

- 요구사항 받을 때까지 대기

 

2) [17-005-RD-01] SAVE2.0/ADOxx

- Expr tree 생성 코딩

- 버그수정

 

3) [17-047-BZ-14] 법인세 및 서류처리

- 법인세처리

- 범용공인인증서

- 인터넷

- 사업자등록증명의변경

 

[JS]


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

- B 단계 테스트 ( BLOCK, SPEC, BODY )

- A~B 단계 수정

 

[MR]


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

- Preparing a presentation (Temporal Logic)

 

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

- Defining a formula

- considering challenge with the formula

 

 

 

3. MK 주간 일정 공유


1) ADONIS

 

a) License

b) Do-do’s: BZEN [PPed to the beginning of March]

i) GTC: Translation and Verification

ii) Advertisement material: Translation and Review

iii) Manual: Translation and Testing

vi) ADONIS Training: Preparation

 

c) BOC Discussion Groups:

i) [G-I] ADONIS/Licensing/Consulting: DKOh/THKim/TKHeo

ii) [G-II] ADONIS/Certification/Consulting:CSJun

iii) [G-III] ADONIS/Certification/PilotProjectI/KTC:JYChoi/DSSeo/Dr.Jee

vi) [G-VI] ADONIS/Certification/Pilot Project II/ADB: JYChoi/DSSeo/Prof.Chae

v) [G-V] ADONIS/Marketing/Sales: DJJin


d) Pilot Project

i) KTL

- Prof. DSSeo/ Dr. JDGee

- Kickoff Meeting

= Seoul Center; 28thFeb(Tue)

= 2 HRS: Presentation and discussion

= Presentation: MK, YH, YB

 

ii) ADB/CRA

Prof. Chae / Prof. Seo

10thMarch,Seoul

 

3) OMiLAB Korea

 

Visit to Taiwan

Conference: MACMESE2017, Berlin

Registration

Revision

Publication

Official letter

 

4) Conference Paper

a) dT-Calculus

i) ICServ2017, Vienna

ii) MACMESE2017, Berlin

 

b) BO

i) On theorization (Phase 1 Closed; Phase 2 Start)

 

c) ICATSE Conference

i) ADONIS/ADOxx Tutorial: Proposal submitted

 

5) Seminar: Start from March for Spring


a) Logic: Maryam

b) Process algebra: (as planned) [Must finish in March]

i) Check Schedule

 

6) Tool Check

a) SAVE 2.0

b) SRE 0.1

- GNAT Parser

c) HDL 0.1

d) PRISM/BO 0.1

 

4. ETC.


- 각 구성원마다 18일까지 Techical report를 작성하여 공유해보자

(학기별로 한 개씩만 작성해도 논문이나 저널, 보고서를 작성하는데 매우 유용하다)

- MR의 발표는 차일(7일 오전 10)PPed

[Included 2] 1--2017-03-06-board2.jpg


- 업무일지 작성시 세부적인 아이템화를 통하여 자세하게 기록하면 시간이 지난 뒤 확인용이

- JS의 업무일지가 주차별로 업무의 계획,결과,검토가 잘 반영되어 기록되어져있으니 기준으로 하자

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________



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


[MK] Included: (8)


1) Board Snapshot (2)

2) [MIC] Weekly Meeting: Minute (3)

3) [YB] Weekly Plan (2)

4) [SH] Weekly Plan (2)

5) [JS] Weekly Plan (2)

6) [MR] Weekly Plan (2)

7) [GH] Weekly Plan (2)

8) [MK] Agenda & Plan (4)