날 짜 : 2017-06-19 ()

주 제 : 주간 업무 계획 공유

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

기록자 : JS


0. Agenda


1) 연구실 주간 계획 공유

2) 구성원 주간 계획 공유

3) MK 주간 일정 공유

4) Etc

 

* 추가/완료 업무 *

 

1. 연구실 주간 업무 공유


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

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

[17-030-RC-09][MK] NEMO 2017 Lecture

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

 

2. Members 주간 업무 공유


[YB]

[17-030-RC-09][MK] NEMO 2017 Lecture

- 예제 구성 (3)

[MK] 실습 예제 구성 시 참고

1. 난이도 구분 A, B, C

2. 예제 당 진행 순서

I. Text

II. 그래픽 Spec (ITL, ITS)

III. execution model 생성

IV. Simulation

V. 분석 - Query

VI. 검증

> 6월 말까지는 초안이 나와야함.

 

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

- Z 정리

= 내용 수정 (필요 시)

- ADOxx

= 도구 개발 방법 작성

- ACSR

= 예제 구성 및 수정

 

[ETC]

- SAVE 과제 확인

- MMU 관련 항공권 결제

 

[SH]

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

- 파서개발

[MK] 

= 냉정하게 판단해야함. v2.0? v1.5?

= 개발에 속도를 높여야함.

= 6월 말까지 PRISM과 연동해서 결과가 어떻게 나오는지 확인해 봐야함.

 

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

- Temporal logic

- SAVE

 

[JS]

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

- HCS 예제 개발

- Composition 개발 및 고민

- Lattice 자동화 개발

[MK] 

= SAVE와 연동해서 결과가 나와야 강의 자료로 활용함.

 

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

- Realtime logic 검토 및 수정

- CCS 예제 작성

[MK] 

= CCS 스터디는 MK가 제공하는 자료를 통해 진행하고 예제를 작성하기 바람.

= YB의 논의해 예제를 선정하고 작성해보기 바람.

= 이번 주말까지 기한을 맞춰야함.

 

[MR]

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

- Order the behaviors of level 2

= Checking the inclusion relationships based on main actor

= set in lattice with 1 cardinality or n cardinalities automatically

= showing subsets with arrows

- Define HCS system

= defining active ontology

= defining regular behaviors

= defining lattice

= checking relationships based on its main actor


3. MK 업무 일정 공유

[Mon]

Weekly: PLAN

FM Book Work

State Machine; Review 2.0

Logic: Draft 1.0

NEMO:

Lecture Notes

Exercise (3)

[Tue]

ER2017: paper review (3)

FM Book Work

State Machine; Final

NEMO:

Lecture Notes

Exercise (3)

[Wed]

FM Book Work

Logic: Review 1.0

Process Algebra: Draft 1.0

NEMO:

Lecture Notes

Exercise (3)

[Thur]

Weekly: DO

FM Book Work

Logic: Review 2.0

NEMO:

Lecture Notes

Exercise (3)

[Fri]

FM Book Work

Logic: Final

Process Algebra: Review 1.0

[Sat]

Weekly: CHECK

NEMO:

Lecture Notes

Exercise (3)

FM Book Work

Process Algebra: Final

[Sun]

FM Book Work: Final Draft 1.0

 

4. ETC


[MK] YB는 목요일까지 지난주 Wilfrid와 논의한 ADONIS 교육 관련 Agenda 정리해서 제출 바람.

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________


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


[MK] Included: (7)


1) Minute

2) YB's Weekly Plan

3) SH's

4) JS'

5) MR's

6) MK's Agenda

7) Board Snapshot