Name: FM Book

Code: 17-065-RC-28

Charge: MK


Outline:


1) [17/5/2] [2017-05-12] 회의록


- MK:Archive에 9가지 폴더를 생성하였으며 항목별로 예제와 도구들이 필요하다

- MK:본인 업무와 관련된 부분에 대한 예제를 제시해 주었으면 결과에 도움이 된다

일정이 많이 밀려있으므로 19일까지 예제를 찾아보고 논의하기로 함


2)  [17/5/5][2017-05-29][Mon]


- MK : 내일과 모레 현재 진행 중에 있는 정리 작업이 1차 완료 된다 (1~7, 14)

- MK : 지난주 논의되었던 부족했던 부분과 상태도와 관련된 자료 업로드가 필요

연구원들이 각각 한 부분씩 맡아서 업로드 목요일까지 업로드 해줄 것을 요망 )

( Tool 부분 – YB / SAVE 부분 – SH / 논리학 부분 – JS )

- MK : ADOxx를 이용하여 SAVE와 같은 도구를 만드는 방법에 대한 내용을 부록으로 작성할 계획


3)  [17/6/1][2017-06-01][Thur]

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

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

YB : petri-Net, Z

SH : modechart, temporal logic

JS : Statechart, real-time logic

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


...


n) [17/6/5] [2017-06-30] Completed


[MK] Included (3)


1) Cover Page

2) Contents

3) Prologue