Описание: A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Описание: This textbook offers a comprehensive introduction to the methodological and technical knowledge necessary for the development of embedded systems.
Автор: Shuvra S. Bhattacharyya; Miodrag Potkonjak; Senem Название: Embedded, Cyber-Physical, and IoT Systems ISBN: 3030169480 ISBN-13(EAN): 9783030169480 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This Festschrift is in honor of Marilyn Wolf, on the occasion of her 60th birthday. Prof. Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems. This book provides a timely collection of contributions that cover important topics related to Smart Cameras, Hardware/Software Co-Design, and Multimedia applications.
Embedded systems are everywhere; cyber-physical systems enable monitoring and control of complex physical processes with computers; and IoT technology is of increasing relevance in major application areas, including factory automation, and smart cities. Smart cameras and multimedia technologies introduce novel opportunities and challenges in embedded, cyber-physical and IoT applications. Advanced hardware/software co-design methodologies provide valuable concepts and tools for addressing these challenges.
The diverse topics of the chapters in this Festschrift help to reflect the great breadth and depth of Marilyn Wolf's contributions in research and education. The chapters have been written by some of Marilyn’s closest collaborators and colleagues.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Описание: Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems.
Автор: Alexander Barkalov; Larysa Titarenko; Ma?gorzata M Название: Foundations of Embedded Systems ISBN: 3030119602 ISBN-13(EAN): 9783030119607 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book is devoted to embedded systems (ESs), which can now be found in practically all fields of human activity. Embedded systems are essentially a special class of computing systems designed for monitoring and controlling objects of the physical world.
The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be designed to deliver the required performance with a minimum amount of hardware. In turn, it presents a range of design methodologies. Considerable attention is paid to the hardware implementation of computational algorithms. It is shown that different parts of complex ESs could be implemented using models of finite state machines (FSMs). Also, field-programmable gate arrays (FPGAs) are very often used to implement different hardware accelerators in ESs. The book pays considerable attention to design methods for FPGA-based FSMs, before the closing section turns to programmable logic controllers widely used in industry.
This book will be interesting and useful for students and postgraduates in the area of Computer Science, as well as for designers of embedded systems. In addition, it offers a good point of departure for creating embedded systems for various spheres of human activity.
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.
Автор: Barkalov Alexander, Titarenko Larysa, Mazurkiewicz Malgorzata Название: Foundations of Embedded Systems ISBN: 3030119637 ISBN-13(EAN): 9783030119638 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Introduction into embedded systems.- Design of embedded systems.- Implementation of computational algorithms in embedded systems.- Field programmable gate arrays.- Implementing Control Algorithms with FPGAs.- Programmable Logic Controllers.- Conclusion.
Chapter 1. The Safety and Security Landscape.- Chapter 2.Safety and Security Design Processes.- Chapter 3.Threats and Threat Analysis.- Chapter 4.Architectures.- Chapter 5. Security Testing and Runtime Monitoring.- Chapter 6. False Data Injection Attacks.
Автор: Awad Ali Ismail, Furnell Steven, Paprzycki Marcin Название: Security in Cyber-Physical Systems: Foundations and Applications ISBN: 303067360X ISBN-13(EAN): 9783030673604 Издательство: Springer Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Realizing Cyber-Physical Systems Resilience Frameworks and Security Practices.- Machine learning for fostering security in Cyber-Physical systems.- Security of Cyber-Physical Monitoring and Warning Systems for Natural and Technological Threats.- Secure Dynamic Nonlinear Heterogeneous Vehicle Platooning: Denial-of-Service Cyber-Attack Case.
Автор: Carreira Paulo, Amaral Vasco, Vangheluwe Hans Название: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ISBN: 3030439488 ISBN-13(EAN): 9783030439484 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
