- 주문상품수량
- 개
- 예상적립금
P - 상품할인금
- 원
- 배송료
- 원
- 주문합계
- 원
네비게이션 실시간 인기 책
사이버 물리 시스템 사물인터넷과 임베디드 시스템의 핵심 기술, 사례와 동향
시리즈 : 에이콘 임베디드 시스템 프로그래밍 시리즈 [19]
원제 : Cyber-Physical Systems (SEI Series in Software Engineering)
- 라구나탄 라즈쿠마르, 디오니시오 데 니즈, 마크 클라인 저
- 김광일 역
- 에이콘출판
- 2018년 01월 31일
-
정가40,000원
-
판매가36,000원 [10% 할인]
-
결제 혜택무이자
카드할인/포인트결제 안내
제휴카드
반디앤루니스 롯데카드 결제금액 최대 25% 청구할인 (1만원 이상 결제건에 한해 월 2회, 건당 최대 1만원 할인) 반디앤루니스 우리V카드 결제금액 10% 청구할인 포인트결제
OK캐쉬백 포인트 최소 10원부터 전액 사용 or 1% 적립 현대카드 M포인트 결제금액의 최대 10% 사용 가능 신한카드 포인트 결제금액의 최대 10% 사용 가능(일부카드) 하나(구.외환) 포인트 보유 한도 내에서 100% 사용 가능 씨티카드 포인트 결제금액의 최대 50% 사용 가능 할인카드
NH농협 TAKE5카드 20% 청구할인(Edu Pack) 채움 플래티늄 멀티카드 20% 청구할인 모바일 Tmoney 신한카드 10% 청구할인 신한카드 Shopping 10% 청구할인 NH농협 체크카드 10% 청구할인 NH20 해봄 신용카드 10% 청구할인 씨티 클리어 카드 7% 청구할인 NH20 해봄 체크카드 5% 청구할인 NH농협 LADY다솜카드 5% 청구할인 신한카드 큐브 5% 청구할인 신한카드 큐브 PLATINUM# 5% 청구할인 
무이자 안내
-
적립금2,000원 적립 [5%P]
추가 적립금 안내
[2천원 추가 적립]
총 주문금액 5만원 이상 구매 시 2,000원 추가 적립
도서(eBook포함)만 구매 시 적립 대상에서 제외업채배송상품 포함(기프트, 업체배송 등) 5만원[멤버십 추가 적립]
슈퍼루니 : 3% 추가 적립
골드루니 : 2% 추가 적립
실버루니 : 1% 추가 적립
단, 국내도서, eBook만 구매 시 적립 불가
-
배송료무료배송
-
출고예정일
출고예정일 안내
※ 출고예정일은 도서 재고상황에 따라 변동될 수 있습니다.
2024년 04월 26일(금)※ 출고예정일은 도서 재고상황에 따라 변동될 수 있습니다.
당일배송 가능지역 검색
“도로명주소”를 쉽게 찾아보세요
1. 도로명으로 검색하기 (예, “직지길” or “직지길+322”)
2. 건물명으로 검색하기 (예, “반디앤루니스빌딩”)
3. 동(읍/면/리) 으로 검색 (예, “인사동” or “인사동+43”)
4. 도로명주소를 모르실 경우 도로명주소 안내시스템(http://www.juso.go.kr)에서 확인해주세요.
시/도
시/군/구
회원리뷰
ISBN: 9791161751047
460쪽
235 x 188 (㎜)
지금 이책은
- 판매지수 : 152
이 분야의 베스트셀러
-
처음 만나는 인공지능 [개정판]
김대수
26,000원
-
비전공자를 위한 이해할 수 있는 IT 지식
최원영
15,120원
-
컴퓨팅 사고 Level Up 소프트 파워 with 스크래치
김호다, 이지민, 정영철 외
20,700원
이 책과 함께 구매한 책
-
PySpark 배우기 - acorn+PACKT 시리즈 토마스 드라바스, 데니 리 27,000원
-
완벽한 IT 인프라 구축을 위한 Docker Asa Shiho 20,700원
이 책의 시리즈
전체 선택
쇼핑카트 담기
-
-
자율주행차량 기술 입문 29,700원 (10%↓+5%P)
-
Yocto 프로젝트를 활용한 임베디드 리눅스 개발 [2판] 18,000원 (10%↓+5%P)
-
GNU/Linux 쾌속 임베디드 프로그래밍 45,000원 (10%↓+5%P)
-
메이커를 위한 실전 모터 가이드 29,700원 (10%↓+5%P)
-
사이버 물리 시스템 36,000원 (10%↓+5%P)
-
책 소개
출판사 리뷰
- CPS의 동인, 도전 과제, 토대 및 새로운 방향에 대한 이해
- 생명 필수적이고 상황 인지적인 의료 장비의 네트워크화된 시스템 구축
- 비용을 절감하고 재생 에너지 원을 완전히 통합하는 에너지 그리드 시스템 구축
- 사이버 및 물리 도메인 간의 복잡한 상호작용에 대한 모델링
- CPS 제어를 시행하는 알고리즘 통합
- CPS 센서 네트워크의 공간, 시간, 에너지 및 안정성 문제 해결
- 실시간 스케줄링에 대한 진보된 접근 방식 적용
- 중간자 및 기타 공격 방지를 통한 CPS 보안
- 논리적 정확성 보장 및 검증 단순화
- 분산 에이전트 간의 동기화된 통신 시행
- CPS 모델에 대한 형식적 의미체계 정의를 위한 모델 통합 언어 사용
★ 이 책의 대상 독자 ★
이 책은 실무자와 연구자 모두를 대상으로 한다. 실무자에게는 CPS 관점에서 이득이 되는 현재 응용 분야와 현 세대의 CPS 개발에 성공적이었던 현재 기술을 모두 보여준다. 또한 연구자에게 응용 분야에 대한 조사 연구를 제공하고 현재의 성과와 열린 도전 과제는 물론, 현재의 과학적 진보와 도전 과제를 조망해준다. 이 책은 두 부분으로 나뉘어 있는데, 1부, '사이버 물리 시스템 애플리케이션 영역'에서는 CPS 혁명을 주도하고 있는 현재의 CPS 응용 분야를 소개고 2부 '기초'에서는 CPS 개발에 사용된 여러 과학 분야의 현재 이론적 기초를 제시한다.
★ 지은이의 말 ★
차세대 미션 크리티컬 및 임베디드 시스템은 '사이버 물리적'이 될 것이며, 복잡한 계산 알고리즘과 물리적 구성요소들을 정확하게 동기화하고 완벽하게 통합해야 한다. 이 책은 광범위하고 다양한 엔지니어링 및 컴퓨팅 애플리케이션을 위한 사이버 물리 시스템(cyber-physical systems, CPS)을 구축하는 데 있어 최고의 안내서다.
선도적인 세 명의 전문가가 모든 실무자, 연구자 그리고 상급 학생들에게 없어서는 안 될 가장 중요한 연구 결과들을 한 권의 책으로 모았다. 이 안내서는 선도적인 연구자들의 폭 넓은 기여를 바탕으로 여러 관점에서 CPS를 다루고 있다.
먼저 여러 애플리케이션 영역에서 핵심적인 CPS의 과제와 혁신을 검토한 다음 현대 CPS 솔루션의 근간을 이루는(이미 알고 있는 것들과 아직 배워야 하는 것들의) 기술적 기초를 설명한다. 책 전반에 걸쳐 설계 및 분석에서부터 미래 혁신에 대한 계획에 이르기까지 CPS 개발의 모든 측면에 대한 지침적 원칙을 제시한다.
저자 소개
- 구분 : 저서
- 국적 : 기타
- 분류 : 과학/공학 저자
- 인기지수 : 3
카네기멜론대학의 전기 컴퓨터 공학과 조지 워싱턴하우스 교수다. 타임시스(TimeSys)를 비롯한 많은 회사들 중 오토마티카(Ottomatoka, Inc.)를 설립했다. 오토마티카는 자율 운전 차량용 소프트웨어 회사로, 델파이(Delphi)에 인수됐다. 여러 국제 회의의 의장을 맡았고, 3건의 특허를 보유하고 있다. 또한 한 권의 책을 저술했고, 공동 편저한 책이 있으며, 회의 및 저널에 170편 이상의 심사 논문을 발표했다. 논문들 중 8편이 최우수 논문상을 수상했다.
1984년 인도 마드라스대학교에서 학사 학위(Hons.)를 받았으며, 펜실베이니아 주 피츠버그에 있는 카네기멜론대학에서 1986년과 1989년에 각각 석사 학위와 박사 학위를 받았다.
사이버 물리 시스템의 모든 측면이 관심 연구 분야다.
- 구분 : 저서
- 국적 : 기타
- 분류 : 과학/공학 저자
- 인기지수 : 3
카네기멜론대학 소프트웨어 엔지니어링 연구소의 수석 연구원이다. 정보 네트워킹 연구소에서 정보 네트워킹으로 석사 학위를 받았으며, 카네기멜론대학에서 전기 컴퓨터 공학으로 박사 학위를 받았다. 관심 분야는 사이버 물리 시스템, 실시간 시스템, 모델 기반 엔지니어링이다. 최근에는 실시간 분야에서 다중 코어 프로세서 및 혼합 중요도 스케줄링에 집중했으며, 민간 산업계 및 정부 기관을 대상으로 기초 연구 및 응용 연구에 대한 여러 프로젝트를 주도해왔다. 레퍼런스 구현과 실시간 자바 명세의 상용 버전 개발에 참여했다.
- 구분 : 저서
- 국적 : 기타
- 분류 : 과학/공학 저자
- 인기지수 : 3
사이버 물리 시스템 및 첨단 모바일 시스템에 대한 연구를 수행하는 소프트웨어 엔지니어링 연구소 기술진의 수석 멤버이며, 동연구소 Critical System Capabilities Directorate의 기술 이사다. 그의 연구는 소프트웨어 엔지니어링, 신뢰할 수 있는 실시간 시스템 그리고 수치 해석의 다양한 방면에 걸쳐 있다. 가장 최근 연구는 사이버 물리 시스템을 포함한 대규모 시스템의 설계 및 분석 원리에 중점을 두고 있다. 이전에는 Architecture-Centric Engineering Initiative의 기술 책임자로서 소프트웨어 아키텍처 분석, 아키텍처 진화, 경제 주도 아키텍처, 아키텍처 역량, 아키텍처 절충 분석, 속성 주도 아키텍처 설계, 스케줄링 이론 그리고 적용 메커니즘에 대한 연구를 이끌었다. 실시간 시스템에서의 연구는 비율 단조 분석(rate-monotonic analysis, RMA)의 개발, RMA의 이론적 기반 확장 및 현실 시스템에의 적용과 관련돼 있다. 초기 연구에는 오일 저장소 시뮬레이션에서 발생하는 유체 흐름 방정식을 풀기 위한 고차원 유한 요소법의 연구가 포함됐다. 많은 논문을 발표했으며, 『A Practitioner’s Handbook for Real-Time Analysis』(Springer, 1993), 『Ultra-Large-Scale Systems』(Software Engineering Institute Carnegie Mellon, 2006), 그리고 『소프트웨어 아키텍처 평가』(에이콘, 2009)의 공동 저자다.
역자 소개
- 국적 : 대한민국
- 분류 : 과학/공학 저자 , 기타
- 인기지수 : 16
한국과학기술원 경영과학과에서 수학적 알고리즘을 경제학의 수리 모델에 적용한 논문으로 석사학위를 받았다. 졸업 후 금성사(지금의 LG전자)에 입사해 소프트웨어를 개발했다. 이후 몇몇 소프트웨어 개발 회사를 경영하기도 했으며, 경영 활동을 하는 동안 대학에서 강의를 하기도 했다. 수년 전 한 중소기업의 연구소에서 딥러닝을 연구하기 시작한 것을 계기로 딥러닝 연구에 몰두하면서, 현재는 경희대학교 대학원과 한국외국어대학교에서 머신러닝 및 딥러닝을 강의하고 있으며, 차세대 챗봇(Chatbot) 개발 프로젝트에 초청 전문가로 참여하고 있다..
목차
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.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.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.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 요약 및 열린 도전 과제
__참고문헌
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.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.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.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.4 요약 및 열린 도전 과제
__참고문헌
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.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.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 요약 및 열린 도전 과제
참고문헌
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.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.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.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 요약 및 열린 도전 과제
__참고문헌
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.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.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.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.4 요약 및 열린 도전 과제
__참고문헌
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.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.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 요약 및 열린 도전 과제
참고문헌
머리말
★ 지은이의 말 ★
차세대 미션 크리티컬 및 임베디드 시스템은 ’사이버 물리적’이 될 것이며, 복잡한 계산 알고리즘과 물리적 구성요소들을 정확하게 동기화하고 완벽하게 통합해야 한다. 이 책은 광범위하고 다양한 엔지니어링 및 컴퓨팅 애플리케이션을 위한 사이버 물리 시스템(cyber-physical systems, CPS)을 구축하는 데 있어 최고의 안내서다.
선도적인 세 명의 전문가가 모든 실무자, 연구자 그리고 상급 학생들에게 없어서는 안 될 가장 중요한 연구 결과들을 한 권의 책으로 모았다. 이 안내서는 선도적인 연구자들의 폭 넓은 기여를 바탕으로 여러 관점에서 CPS를 다루고 있다.
먼저 여러 애플리케이션 영역에서 핵심적인 CPS의 과제와 혁신을 검토한 다음 현대 CPS 솔루션의 근간을 이루는(이미 알고 있는 것들과 아직 배워야 하는 것들의) 기술적 기초를 설명한다. 책 전반에 걸쳐 설계 및 분석에서부터 미래 혁신에 대한 계획에 이르기까지 CPS 개발의 모든 측면에 대한 지침적 원칙을 제시한다.
★ 옮긴이의 말 ★
사물인터넷, 빅데이터, 인공지능, 사이버 물리 시스템, 이 네 가지 단어는 현재 맞이하고 있는 산업혁명 4.0 시대를 나타내는 핵심 키워드다. 이 단어들은 최근 몇 년의 격변기를 거치 면서, 이제는 상식적 용어가 됐다. 국내의 선도적 기업들 외에도 일정 규모 이상의 많은 중견 기업들이 사이버 물리 시스템의 필요성을 인식하기 시작했다.
그러나 아직까지 많은 실무자들에게 ‘사이버 물리 시스템’이라는 용어는 나머지 세 용어보다 덜 익숙한 것으로 보이며, 국내에서는 차라리 ‘스마트 팩토리’ 또는 ‘스마트 그리드’처럼 ‘스마트(smart)’라는 용어에 더 친숙한 것 같다.
사이버 물리 시스템이란 본질적으로 학제간 연구의 성격을 지니며 시스템 통합적 개념이므로 아직 학문의 한 가지로 정립된 분야는 아니다. 따라서 산업의 각 영역에서 사이버 물리 시스템과 관련한 연구 논문은 급속히 증가하고 있으나, 사이버 물리 시스템 전반을 다루는 문헌은 아직 드물다. 이러한 현실에서 산업분야별 사이버 물리 시스템의 핵심 기술과 동향을 집약한 이 책의 출판은 의미가 크다고 생각한다. 분야별 전문 영역에 대한 깊은 이해를 전제로 하는 만큼 이 책의 모든 내용을 번역하는 것은 결코 용이하지 않았으며, 걱정도 많이 했다. 부디 이 책을 통해 관심 분야에서의 핵심 기술과 동향을 파악하는 데 도움이 되기를 바란다.
배송 시 유의사항
- 반디앤루니스에서 구매하신 도서는 물류 대행 위탁업체 웅진 북센을 통해 배송됩니다.
(배송 포장에 "웅진 북센"으로 표기될 수 있습니다.)
- 구매한 상품의 품질과 배송 관련 문의는 반디앤루니스로 문의 바랍니다.
- 천재지변 및 택배사의 사정에 따라 배송이 지연될 수 있습니다.
- 결제(입금) 완료 후 출판사 및 유통사의 사정으로 품절 또는 절판 되어 상품 구입이 어려울 수 있습니다. (별도 안내 예정)
- 도서산간지역의 경우 추가 배송비가 발생될 수 있습니다.
반품/교환
상품 설명에 반품/ 교환 관련한 안내가 있는 경우 그 내용을 우선으로 합니다. (업체 사정에 따라 달라질 수 있습니다)
반품/교환
-
반품/교환 반품/교환 방법 홈 > 고객센터 > 자주찾는질문 “반품/교환/환불” 안내 참고 또는 1:1상담게시판 반품/교환 가능 기간 반품,교환은 배송완료 후 7일 이내, 상품의 결함 및 계약내용과 다를 경우 문제발견 후 30일 이내에 신청가능 반품/교환 비용 변심 혹은 구매착오의 경우에만 반송료 고객 부담(별도 지정 택배사 없음) 반품/교환 불가 사유 - 소비자의 책임 사유로 상품 등이 손실 또는 훼손된 경우
- 소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우
- 복제가 가능한 상품 등의 포장을 훼손한 경우 : 예)만화책, 잡지, 화보집 등
- 시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우
- 전자상거래등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우
- 해외주문 상품(해외 원서)의 경우(파본/훼손/오발송 상품을 제외)
소비자 피해보상
환불지연에 따른 배상- 상품의 불량에 의한 반품, 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은
소비자 분쟁해결 기준(공정거래위원회고시)에 준하여 처리됨 - 대금 환불 및 환불지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의
소비자 보호에 관한 법률에 따라 처리함
반품/교환 주소 경기도 파주시 문발로 77, 웅진북센(반디앤루니스)
