Engineering Safe and Secure Cyber-Physical Systems: The Specification Pearl Approach, Gumzej Roman
Автор: Marilyn Wolf; Dimitrios Serpanos Название: Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems ISBN: 3030258076 ISBN-13(EAN): 9783030258078 Издательство: Springer Рейтинг: Цена: 53100.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, practiced by very different people.
Offers readers a unified view of safety and security, from basic concepts through research challenges;
Provides a detailed comparison of safety and security methodologies;
Describes a comprehensive threat model including attacks, design errors, and faults;
Identifies important commonalities and differences in safety and security engineering.
Автор: Roman Gumzej Название: Engineering Safe and Secure Cyber-Physical Systems ISBN: 3319289039 ISBN-13(EAN): 9783319289038 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system`s safety and using appropriate hardware and software components inherently safe system`s architectures can be devised and certified.
Автор: Siddhartha Kumar Khaitan; James D. McCalley; Chen Название: Cyber Physical Systems Approach to Smart Electric Power Grid ISBN: 3662459272 ISBN-13(EAN): 9783662459270 Издательство: Springer Рейтинг: Цена: 139310.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids.
Автор: Siddhartha Kumar Khaitan; James D. McCalley; Chen Название: Cyber Physical Systems Approach to Smart Electric Power Grid ISBN: 3662512378 ISBN-13(EAN): 9783662512371 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids.
Автор: Lin Chung-Wei, Sangiovanni-Vincentelli Alberto Название: Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach ISBN: 3319846213 ISBN-13(EAN): 9783319846217 Издательство: 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.
Автор: Alla G. Kravets; Alexander A. Bolshakov; Maxim V. Название: Cyber-Physical Systems: Advances in Design & Modelling ISBN: 3030325784 ISBN-13(EAN): 9783030325787 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes.
Автор: Ezio Bartocci; Rance Cleaveland; Radu Grosu; Oleg Название: From Reactive Systems to Cyber-Physical Systems ISBN: 3030315134 ISBN-13(EAN): 9783030315139 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The contributions cover a wide spectrum of the topics related to Scott`s research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
Автор: Saqib Ali; Taiseera Al Balushi; Zia Nadir; Omar Kh Название: Cyber Security for Cyber Physical Systems ISBN: 3319758799 ISBN-13(EAN): 9783319758794 Издательство: Springer Рейтинг: Цена: 158380.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is a pioneering yet primary general reference resource on cyber physical systems and their security concerns. Providing a fundamental theoretical background, and a clear and comprehensive overview of security issues in the domain of cyber physical systems, it is useful for students in the fields of information technology, computer science, or computer engineering where this topic is a substantial emerging area of study.
Автор: Alla G. Kravets, Alexander Название: Cyber-Physical Systems: Industry 4.0 Challenges ISBN: 3030326470 ISBN-13(EAN): 9783030326470 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
IoT for Industrial Cyber-Physical Systems.- Efficient Computational Procedure for the Alternance Method of Optimizing the Temperature Regimes of Structures of Autonomous Objects.- Cyber-Physical Systems Intelligent Control.- On systemological approach to intelligent decision-making support in industrial cyber-physical systems.- Industrial Cybersecurity.- The system for operational monitoring and analytics of industry cyber-physical systems security in fuel and energy domains based on anomaly detection and prediction methods.- Engineering Education for Cyber-Physical Systems Development.- Building an knowledge base of a company based on the analysis of employee's behavior.
Management of V.U.C.A. (Volatility, Uncertainty, Complexity and Ambiguity) using Machine Learning Techniques in Industry 4.0 Paradigm.- Role of Industry 4.0 in Performance Improvement of Furniture Cluster.- Imparting Industry 4.0 Education using Open Source Tools: A Case.- Decision support framework for smart implementation of green supply chain management practices.- Decision Support System for Supply Chain Performance Measurement: Case of Textile Industry.- On the Condition Monitoring and Maintenance Approaches for Corrosive Sulphur Deposition in Oil-Filled Electrical Transformers.- Principal Components based Multivariate Statistical Process Monitoring of Machining Process using Machine Vision Approach.- Green IS - Exploring Environmental Sensitive IS through the Lens of Enterprise Architecture.
Автор: Dmitry G. Arseniev; Ludger Overmeyer; Heikki K?lvi Название: Cyber-Physical Systems and Control ISBN: 3030349829 ISBN-13(EAN): 9783030349820 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents the proceedings of the International Conference on Cyber-Physical Systems and Control (CPS&C`2019), held in Peter the Great St. Petersburg Polytechnic University, which is celebrating its 120th anniversary in 2019.
Автор: Michael E. Auer; Kalyan Ram B. Название: Cyber-physical Systems and Digital Twins ISBN: 3030231615 ISBN-13(EAN): 9783030231613 Издательство: Springer Рейтинг: Цена: 260870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 16th International Conference on Remote Engineering and Virtual Instrumentation (REV), held at the BMS College of Engineering, Bangalore, India on 3–6 February 2019. Today, online technologies are at the core of most fields of engineering, as well as of society as a whole, and are inseparably connected withInternet of Things,cyber-physical systems,collaborative networks and grids,cyber cloud technologies,service architectures,to name but a few.Since it was first held in, 2004, the REV conference has focused on the increasing use of the Internet for engineering tasks and the problems surrounding it.The 2019 conference demonstrated and discussed the fundamentals, applications and experiences in the field of online engineering and virtual instrumentation. It also presented guidelines for university-level courses on these topics, in view of the increasing globalization of education and the demand for teleworking, remote services and collaborative working environments.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
