사이버 물리 시스템 [사물인터넷과 임베디드 시스템의 핵심 기술, 사례와 동향]
- 원서명Cyber-Physical Systems (SEI Series in Software Engineering) (ISBN 9780321926968)
- 지은이라구나탄 라즈쿠마르(Ragunathan (Raj) Rajkumar), 디오니시오 데 니즈(Dionisio de Niz), 마크 클라인(Mark Klein)
- 옮긴이김광일
- ISBN : 9791161751047
- 40,000원
- 2018년 01월 31일 펴냄
- 페이퍼백 | 460쪽 | 188*235mm
- 시리즈 : 임베디드 시스템
책 소개
2018년 대한민국학술원 우수학술도서 선정도서
요약
사이버 물리 시스템이 산업혁명 4.0의 핵심이라고 하지만, 사이버 물리 시스템이 구체적으로 어떻게 구성되며 무엇이 중요한지 알아보기는 쉽지 않다. 이 책에서는 여러 산업 및 학문 분야 최고의 전문가들이 사이버 물리 시스템의 핵심 기술과 사례 및 연구 동향을 집약해 상세히 안내하고 있다. 사이버 물리 시스템을 연구하려는 모든 실무자, 연구자 및 상급 학생들에게 지침이 될 내용을 담고 있다.
이 책에서 다루는 내용
█ CPS의 동인, 도전 과제, 토대 및 새로운 방향에 대한 이해
█ 생명 필수적이고 상황 인지적인 의료 장비의 네트워크화된 시스템 구축
█ 비용을 절감하고 재생 에너지 원을 완전히 통합하는 에너지 그리드 시스템 구축
█ 사이버 및 물리 도메인 간의 복잡한 상호작용에 대한 모델링
█ CPS 제어를 시행하는 알고리즘 통합
█ CPS 센서 네트워크의 공간, 시간, 에너지 및 안정성 문제 해결
█ 실시간 스케줄링에 대한 진보된 접근 방식 적용
█ 중간자 및 기타 공격 방지를 통한 CPS 보안
█ 논리적 정확성 보장 및 검증 단순화
█ 분산 에이전트 간의 동기화된 통신 시행
█ CPS 모델에 대한 형식적 의미체계 정의를 위한 모델 통합 언어 사용
이 책의 대상 독자
이 책은 실무자와 연구자 모두를 대상으로 한다. 실무자에게는 CPS 관점에서 이득이 되는 현재 응용 분야와 현 세대의 CPS 개발에 성공적이었던 현재 기술을 모두 보여준다. 또한 연구자에게 응용 분야에 대한 조사 연구를 제공하고 현재의 성과와 열린 도전 과제는 물론, 현재의 과학적 진보와 도전 과제를 조망해준다. 이 책은 두 부분으로 나뉘어 있는데, 1부, ‘사이버 물리 시스템 애플리케이션 영역’에서는 CPS 혁명을 주도하고 있는 현재의 CPS 응용 분야를 소개고 2부 ‘기초’에서는 CPS 개발에 사용된 여러 과학 분야의 현재 이론적 기초를 제시한다.
목차
목차
- Part 1 사이버 물리 시스템 응용 영역
- 1장. 의료 사이버 물리 시스템
- 1.1 서론 및 동기
- 1.2 시스템 기술과 운용 시나리오
- 1.2.1 가상 의료 장비
- 1.2.2 임상 시나리오
- 1.3 핵심 설계 동인과 품질 속성
- 1.3.1 동향
- 1.3.1.1 새로운 소프트웨어 기반 기능들
- 1.3.1.2 의료 장비의 접속성 증가
- 1.3.1.3 생리적 폐회로 시스템
- 1.3.1.4 지속적인 모니터링과 치료
- 1.3.2 품질 속성과 MCPS 영역의 과제
- 1.3.3 MCPS의 고신뢰 개발
- 1.3.3.1 위험 완화
- 1.3.3.2 모델 기반 MCPS 개발의 과제
- 1.3.3.3 사례 연구: PCA 주입 펌프
- 1.3.4 온디맨드 의료 장비와 보증된 안전성
- 1.3.4.1 장비의 조정
- 1.3.4.2 정의: 가상 의료 장비
- 1.3.4.3 표준과 규제
- 1.3.4.4 사례 연구
- 1.3.5 스마트 알람과 임상 의사결정 지원 시스템
- 1.3.5.1 노이즈 많은 집중 치료 환경
- 1.3.5.2 핵심 기능의 문제들
- 1.3.5.3 사례 연구: CABG 환자를 위한 스마트 알람 시스템
- 1.3.6 폐회로 시스템
- 1.3.6.1 더 높은 수준의 지능
- 1.3.6.2 폐회로 시스템의 위험성
- 1.3.6.3 사례 연구: 폐회로 PCA 주입 펌프
- 1.3.6.4 추가 과제 요인들
- 1.3.7 보증 케이스
- 1.3.7.1 안전성 보증 케이스
- 1.3.7.2 증명과 신뢰
- 1.3.7.3 사례 연구: GPCA 안전성
- 1.3.1 동향
- 1.4 실무자들의 시사점
- 1.4.1 MCPS 개발자 관점
- 1.4.2 MCPS 관리자 관점
- 1.4.3 MCPS 사용자 관점
- 1.4.4 환자 관점
- 1.4.5 MCPS 규제 기관 관점
- 1.5 요약 및 열린 도전 과제
- 참고문헌
- 2장. 에너지 사이버 물리 시스템
- 2.1 서론 및 동기
- 2.2 시스템 설명과 운영 시나리오
- 2.3 핵심 설계 동인 및 품질 속성
- 2.3.1 핵심 시스템 원칙
- 2.3.1.1 지속가능한 사회 생태적 에너지 시스템
- 2.3.1.2 중요 시스템 수준 특성
- 2.3.2 아키텍처 1의 수행 목표
- 2.3.2.1 아키텍처 1의 시스템 이슈
- 2.3.2.2 아키텍처 1 시스템의 향상된 사이버 능력
- 2.3.2.3 아키텍처 1을 위한 CPS 설계상의 과제
- 2.3.2.4 아키텍처 2를 위한 CPS 설계상의 과제
- 2.3.2.5 아키텍처 3~5를 위한 CPS 설계상의 과제
- 2.3.3 전진할 수 있는 방법
- 2.3.1 핵심 시스템 원칙
- 2.4 지속 가능한 SEES를 위한 사이버 패러다임
- 2.4.1 SEES를 위한 CPS의 물리 기반 구성
- 2.4.2 SEES의 CPS를 위한 DyMonDS 기반 표준
- 2.4.2.1 데이터 기반 동적 집단화의 역할
- 2.4.2.2 사전 정의된 하부 시스템이 있는 시스템에서의 조정
- 2.4.3 상호작용 변수 기반의 자동 모델링 및 제어
- 2.5 실무자의 시사점
- 2.5.1 성능 목표의 IT 기반 진화
- 2.5.2 분산 최적화
- 2.6 요약 및 열린 도전 과제
- 참고문헌
- 3장. 무선 센서 네트워크 기반의 사이버 물리 시스템
- 3.1 서론 및 동기
- 3.2 시스템 해설 및 운영 시나리오
- 3.2.1 매체 접근 제어(MAC)
- 3.2.2 라우팅
- 3.2.3 노드 정위
- 3.2.4 클록 동기화
- 3.2.5 전원 관리
- 3.3 핵심 설계 동인과 품질 속성
- 3.3.1 물리 인식적
- 3.3.2 실시간 인식적
- 3.3.3 런타임 검증 인식적
- 3.3.4 보안 인식적
- 3.4 실무자의 함의
- 3.5 요약 및 열린 도전 과제
- 참고문헌
- Part 2 기초
- 4장. 사이버 물리 시스템을 위한 기호적 합성
- 4.1 서론 및 동기
- 4.2 기본 기법
- 4.2.1 사전 지식
- 4.2.2 문제의 정의
- 4.2.2.1 시스템 모델링
- 4.2.2.2 선형 시간 논리
- 4.2.2.3 합성 문제
- 4.2.3 합성 문제의 해결
- 4.2.3.1 근사 시뮬레이션 관계
- 4.2.3.2 제어기 개량
- 4.2.4 기호 모델의 구축
- 4.2.4.1 안정성 가정
- 4.2.4.2 기호 모델
- 4.3 고급 기법
- 4.3.1 기호 모델의 구축
- 4.3.1.1 기본 알고리즘
- 4.3.1.2 고급 알고리즘
- 4.3.2 연속 시간 제어기
- 4.3.3 소프트웨어 도구
- 4.3.1 기호 모델의 구축
- 4.4 요약 및 열린 도전 과제
- 참고문헌
- 5장. 피드백 제어 시스템의 소프트웨어 및 플랫폼 이슈
- 5.1 서론 및 동기5.2 기본 기법
- 5.2.1 제어기 타이밍
- 5.2.2 자원 효율을 위한 제어기 설계
- 5.3 고급 기법
- 5.3.1 계산 시간 단축
- 5.3.2 저빈도 샘플링
- 5.3.3 이벤트 기반 제어
- 5.3.4 제어기 소프트웨어 구조
- 5.3.5 컴퓨팅 자원의 공유
- 5.3.5.1 제어 서버
- 5.3.6 피드백 제어 시스템의 분석 및 시뮬레이션
- 5.3.6.1 지터버그
- 5.3.6.2 지터마진
- 5.3.6.3 트루타임
- 5.4 요약 및 열린 도전 과제
- 참고문헌
- 5.1 서론 및 동기5.2 기본 기법
- 6장. 하이브리드 시스템의 논리적 정확성
- 6.1 서론 및 동기
- 6.2 기본적 기법
- 6.2.1 이산 검증
- 6.2.1.1 모델 검사 도구 및 관련 논리
- 6.2.1.2 선형 시간 논리
- 6.2.1.3 사례: 헬리콥터 비행 제어 검증
- 6.2.1.4 관찰
- 6.2.1 이산 검증
- 6.3 고급 기법
- 6.3.1 실시간 검증
- 6.3.1.1 예제: 간단한 조명 제어
- 6.3.1.2 구성과 동기화
- 6.3.1.3 기능적 특성
- 6.3.1.4 한계와 향후 연구.
- 6.3.2 하이브리드 검증
- 6.3.2.1 예: 바운싱 볼
- 6.3.2.2 예: 온도 조절기
- 6.3.2.3 한계와 향후 연구
- 6.3.1 실시간 검증
- 6.4 요약 및 열린 도전 과제
- 참고문헌
- 7장. 사이버 물리 시스템의 보안
- 7.1 서론 및 동기
- 7.2 기본 기법
- 7.2.1 사이버 보안 요구사항
- 7.2.2 공격 모델
- 7.2.2.1 공격 진입점
- 7.2.2.2 적 행동
- 7.2.3 대응 방안
- 7.2.3.1 키 관리
- 7.2.3.2 안전한 통신 아키텍처
- 7.2.3.3 시스템 보안 및 장치 보안
- 7.3 진보된 기법들
- 7.3.1 시스템 이론적 접근 방법
- 7.3.1.1 보안 요구사항
- 7.3.1.2 시스템과 공격 모델
- 7.3.1.3 대응 방안
- 7.3.1 시스템 이론적 접근 방법
- 7.4 요약 및 열린 도전 과제
- 참고문헌
- 8장. 분산 사이버 물리 시스템의 동기화
- 8.1 서론 및 동기
- 8.1.1 사이버 물리 시스템의 문제들
- 8.1.2 동기화를 위한 복잡성 축소 기법
- 8.2 기본 기법들
- 8.2.1 형식적 소프트웨어 엔지니어링
- 8.2.2 분산 합의 알고리즘
- 8.2.3 동기 록스탭 실행
- 8.2.4 시간 트리거 아키텍처
- 8.2.5 관련 기술
- 8.2.5.1 실시간 네트워킹 미들웨어
- 8.2.5.2 내장애 시스템 설계
- 8.2.5.3 분산 알고리즘의 형식적 검증
- 8.3 진보된 기법들
- 8.3.1 물리적 비동기, 논리적 동기 시스템
- 8.3.1.1 PALS 시스템 가정들
- 8.3.1.2 다중 속도 계산을 위한 패턴 확장
- 8.3.1.3 PALS 아키텍처 명세
- 8.3.1 물리적 비동기, 논리적 동기 시스템
- 8.4 요약 및 열린 도전 과제
- 참고문헌
- 8.1 서론 및 동기
- 9장. 사이버 물리 시스템을 위한 실시간 스케줄링
- 9.1 서론 및 동기
- 9.2 기본 기법
- 9.2.1 고정 타이밍 파라미터를 갖는 스케줄링
- 9.2.1.1 최악의 경우 실행 시간의 결정
- 9.2.1.2 표현과 형식 체계
- 9.2.1.3 고정 우선순위 할당
- 9.2.1.4 동적 우선순위 할당
- 9.2.1.5 동기화
- 9.2.2 메모리 효과
- 9.2.1 고정 타이밍 파라미터를 갖는 스케줄링
- 9.3 고급 기법
- 9.3.1 다중 프로세서/다중 코어 스케줄링381
- 9.3.1.1 전역 스케줄링
- 9.3.1.2 분할 스케줄링
- 9.3.1.3 공정성을 이용한 알고리즘
- 9.3.1.4 태스크 분리를 사용한 알고리즘
- 9.3.1.5 메모리 효과
- 9.3.2 변동성과 불확실성의 수용
- 9.3.2.1 Q-RAM을 사용한 자원 배분 절충 방안
- 9.3.2.2 혼합 중요도 스케줄링
- 9.3.3 다른 자원들의 관리
- 9.3.3.1 네트워크 스케줄링과 대역폭 분배
- 9.3.3.2 파워 관리
- 9.3.4 리드믹 태스크 스케줄링
- 9.3.1 다중 프로세서/다중 코어 스케줄링381
- 9.4 요약 및 열린 도전 과제
- 참고문헌
- 10장. 사이버 물리 시스템에서의 모델 통합
- 10.1 서론 및 동기
- 10.2 기본 기법
- 10.2.1 인과성
- 10.2.2 시간에 대한 의미 체계 도메인
- 10.2.3 계산 과정에 대한 상호작용 모델
- 10.2.4 CPS DSML의 의미 체계
- 10.3 고급 기법
- 10.3.1 ForSpec
- 10.3.2 CyPhyML의 구문
- 10.3.3 의미 체계의 형식화.
- 10.3.3.1 구조적 의미 체계
- 10.3.3.2 표시적 의미 체계
- 10.3.3.3 파워 단자 연결의 표시적 의미 체계
- 10.3.3.4 신호 단자 연결의 의미 체계
- 10.3.4 언어 통합의 형식화
- 10.3.4.1 통합 소프트웨어
- 10.3.4.2 본드 그래프 통합
- 10.3.4.3 모델리카 통합
- 10.3.4.4 신호 흐름 통합
- 10.4 요약 및 열린 도전 과제
관련 블로그 글
4차 산업혁명의 핵심 ‘사이버 물리 시스템’
사이버 물리 시스템(CPS)이란
물리 세계와 사이버 세계의 융합을
추구하는 시스템으로 융합연구의 발전으로 새롭게 주목을 받고 있는 기술이다.
CPS는 물리세계의 일반적인 사물들과 다양한 컴퓨터 기능이 네트워크로 연결돼 복합시스템을 구성하고,
물리 세계 정보를 습득, 가공, 계산, 분석해 그 결과를 엑츄에이터 시스템을 통해 물리 세계에 적용하는 기술로
기존의 임베디드 시스템이 확장된 개념이라고 볼 수 있다.
임베디드 시스템은 일상생활에서 사용되는 전자기기, 가전제품, 자동차 등에 특화된 컴퓨터를 내장하고
이를 통해 각 제품을 제어할 수 있게 만드는 기술이다.
임베디드 시스템이 내장된 전자기기는 사용자의 요구에 따라 개별적으로 동작하므로 단방향이며, 폐쇄적이라면
CPS는 실제 물리 세계와 시스템 간의 상호작용을 강조한다는 것이 가장 큰 차이일 것이다.
CPS의 핵심 요소는 연산, 통신, 제어로 각 시스템 개체들 간의 협력을 통한 물리적인 현상의 관찰, 예측, 조작 등이 특징이며
의료, 항공, 에너지 등 광범위한 분야에서 사용될 수 있다.
최근 4차 산업혁명에 대한 관심이 높아지고 있는 가운데
스마트 팩토리, 스마트 홈 등 4차 산업혁명 시대를 구현하는 데 반드시 필요한 기술이 바로 CPS다.
인간의 개입 없이 자율적으로 동작하는 시스템을 지향하고 있지만 자율성을 가진 시스템이 늘어남에 따라
예상치 못한 상황에도 유연하게 대처할 수 있는 신뢰성과 안전성 보장 역시 중요해지고 있다.
이를 위해서는 결국 인간과 시스템의 소통과 협력이 필요해지는 것이다.
국내외에서도 CPS의 중요성을 인식하고 많은 관심을 가지고 있지만
CPS는 아직 학문의 한 가지로 정립된 분야는 아니기 때문에 CPS를 전반적으로 다루는 문헌은 드물다.
그렇기 때문에 CPS에 대한 전반적인 내용을 집약적으로 다루고 있는 이 책이 CPS에 대한 이해를 높이는 데 많은 도움이 될 수 있을 것으로 보인다.
이 책은 크게 1부, ‘사이버 물리 시스템 애플리케이션 영역’과 2부, ‘기초’로 나뉘어져 있다.
1부에서는 현재 CPS가 활용되는 다양한 응용 분야를 소개하고 2부에서는 CPS의 이론을 소개한다.
1부의 내용을 통해 가상 의료, 스마트 알람, 지속 가능한 에너지의 수요와 공급 조절, 개별 가구 스위치 조작을 통한 전력 조절 등
다양한 분야에서 CPS의 필요한 이유와 실제 활용 방안, 미래 동향까지 파악할 수 있다.
먼저 여러 응용 분야에서 CPS의 과제와 혁신을 소개한 다음, 그러한 기술의 근간이 되는 이론에 대해 설명하고 있는데
CPS가 활용되고 있는 다양한 응용 분야에 대한 소개 및 미래 동향과 함께 이론적인 부분까지 모두 다루고 있기 때문에
연구자와 실무자 모두에게 도움이 될 것이다.
CPS에 관심이 있고 CPS가 어떻게 구성되고 활용되는지, 어떤 부분이 중요한지에 관심이 있었다면
이 책을 통해 CPS의 핵심 기술과 동향을 파악할 수 있을 것이다.
크리에이티브 커먼즈 라이센스 이 저작물은 크리에이티브 커먼즈 코리아 저작자표시 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.