날 짜 : 2017-06-01 (목)

주 제 : 개발 회의

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

기록자 : JS

0. 회의 안건

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

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

3) [17-066-RC-29] [MK, YB] 우주기초 단계평가

4) ETC

- Time Table / Architecture

- wilfrid Time Table

- NEMO 항공권

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

- MR : Inclusion Relationship 알고리즘 발표 진행

Inclusion Relationship / Regular Beh -> Abstract Beh 수도 코드 공유

- MK : 작은 크기의 예제부터 구현 진행, 메인 예제는 EMS

다음 발표는 코드로 구현해서 보여주길 바람.

이번 버전의 목표는 Lattice 생성 및 Composition 임

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

- MK : 작성 진행 중, 회의 종료 후 자료 번역이 필요함 각각 30 분 분량의 번역을 부탁함.

각각 맡은 부분 금일 저녁, 또는 내일 오후 까지 자료 업로드 바람 (State Machine).

YB : Petri-Net, Z

SH : Modechart, Temporal Logic

JS : Statechart, Real-time Logic

- MK : 예제 선정이 필요함. 각 맡은 Formal Method를 가장 잘 표현하고 장점을 살릴 수 있는 예제 선정

3. [17-066-RC-29] [MK, YB] 우주기초 단계평가

- MK : YB, SH는 서울에 wilfrid와 만나므로 JS가 동행,

발표 준비 [MK, YB]

발표 검토 일정 : 8 ~ 9일 예상

- JS : 시간이나 일정은 어떻게 되는지 질문

= MK : 일정은 아직 알 수 없음, 수업에 대해서는 담당 교수와 사전에 이야기 할 것

4. ETC

- Time Table / Architecture

= MK : 각 Tool 의 Time Table 은 좋음, 하지만 아키텍쳐가 없음, 아키텍쳐를 생각해서 그려보고 추가하길 바람.

 

- wilfrid Time Table

= MK : wilfrid 과 함께할 일정 만들고, TimeTable 작성 필요(예산 포함), [SH]

다음주 월요일 (17.06.05) 까지

= MK : MK 활동비 처리 [SH]

 

- NEMO 항공권

= MK : 미리 알아봐야 금액을 아낄 수 있음.

YB, MK는 미리 출발 10 ~ 11사이 출발 예정 [YB]

나머지 인원은 16일 도착해야함

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________

GH : __________________

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

[MK][ Included: (1)

1) [MR] PRISM Abstraction Algorithm [Classified]