Semi-physical Verification Technology for Dynamic Performance of Internet of Things System, Xiaolei Yu; Donghua Wang; Zhimin Zhao
Автор: Xiaolei Yu; Donghua Wang; Zhimin Zhao Название: Semi-physical Verification Technology for Dynamic Performance of Internet of Things System ISBN: 9811346771 ISBN-13(EAN): 9789811346774 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book combines semi-physical simulation technology with an Internet of Things (IOT) application system based on novel mathematical methods such as the Fisher matrix, artificial neural networks, thermodynamic analysis, support vector machines, and image processing algorithms. The dynamic testing and semi-physical verification of the theory and application were conducted for typical IOT systems such as RFID systems, Internet of Vehicles systems, and two-dimensional barcode recognition systems. The findings presented are of great scientific significance and have wide application potential for solving bottlenecks in the development of RFID technology and IOT engineering. The book is a valuable resource for postgraduate students in fields such as computer science and technology, control science and engineering, and information science. Moreover, it is a useful reference resource for researchers in IOT and RFID-related industries, logistics practitioners, and system integrators.
Автор: Antonio Guerrieri; Valeria Loscri; Anna Rovella; G Название: Management of Cyber Physical Objects in the Future Internet of Things ISBN: 3319268678 ISBN-13(EAN): 9783319268675 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book focuses on new methods, architectures, and applications for the management of Cyber Physical Objects (CPOs) in the context of the Internet of Things (IoT).It covers a wide range of topics related to CPOs, such as resource management, hardware platforms, communication and control, and control and estimation over networks.
Автор: Ovidiu Vermesan, Peter Friess Название: Internet of Things Connecting the Physical, Digital and Virtual Worlds: Digitising the Industry ISBN: 8793379811 ISBN-13(EAN): 9788793379817 Издательство: Taylor&Francis Рейтинг: Цена: 93910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Provides an overview of the current Internet of Things (IoT) landscape, ranging from the research, innovation and development priorities to enabling technologies in a global context. The book presents global views and state of the art results on the challenges facing the research, innovation, development and deployment of IoT.
Автор: 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.
Автор: 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.
Internet of Things: Technologies and Applications for a New Age of Intelligence outlines the background and overall vision for the Internet of Things (IoT) and Cyber-Physical Systems (CPS), as well as associated emerging technologies. Key technologies are described including device communication and interactions, connectivity of devices to cloud-based infrastructures, distributed and edge computing, data collection, and methods to derive information and knowledge from connected devices and systems using artificial intelligence and machine learning. Also included are system architectures and ways to integrate these with enterprise architectures, and considerations on potential business impacts and regulatory requirements.
New to this edition: - Updated material on current market situation and outlook. - A description of the latest developments of standards, alliances, and consortia. More specifically the creation of the Industrial Internet Consortium (IIC) and its architecture and reference documents, the creation of the Reference Architectural Model for Industrie 4.0 (RAMI 4.0), the exponential growth of the number of working groups in the Internet Engineering Task Force (IETF), the transformation of the Open Mobile Alliance (OMA) to OMA SpecWorks and the introduction of OMA LightweightM2M device management and service enablement protocol, the initial steps in the specification of the architecture of Web of Things (WoT) by World Wide Consortium (W3C), the GS1 architecture and standards, the transformation of ETSI-M2M to oneM2M, and a few key facts about the Open Connectivity Forum (OCF), IEEE, IEC/ISO, AIOTI, and NIST CPS. - The emergence of new technologies such as distributed ledgers, distributed cloud and edge computing, and the use of machine learning and artificial intelligence for IoT. - A chapter on security, outlining the basic principles for secure IoT installations. - New use case description material on Logistics, Autonomous Vehicles, and Systems of CPS
Standards organizations covered: IEEE, 3GPP, IETF, IEC/ISO, Industrial Internet Consortium (IIC), ITU-T, GS1, Open Geospatial Consortium (OGC), Open Mobile Alliance (OMA, e.g. LightweightM2M), Object Management Group (OMG, e.g. Business Process Modelling Notation (BPMN)), oneM2M, Open Connectivity Forum (OCF), W3C
Key technologies for IoT covered: Embedded systems hardware and software, devices and gateways, capillary networks, local and wide area networking, IoT data management and data warehousing, data analytics and big data, complex event processing and stream analytics, control systems, machine learning and artificial intelligence, distributed cloud and edge computing, and business process and enterprise integration.
In-depth security solutions for IoT systems
Technical explanations combined with design features of IoT and use cases, which help the development of real-world solutions
Detailed descriptions of the architectures and technologies that form the basis of IoT
Clear examples of IoT use cases from real-world implementations such as Smart Grid, Smart Buildings, Smart Cities, Logistics and Participatory Sensing, Industrial Automation, and Systems of CPS
Market perspectives, IoT evolution, and future outlook
Автор: Jovan Pehcevski Название: Performance Evaluation of Cloud Services ISBN: 1773615068 ISBN-13(EAN): 9781773615066 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 155230.00 T Наличие на складе: Невозможна поставка. Описание: Evaluates cloud services and the computing measures for various multi-tier cloud applications. The book covers cloud computing performance measures, and cloud computing management and evaluation, along with cloud optimization and tuning.
Автор: Jeffrey O. Grady Название: System Verification ISBN: 0128042214 ISBN-13(EAN): 9780128042212 Издательство: Elsevier Science Рейтинг: Цена: 89820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: "
System Verification: Proving the Design Solution Satisfies the Requirements, Second Edition" explains how to determine what verification work must be done, how the total task can be broken down into verification tasks involving six straightforward methods, how to prepare a plan, procedure, and report for each of these tasks, and how to conduct an audit of the content of those reports for a particular product entity.
This process-centered book is applicable to engineering and computing projects of all kinds, and the lifecycle approach helps all stakeholders in the design process understand how the verification and validation stage is significant to them. In addition to many flowcharts that illustrate the verification procedures involved, the book also includes 14 verification form templates for use in practice.
The author draws on his experience of consulting for industry as well as lecturing to provide a uniquely practical and easy to use guide which is essential reading for systems and validation engineers, as well as everyone involved in the product design process. Includes 14 real life templates for use in verification tasksExplains concepts in the context of the entire design lifecycle, helping all project stakeholders engage Contains a process-focused approach to design model verification that can be applied to all engineering design and software development projects
Автор: Prakash Rashinkar; Peter Paterson; Leena Singh Название: System-on-a-Chip Verification ISBN: 1475774680 ISBN-13(EAN): 9781475774689 Издательство: Springer Рейтинг: Цена: 148020.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign-off. All the verification aspects in this exciting new book are illustrated with a single reference design for Bluetooth application.
Автор: Rolf Drechsler Название: Formal System Verification ISBN: 3319576836 ISBN-13(EAN): 9783319576831 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).
Автор: Mike Mintz; Robert Ekendahl Название: Hardware Verification with System Verilog ISBN: 1441944087 ISBN-13(EAN): 9781441944085 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book focuses on Object Orientation Programming and its applications for C++ and SystemVerilog. It includes discussion on why and when certain features should be used. The book also includes an open source verification framework as well as examples.
Автор: Iwan van Beurden, William M. Goble Название: Safety Instrumented System Design: Techniques and Design Verification ISBN: 1945541431 ISBN-13(EAN): 9781945541438 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 117350.00 T Наличие на складе: Невозможна поставка. Описание: This book provides an excellent description of the design phase of the SIS safety life cycle as defined in IEC 61511:2016. It focuses on the fundamental concepts, starting with a description of the entire safety life cycle process and then explaining how the design steps—from conceptual design through design verification—fit into that process. The book:Explains the advantages of the performance-based approach to designDiscusses minimum redundancy conceptsAddresses equipment qualificationProvides the theoretical background for the probabilistic calculations that are the foundation of performance verificationCovers recent advances in SIF verification modelingProvides numerous examples to explain potentially confusing language from IEC 61511 and IEC 61508This is an excellent reference for professionals designing safety instrumented systems, as well as those who are seeking certification. Each chapter contains questions and answers similar to those found on professional certification exams for functional safety, and the appendices include statistics, probability, failure-rate data tables, and system architectures.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
