語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Cyber-physical system design from an...
~
Nakajima, Shin.
FindBook
Google Book
Amazon
博客來
Cyber-physical system design from an architecture analysis viewpoint = communications of NII Shonan Meetings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Cyber-physical system design from an architecture analysis viewpoint/ edited by Shin Nakajima ... [et al.].
其他題名:
communications of NII Shonan Meetings /
其他作者:
Nakajima, Shin.
出版者:
Singapore :Springer Singapore : : 2017.,
面頁冊數:
xiv, 159 p. :ill. (some col.), digital ;24 cm.
內容註:
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.
Contained By:
Springer eBooks
標題:
Cooperating objects (Computer systems) -
電子資源:
http://dx.doi.org/10.1007/978-981-10-4436-6
ISBN:
9789811044366
Cyber-physical system design from an architecture analysis viewpoint = communications of NII Shonan Meetings /
Cyber-physical system design from an architecture analysis viewpoint
communications of NII Shonan Meetings /[electronic resource] :edited by Shin Nakajima ... [et al.]. - Singapore :Springer Singapore :2017. - xiv, 159 p. :ill. (some col.), digital ;24 cm.
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.
ISBN: 9789811044366
Standard No.: 10.1007/978-981-10-4436-6doiSubjects--Topical Terms:
2055414
Cooperating objects (Computer systems)
LC Class. No.: TJ213
Dewey Class. No.: 629.89
Cyber-physical system design from an architecture analysis viewpoint = communications of NII Shonan Meetings /
LDR
:03243nmm a2200313 a 4500
001
2100288
003
DE-He213
005
20170511103450.0
006
m d
007
cr nn 008maaau
008
180119s2017 si s 0 eng d
020
$a
9789811044366
$q
(electronic bk.)
020
$a
9789811044359
$q
(paper)
024
7
$a
10.1007/978-981-10-4436-6
$2
doi
035
$a
978-981-10-4436-6
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
TJ213
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
629.89
$2
23
090
$a
TJ213
$b
.C994 2017
245
0 0
$a
Cyber-physical system design from an architecture analysis viewpoint
$h
[electronic resource] :
$b
communications of NII Shonan Meetings /
$c
edited by Shin Nakajima ... [et al.].
260
$a
Singapore :
$b
Springer Singapore :
$b
Imprint: Springer,
$c
2017.
300
$a
xiv, 159 p. :
$b
ill. (some col.), digital ;
$c
24 cm.
505
0
$a
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence - A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.
520
$a
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.
650
0
$a
Cooperating objects (Computer systems)
$3
2055414
650
0
$a
Systems engineering.
$3
572511
650
1 4
$a
Computer Science.
$3
626642
650
2 4
$a
Software Engineering.
$3
890874
650
2 4
$a
Control.
$3
1006321
700
1
$a
Nakajima, Shin.
$3
3241816
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-981-10-4436-6
950
$a
Computer Science (Springer-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9321377
電子資源
11.線上閱覽_V
電子書
EB TJ213
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入