날 짜 : 2017-02-20 ()

주 제 : 주간 업무 계획 공유

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

기록자 : GH

+ [Included 1] 회의록


0. Agenda


1) 주간 업무 계획 공유

2) MK 주간 일정 공유

 

* 금주 변동된 업무 *


- Completed

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

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

 

 

1. 주간 업무 계획


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

- MK:예행연습을 통해서 유연한 트레이닝이 될 수 있도록 준비하자

- JS, GH는 숙소 및 식사 장소에 대한 재 업무확인

 

 

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

- 금주 ITS Loader 코드 수정 및 M2D(ITS) 개발 계획

 

 

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

- 지난 주 작업간 의문사항을 토요일에 해결하고 다시 변환 작업 진행 중

- A,B단계를 진행하고 있는데, 2월말(차주)까지 완료하도록 하자

 

 

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

- SHTemporal Logic, JSReal Time Logic라는 주제로 금일(20) 발표

- 너무 자세한 내용을 공부하기보다 단계별로 학습하면 연관성을 통해 이해하기 좋기도 함

- 목차·콘텐츠 구성, 항목화 조항을 만들고, 등급을 나누고, 버전을 통해 살을 붙이고,

논문으로 작성하게 되는 것처럼 초점을 하나에 맞추어 진행하자


[Included 2-1] 1--2017-02-20-board1.jpg

[Included 2-2] 1--2017-02-20-board2.jpg

 

 

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

- 예행연습을 통해서 유연한 트레이닝이 될 수 있도록 준비하자

- 23()의 강남 게스트하우스 예약 건은 취소 완료

- GH:27일 전주발 서울착 KTX 교통편 및 전주로 오는 1인 버스 예매

 

 

2. 구성원 주중 업무 목표


- [YB] + [Included 4] YB Weekly Plan


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

= 교육 자료 점검 및 스크립트 준비

= 24~26 교육 진행

 

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

= ITS Loader 코드 수정

= M2D (ITS) 개발

 

- [SH] + [Included 5] SH Weekly Plan


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

= Expr tree 생성코드 작성

= 프로시저 파악

= C to AdoScript 변환관련 수정할 코드 분석

= 프로시저 작성

2) [17-038-RC-02] ADONIS/BOC

* CC

= CC 분석 및 설계

= 목차 및 내용 분석

= 설계할 대상 선정

= ADONIS 설계

3) [17-038-RC-03] 연구실 세미나

= Temporal logic 발표

= 발표 및 내용보강


+ [Included 7] Presentation - Temporal Logic

 

4) [17-038-RC-13] ADOxx training

= 작년 교육 복기

= 트레이닝 준비

 

- [JS] + [Included 6] JS Weekly Plan


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

= 지난 주 작업간 의문사항을 토요일에 해결하고 다시 변환 작업 진행 중

(디버그 파일이 아닌 오리지널 파일 출력을 찾았고)

(2월 말까지 A ~ B 단계 마치도록 속도를 높일 계획)

[A 단계] 실행문 개발 및 테스트

 

2) [[17-038-RC-13] ADOxx training

* 트레이닝 준비

= 다과 및 음료

= YB의 보조 역할

 

3) [17-038-RC-03] 연구실 세미나

= Temporal logic 발표

발표 및 내용보강


+ [Included 8] Presentation - Real-time Logic


- [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 주간 업무 공유


- 3월부터는 방장(Captain) 업무를 SH이 진행하자

- 방장 대신 Captain이라는 명칭을 하자, 이로써 리더십과 책임감을 높이는 효과가 있을 것

- License : 초안 확인 및 송부 완료

- BZEN 업무는 3월 초로 업무를 연기

i) GTC 번역

ii) 홍보 자료 번역

iii) Manual 번역

vi) Training 준비

 - BOC 결과 보고 및 업무 진행

i) ADONIS/Licensing/Consulting: 오대교/김태현/허기태 [G-I]

ii) ADONIS/Certification/Consulting: 전창식 [G-II]

iii) ADONIS/Certification/Pilot Project I/KTC: 최진영/서동수 교수 [G-III]

vi) ADONIS/Certification/Pilot Project II/ISMS: 최진영/한근희 교수 [G-IV]

 - KLC Pilot Project

i) 서동수 교수/ 지재덕 박사

ii) Kickoff Meeting

) 서울; 228()

) “---” [*** Classfied ***]

 - Conference Paper는 튜토리얼을 할지 안할지 토론 중에 있으며, 내일이면 결정 된다.

- 현대자동차가 지원해주는 프로그램에 지원할지 논의 필요하며, 자동 TEST case 생성 다룸

- 2월말까지 코딩에 집중하고 28일에 서울출장 후 3월 초 한 주간 학업에 적응하는 기간 갖자

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________



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


[MK] Included: (8)


1) Minute - Lab : (pp. 8)

2) Board Snapshot : (pp 2)

3) [MK] Weekly Plan : (pp. 4)

4) [YB] Weekly Plan : (pp. 1)

5) [SH] Weekly Plan : (pp. 1)

6) [JS] Weekly Plan : (pp. 2)

7) Lab Seminar: Temporal Logic (pp. 10)

8) Lab Seminar: Real-time Logic (pp. 3)