Engineering Safe and Secure Cyber-Physical Systems: The Specification Pearl Approach, Gumzej Roman
Автор: Alla G. Kravets, Alexander Название: Cyber-Physical Systems: Industry 4.0 Challenges ISBN: 3030326470 ISBN-13(EAN): 9783030326470 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: J?rgen Beyerer; Alexander Maier; Oliver Niggemann Название: Machine Learning for Cyber Physical Systems ISBN: 3662590832 ISBN-13(EAN): 9783662590836 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Lemgo, October 25th-26th, 2017. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.
Автор: Akis Hatzopoulos, Ioannis Papaefstathiou Название: Heterogeneous Cyber Physical Systems of Systems ISBN: 8770222029 ISBN-13(EAN): 9788770222020 Издательство: Taylor&Francis Рейтинг: Цена: 14851.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cyber-physical systems are the natural extension of the so-called “Internet of Things”. They are “systems of collaborating computational elements controlling physical entities”. Cyber Physical Systems of Systems (CPSoS) are considered “The Next Computing Revolution” after Mainframe computing (60’s-70’s), Desktop computing & Internet (80’s-90’s) and Ubiquitous computing (00’s); because all aspects of daily life are rapidly evolving towards humans interacting amongst themselves as well as their environment via computational devices (often mobile), and because in most cases systems will employ their computational capabilities to interact amongst themselves.
CPSoS enable the physical world to merge with the cyber one. Using sensors, the embedded systems monitor and collect data from physical processes, such as the steering of a vehicle, energy consumption or human health functions. The systems are networked making the data globally available. CPSoS make it possible for software applications to directly interact with events in the physical world, for example to measure and react to changes in blood pressure or peaks in energy consumption. Embedded hardware and software systems crucially expand the functionality and competitiveness of vehicles, aircraft, medical equipment, production plants and household appliances. Connecting these systems to a virtual environment of globally networked services and information systems opens completely new areas of innovation and novel business platforms.
Future CPSoS will have many sophisticated, interconnected parts that must instantaneously exchange, parse, and act on detailed data in a highly coordinated manner. Continued advances in science and engineering will be necessary to enable advances in design and development of these complex systems. Multi- scale, multi-layer, multi-domain, and multi-system integrated infrastructures will require new foundations in system science and engineering. Scientists and engineers with an understanding of otherwise physical systems will need to work in tandem with computer and information scientists to achieve effective, workable designs. In this tutorial, basic and advanced issues on the design of the future heterogeneous CPSoS are presented including relevant Blockchain technologies, reconfigurable systems, advanced sensor interfaces and human-centered design processes. Certain advanced tools for the design and implementation of the cyber parts of the CPSoS (i.e. FPGA design tools from Xilinx) are also covered
Автор: Ali Saqib, Al Balushi Taiseera, Nadir Zia Название: Cyber Security for Cyber Physical Systems ISBN: 3030093484 ISBN-13(EAN): 9783030093488 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
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 Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids.
Описание: 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 Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
