0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Cyber-Physical System Design from an Architecture Analysis Viewpoint - Communications of NII Shonan Meetings (Hardcover, 1st ed. 2017) Loot Price: R3,471
Discovery Miles 34 710
Cyber-Physical System Design from an Architecture Analysis Viewpoint - Communications of NII Shonan Meetings (Hardcover, 1st...

Cyber-Physical System Design from an Architecture Analysis Viewpoint - Communications of NII Shonan Meetings (Hardcover, 1st ed. 2017)

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu

 (sign in to rate)
Loot Price R3,471 Discovery Miles 34 710 | Repayment Terms: R325 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

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.

General

Imprint: Springer Verlag, Singapore
Country of origin: Singapore
Release date: May 2017
First published: 2017
Editors: Shin Nakajima • Jean-Pierre Talpin • Masumi Toyoshima • Huafeng Yu
Dimensions: 235 x 155 x 11mm (L x W x T)
Format: Hardcover
Pages: 159
Edition: 1st ed. 2017
ISBN-13: 978-981-10-4435-9
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > General
Promotions
LSN: 981-10-4435-X
Barcode: 9789811044359

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design…
Joyce Farrell Paperback R1,336 R1,239 Discovery Miles 12 390
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,341 Discovery Miles 13 410
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,981 R4,170 Discovery Miles 41 700
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R5,025 R4,214 Discovery Miles 42 140
Advances in Computers, Volume 124
Suyel Namasudra Hardcover R4,998 R4,188 Discovery Miles 41 880
Data Prefetching Techniques in Computer…
Pejman Lotfi-Kamran, Hamid Sarbazi-Azad Hardcover R4,979 R4,168 Discovery Miles 41 680
Modern Software Engineering - Doing What…
David Farley Paperback R860 R741 Discovery Miles 7 410
Research Anthology on Architectures…
Information R Management Association Hardcover R13,706 Discovery Miles 137 060
Advances in Computers, Volume 123
Suyel Namasudra Hardcover R5,623 R4,703 Discovery Miles 47 030
Research Anthology on Architectures…
Information R Management Association Hardcover R13,716 Discovery Miles 137 160
Research Anthology on Architectures…
Information R Management Association Hardcover R13,695 Discovery Miles 136 950

See more

Partners