1장. 소개
__1.1 애플리케이션
__1.2 동기 부여 예제
__1.3 설계 프로세스
____1.3.1 모델링
____1.3.2 설계
____1.3.3 분석
__1.4 요약
1부. 역학 행동 모델링
2장. 연속 역학
__2.1 뉴턴 역학
__2.2 액터 모델
__2.3 시스템의 속성
____2.3.1 인과관계 시스템
____2.3.2 메모리리스 시스템
____2.3.3 선형성과 시불변
____2.3.4 안정성
__2.4 피드백 제어
__2.5 요약
__연습문제
3장. 이산 역학
__3.1 이산 시스템
__3.2 상태의 개념
__3.3 유한 상태 기계
____3.3.1 전이
____3.3.2 반응 발생 시점
____3.3.3 업데이트 함수
____3.3.4 결정성과 수용성
__3.4 확장 상태 기계
__3.5 비결정론
____3.5.1 형식 모델
____3.5.2 비결정성 사용
__3.6 동작과 추적
__3.7 요약
__연습문제
4장. 하이브리드 시스템
__4.1 모달 모델
____4.1.1 상태 기계의 액터 모델
____4.1.2 연속 입력
____4.1.3 상태 세분
__4.2 하이브리드 시스템의 종류
____4.2.1 타임드 오토마타
____4.2.2 고차 역학
____4.2.3 감시 제어
__4.3 요약
__연습문제
5장. 상태 기계 결합
__5.1 동시 결합
____5.1.1 병행 동기 결합
____5.1.2 병행 비동기 결합
____5.1.3 공유 변수
____5.1.4 직렬 결합
____5.1.5 일반적 결합
__5.2 계층적 상태 기계
__5.3 요약
__연습문제
6장. 동시 연산 모델
__6.1 모델 구조
__6.2 동기 반응 모델
____6.2.1 피드백 모델
____6.2.2 Well-Formed와 Ill-Formed 모델
____6.2.3 고정점 구성
__6.3 데이터 흐름 연산 모델
____6.3.1데이터
역자후기
임베디드 시스템하면 보통 노트북이나 태블릿, 패드, 휴대폰을 떠올릴 것이다. 그렇다면 임베디드 시스템이란 정확히 무엇일까? 나는 임베디드 시스템을 개발하면서 임베디드 시스템의 메모리나 CPU 등의 물리적 제약 사항을 주로 고려할 뿐 근본적인 임베디드 시스템의 정의나 특성을 파악한 적은 없었다. 이 책은 보통 순차적인 가상 세계와 병렬적인 물리적 세계를 통합한 가상 물리 시스템의 모델링 및 설계, 분석에 대한 공학 이론을 제공해 임베디드 시스템의 정의와 특성을 이해하고, 임베디드 시스템 모델 및 구현과의 관계를 파악할 수 있도록 돕는다. 임베디드 시스템이 실시간성이나 안전성에 민감하다면 이런 개념의 이해는 필수적이다.
기존 임베디드 시스템 책들은 물리적 시스템에만 집중하거나 프로그래밍 언어나 운영체제 혹은 최적화 기법 같은 소프트웨어 측면의 컴퓨터 과학에만 집중했다. 혹은 특정 주제를 너무 심도 있게 다뤄 임베디드 시스템을 개괄적으로 알기 원하는 입문자에게는 적합하지 않았다. 이 책은 물리적 서브시스템이 연산 및 네트워킹과 결합된 시스템인 가상 물리 시스템CPS을 통해 임베디드 시스템을 소개하며, 모델과 시스템 구현의 관계에 대한 ‘입문’ 과정을 제공한다. 임베디드 시스템 입문자를 위해 여러 학과의 임베디드 시스템 관련 지식을 체계적으로 정리하고 결합해 임베디드 시스템의 구현과 분석을 위한 원칙적이고 과학적인 접근 방식을 제시하며, 모델 기반 시스템 설계와 임베디드 소프트웨어에 집중하고 있다. 이 책이 여러 학과의 지식을 결합된 가상 물리 시스템을 다루기 때문에 한 학과의 지식에 익숙한 일반적인 독자는 처음 보는 용어나 개념이 등장해 어렵다고 느낄 수 있다. 하지만 임베디드 시스템 업계에서 함께 일하는 사람들의 배경 지식을 이 책을 통해 경험할 수 있고, 다양한 기본 이론을 이해하고 실제 임베디드 시스템에 적용하려고 노력하면 더 견고한 임베디드 시스템을 만들 수 있을 것이다.
이 책은 가상 물리 시스템을 위한 모델링, 설계, 분석의 세 가지 주
