MAC Protocols for Cyber-Physical Systems, Feng Xia; Azizur Rahim

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Рейтинг:
Цена: 224570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.

Автор: Chung-Wei Lin; Alberto Sangiovanni-Vincentelli
Название: Security-Aware Design for Cyber-Physical Systems
ISBN: 3319513273 ISBN-13(EAN): 9783319513270
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints.

Автор: Yves Demazeau; Paul Davidsson; Javier Bajo; Zita V
Название: Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
ISBN: 3319599291 ISBN-13(EAN): 9783319599298
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions.

Автор: Rolf Drechsler; Ulrich K?hne
Название: Formal Modeling and Verification of Cyber-Physical Systems
ISBN: 3658099933 ISBN-13(EAN): 9783658099930
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Автор: Lee Edward A., Seshia Sanjit A.
Название: Introduction to Embedded Systems: A Cyber-Physical Systems Approach
ISBN: 0262533812 ISBN-13(EAN): 9780262533812
Издательство: MIT Press
Рейтинг:
Цена: 56430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.

The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.

The second edition offers two new chapters, several new exercises, and other improvements. The book can be used as a textbook at the advanced undergraduate or introductory graduate level and as a professional reference for practicing engineers and computer scientists. Readers should have some familiarity with machine structures, computer programming, basic discrete mathematics and algorithms, and signals and systems.

Автор: Christian Berger; Mohammad Reza Mousavi; Rafael Wi
Название: Cyber Physical Systems. Design, Modeling, and Evaluation
ISBN: 3319517376 ISBN-13(EAN): 9783319517377
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.
The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Автор: Luis M. Camarinha-Matos; Ant?nio J. Falc?o; Nazan
Название: Technological Innovation for Cyber-Physical Systems
ISBN: 3319311646 ISBN-13(EAN): 9783319311647
Издательство: Springer
Рейтинг:
Цена: 109940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, held in Costa de Caparica, Portugal, in April 2016.

Автор: Song, Houbing
Название: Cyber-Physical Systems
ISBN: 0128038012 ISBN-13(EAN): 9780128038017
Издательство: Elsevier Science
Рейтинг:
Цена: 101060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Cyber-Physical Systems: Foundations, Principles and Applications explores the core system science perspective needed to design and build complex cyber-physical systems. Using Systems Science's underlying theories, such as probability theory, decision theory, game theory, organizational sociology, behavioral economics, and cognitive psychology, the book addresses foundational issues central across CPS applications, including System Design -- How to design CPS to be safe, secure, and resilient in rapidly evolving environments, System Verification -- How to develop effective metrics and methods to verify and certify large and complex CPS, Real-time Control and Adaptation -- How to achieve real-time dynamic control and behavior adaptation in a diverse environments, such as clouds and in network-challenged spaces, Manufacturing -- How to harness communication, computation, and control for developing new products, reducing product concepts to realizable designs, and producing integrated software-hardware systems at a pace far exceeding today's timeline. The book is part of the Intelligent Data-Centric Systems: Sensor-Collected Intelligence series edited by Fatos Xhafa, Technical University of Catalonia.

Автор: Ayala
Название: Cyber-Physical Attack Recovery Procedures
ISBN: 1484220641 ISBN-13(EAN): 9781484220641
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a template with step-by-step instructions on how to respond and recover when hackers get into your SCADA system and cause building equipment to act erratically or fail completely. When hackers shut off the water, turn off the building power, disable the sewage effluent pumps and activate the fire alarm, you have to do something quick. It is even more alarming that hackers can do all those things at the same time—even from the other side of the planet.Not every equipment failure or power outage is a cyber-physical attack. When your building is attacked, you probably won’t suspect it was a hacker—until you see a pattern. The building control system (BCS) will act 'squirrelly' and you will know—it really is a cyber-physical attack.Once a cyber-physical attack occurs, it can mean years of court cases, job losses, higher insurance rates, and maybe even criminal litigation. It also takes years to overcome the loss of safety credibility to your employees and the local community. Cyber-Physical Attack Recovery Procedures provides a detailed guide to taking the right steps ahead of time, and equipping your facility and employees with the training, knowledge, and tools they need and may save lives. The book contains:A one-of-a-kind action plan describing how hackers attack building equipment, the extent of damage possible, and how to respond when a cyber-physical attack occurs.Detailed descriptions of cyber-physical attacks directed against SCADA systems or building controls, as well as cyber booby traps Invaluable appendices, including: Emergency Procedures, Team Staffing and Tasking, Alternate Site Procedures, a Documentation List, Software and Hardware Inventories, Vendor Contact Lists, External Support Agreements, and much more. What you’ll learnPossible ways hackers can cause building equipment to fail.How to quickly assess the threat to his facilities in real time, how to stop a cyber-physical attack.How to restore equipment operation without doing any more damage.Who This Book Is ForArchitects, Engineers, Building Managers, Students, Researchers and Consultants interested in cybersecurity-attacks against facilities in the real world. Also for IT professionals getting involved in cybersecurity responsibilities.

Автор: Husheng Li
Название: Communications and Controls in Cyber Physical Systems
ISBN: 0128019506 ISBN-13(EAN): 9780128019504
Издательство: Elsevier Science
Рейтинг:
Цена: 69610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Communications and Controls in Cyber Physical Systems: Theory, Design and Applications in Smart Grids provides readers with all they need to know about cyber physical systems (CPSs), such as smart grids, which have attracted intensive studies in recent years. Communications and controls are of key importance for maintaining and stabilizing the operation of the physical dynamics in these complicated systems. . This book presents a systematic treatment on the communication and control aspects of CPSs, along with applications to the smart grid in four parts, including the basics of CPS, communications and controls, an explanation of the integration with CPS, coverage of controls with information constraints in CPS, and an applications oriented focus on smart grids as a CPS. Drawing upon years of practical experience and using numerous examples and illustrations, the authors’ discuss key communication and controls design methods that can be integrated into a CPS, how communication and control schemes can be applied in practical systems such as smart grids, new directions and approaches for traditional engineers and researchers in communications, and controls and power systems as they relates to CPSs.

Автор: Moller, Dietmar P. F.
Название: Guide to computing fundamentals in cyber-physical systems
ISBN: 3319251767 ISBN-13(EAN): 9783319251769
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an in-depth review of the state of the art of cyber-physical systems (CPS) and their applications. presents a brief overview of the study of systems, and embedded computing systems, before defining CPS;