Name: FM Book

Code: 17-065-RC-28

Charge: MK

Outline:

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

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

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

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

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

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

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

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

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

- 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