์ํ ๋ถ์์ ํ์ฉํ ๋ณต์กํ ์๋ฒ ๋๋ ์์คํ ์ ๋ํ ์๊ตฌ์ฌํญ ์์ฑํ๊ธฐ
์ํ ๋ถ์์ ํ์ฉํ ๋ณต์กํ ์๋ฒ ๋๋ ์์คํ ์ ๋ํ ์๊ตฌ์ฌํญย ์์ฑํ๊ธฐ
Motivation ์์คํ ์์ง๋์ด๊ฐ ์์ฑํ ์ํํธ์จ์ด ์๊ตฌ์ฌํญ๊ณผ ์ํํธ์จ์ด ์์ง๋์ด๊ฐ ์์ฑํ ์ฝ๋์์ ์ฐจ์ด๊ฐ ํฌ๋ค. ์ํํธ์จ์ด ์์ง๋์ด๋ ์๊ตฌ์ฌํญ์ ์ฝ๋๋ก ๋ฒ์ญํ์ฌ ์์คํ ์์ง๋์ด๊ฐ ์๋ํ ์์คํ ์ ํ๋์ ๋ถํฉํ๋ค๋ ๊ธฐ๋๋ฅผ ํด์ผ๋ง ํ๋ค. ํด๊ฒฐ ๋ฐฉ๋ฒ:ย State analysis๋ฐฉ๋ฒ์ ์ฌ์ฉํ์ฌ ๋ช ์์ ์ผ๋ก ํํํ๋ค. Introduction State analysis๋ฐฉ๋ฒ๋ก ์ ๋ค์์ 3๊ฐ์ง ๊ธฐ๋ณธ์ ์์น์ ์ฃผ์ฅ(assert)ํ๋ค. control์ system operation์ ๋ชจ๋ ์ธก๋ฉด์ ํฌํจํ๋ค. system under control์ ๋ชจ๋ธ์ ํตํด ์ดํด๋ ์ ์์ system under control์ ๋ชจ๋ธ์ ๋ช ์์ ์ผ๋ก ์๋ณ๋๊ณ ์์คํ ์์ง๋์ด๋ค ์ฌ์ด์ ํฉ์๋ ๊ฒ๋ค์ ๋ณด์ฅํ๋ ๋ฐฉ์์ด์ด์ผ ํจ ์ํํธ์จ์ด ์ค๊ณ ๋ฐโฆ
View On WordPress













