날 짜 : 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
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
1) Minute