OKRC 회의록

(Form 6 v2.0 18. 01. 05)

 

 

날 짜: 2018-05-24 ()

참여자: YB, SH, JS, MR

기록자: JS

 

주 제: OKRC 54DO 회의

 

 

I. 주간 주요 업무 확인

 

1. [18-001-RD-01] SAVE 3.0

2. [18-002-RD-02] PRISM 2.0

3. [18-003-RD-03] SRRE 1.0/2.0

4. [18-009-PP-03] [J] Choice/d-Calculus/SAVE/상태감소

5. [18-013-PP-07] [B] ADOxx/Manual/E/Springer [Private]

6. [18-018-PP-12] [C] ICServ2018/Certification

7. [18-031-BZ-05] BZEN HP/Map/Marketing

8. [18-037-RC-07] 3L-CPS

9. [18-039-PP-15] MS/Thesis/MR

10. [18-040-RC-09] SWD/ADOxx Project

11. [18-041-RC-10] OMiLAB Korea/Factory


II. DO

 

1. [18-001-RD-01] SAVE 3.0

1) D-[18-001-RD-01]-[SAVE 3.0]-[2018-05-24][SH].hwp

2) GTS Logic Parser 개발 진행 중

a) SRL 구조 변환 코드 작성

b) 금주 마감 예정

 

2. [18-002-RD-02] PRISM 2.0

1) D-[18-002-RD-02]-[PRISM2.0-ADOxx]-[2018-05-24]-[MR].hwp

2) 도구 일반화 및 코드 분할 진행

a) Regular Behavior

 

3. [18-003-RD-03] SRRE 1.0/2.0

1) D-[18-003-RD-03]-[SRRE]-[2018-05-24][JS].hwp

2) 코드 수정 및 관련 함수 동작 확인

a) exprNODE 생성 관련 코드 수정

i) MakeXExprTree(), MakeYExprTree(), MakeExprTree()

3) Parser 통한 최종 결과 확인

4) exprNODE 시각화 모듈 개발 미진행


4. [18-009-PP-03] [J] Choice/d-Calculus/SAVE/상태감소

1) D-[18-009-PP-03]-[Choice]-[2018-05-24][YB].hwp

2) PLAN 회의를 통해 논의된 사항 반영

a) MK와의 논의 사항 및 진행 상황 상세 작성

3) 논문 내용 수정: 경우의 수 감소를 통한 데이터 공간 감소

4) 비교연구 예제 사용 및 복잡도 계산 수식의 정당성 입증 진행 중

 

5. [18-013-PP-07] [B] ADOxx/Manual/E/Springer [Private]

1) D-[18-013-PP-07]-[ADOxx Manual E]-[2018-05-24][YB].hwp

2) 4, 5장 작성 마무리 진행 중

a) 5: Tool Deployment, Useful things

3) 2장 작성

a) 환경설정: Windows 영문판 그림 자료 필요

i) MR PCOS 확인 필요

b) ADOxx 다운로드 ~ 설치

c) ADOxx 실행

 

6. [18-018-PP-12] [C] ICServ2018/Certification

1) D-[18-018-PP-12]-[ICServ2018-Certification]-[2018-05-21][SH].hwp

2) 금주 진행 사항 없음

a) PLAN회의에서 차주 추가 논의 및 일정 진행 예정 이였으나

타 업무(제안서 작성) 진행으로 인해 일정 연기

 

7. [18-031-BZ-05] BZEN HP/Map/Marketing

1) 홍보물 검토 진행 중

2) BZEN 홈페이지 메뉴 재구성 진행 예정

 

8. [18-037-RC-07] 3L-CPS

1) D-[18-037-RC-07]-[3L-CPS]-[2018-05-24][SH].hwp

2) 타 업무([18-040-RC-09] SWD/ADOxx Project) 진행 간 필요 물품 추가 구매

a) 아두이노 모듈

3) 물리 환경 구축 준비 진행

 

9. [18-039-PP-15] MS/Thesis/MR

1) D-[18-039-PP-15]-[MS-Thesis-MR]-[2018-05-24]-[MR].hwp

2) implementation, Example 수정사항 수정

3) Analysis, Composition 작성 진행 중

 

10. [18-040-RC-09] SWD/ADOxx Project

1) D-[18-040-RC-09]-[SWD-ADOxx Project]-[2018-05-24][SH].hwp

2) 8주차 실습 준비

a) 8주차 강의안 준비 중

i) 실습실 사용, HW 실습 간 필요사항 공지


11. [18-041-RC-10] OMiLAB Korea/Factory

1) CPS Design 계획-1.pptx

2) OMiLAB Design Room Interior.pptx

3) CPS Design 2가지 안

a) II-11-1) 참조

b) 기존 비엔나 OMiLAB의 구성

c) IoT의 필요 배경 (산업의 발전 과정)

4) Design Room 인테리어

a) II-11-2) 참조

b) Design Room 간판 및 장식 배치도

c) 비엔나 OMiLAB의 컨셉 반영

d) 장식 크기 및 배치 재검토 필요

i) 추가 장식 및 ADOxx 관련 자료 배치

5) MK의 검토 및 결재 후 진행 예정

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

 

 

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

Included: (12)

1) Minute: (1)

2) DO Reports: (11)

II-1-1) D-[18-001-RD-01]-[SAVE 3.0]-[2018-05-24][SH].hwp

II-2-1) D-[18-002-RD-02]-[PRISM2.0-ADOxx]-[2018-05-24]-[MR].hwp

II-3-1) D-[18-003-RD-03]-[SRRE]-[2018-05-24][JS].hwp

II-4-1) D-[18-009-PP-03]-[Choice]-[2018-05-24][YB].hwp

II-5-1) D-[18-013-PP-07]-[ADOxx Manual E]-[2018-05-24][YB].hwp [Private]

II-6-1) D-[18-018-PP-12]-[ICServ2018-Certification]-[2018-05-21][SH].hwp

II-8-1) D-[18-037-RC-07]-[3L-CPS]-[2018-05-24][SH].hwp

II-9-1) D-[18-039-PP-15]-[MS-Thesis-MR]-[2018-05-24]-[MR].hwp

II-10-1) D-[18-040-RC-09]-[SWD-ADOxx Project]-[2018-05-24][SH].hwp

II-11-1) CPS Design 계획-1.pptx

II-11-2) OMiLAB Design Room Interior.pptx

=== The End ====