Handbook of Real-Time Computing


Book Description

The aim of this handbook is to summarize the recent rapidly developed real-time computing technologies, from theories to applications. This handbook benefits the readers as a full and quick technical reference with a high-level historic review of technology, detailed technical descriptions and the latest practical applications. In general, the handbook is divided into three main parts (subjected to be modified): theory, design, and application covering different but not limited to the following topics: - Real-time operating systems - Real-time scheduling - Timing analysis - Programming languages and run-time systems - Middleware systems - Design and analysis tools - Real-time aspects of wireless sensor networks - Energy aware real-time methods




Real-time Systems


Book Description

This book is dedicated to Real-time Systems of broad applications, such as autonavigation (Kalman Filtering), real-time reconfiguration of distributed networks, real-time bilateral teleoperation control system over imperfect networks, and uniform interfaces for resource-sharing components in hierarchically scheduled real-time systems. In addition to that, wireless technology and its usage in implementing intelligent systems open a wide spectrum of real-time systems and offer great potential for improving people's life: for example, wireless sensor networks used in subways, reduced energy consumption in public buildings, improved security through public surveillance, and high efficiency through industrial automation. Furthermore, electric utilities and multi-core CPU architecture, the driving force of modern life, are part of subjects benefited from the topics covered in this book.




Multiprocessor Scheduling for Real-Time Systems


Book Description

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models. New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis. Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.




FM 2016: Formal Methods


Book Description

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.




Fusion and Integration of Clouds, Edges, and Devices


Book Description

This book provides an in-depth examination of recent research advances in cloud-edge-end computing, covering theory, technologies, architectures, methods, applications, and future research directions. It aims to present state-of-the-art models and optimization methods for fusing and integrating clouds, edges, and devices. Cloud-edge-end computing provides users with low-latency, high-reliability, and cost-effective services through the fusion and integration of clouds, edges, and devices. As a result, it is now widely used in various application scenarios. The book introduces the background and fundamental concepts of clouds, edges, and devices, and details the evolution, concepts, enabling technologies, architectures, and implementations of cloud-edge-end computing. It also examines different types of cloud-edge-end orchestrated systems and applications and discusses advanced performance modeling approaches, as well as the latest research on offloading and scheduling policies. It also covers resource management methods for optimizing application performance on cloud-edge-end orchestrated systems. The intended readers of this book are researchers, undergraduate and graduate students, and engineers interested in cloud computing, edge computing, and the Internet of Things. The knowledge of this book will enrich our readers to be at the forefront of cloud-edge-end computing.




Approximate Computing Techniques


Book Description

This book serves as a single-source reference to the latest advances in Approximate Computing (AxC), a promising technique for increasing performance or reducing the cost and power consumption of a computing system. The authors discuss the different AxC design and validation techniques, and their integration. They also describe real AxC applications, spanning from mobile to high performance computing and also safety-critical applications.




Scheduling Parallel Applications on Heterogeneous Distributed Systems


Book Description

This book focuses on scheduling algorithms for parallel applications on heterogeneous distributed systems, and addresses key scheduling requirements – high performance, low energy consumption, real time, and high reliability – from the perspectives of both theory and engineering practice. Further, it examines two typical application cases in automotive cyber-physical systems and cloud systems in detail, and discusses scheduling challenges in connection with resource costs, reliability and low energy. The book offers a comprehensive and systematic treatment of high-performance, low energy consumption, and high reliability issues on heterogeneous distributed systems, making it a particularly valuable resource for researchers, engineers and graduate students in the fields of computer science and engineering, information science and engineering, and automotive engineering, etc. The wealth of motivational examples with figures and tables make it easy to understand.




Contactless Vital Signs Monitoring


Book Description

Vital signs, such as heart rate and respiration rate, are useful to health monitoring because they can provide important physiological insights for medical diagnosis and well-being management. Most traditional methods for measuring vital signs require a person to wear biomedical devices, such as a capnometer, a pulse oximeter, or an electrocardiogram sensor. These contact-based technologies are inconvenient, cumbersome, and uncomfortable to use. There is a compelling need for technologies that enable contact-free, easily deployable, and long-term monitoring of vital signs for healthcare. Contactless Vital Signs Monitoring presents a systematic and in-depth review on the principles, methodologies, and opportunities of using different wavelengths of an electromagnetic spectrum to measure vital signs from the human face and body contactlessly. The volume brings together pioneering researchers active in the field to report the latest progress made, in an intensive and structured way. It also presents various healthcare applications using camera and radio frequency-based monitoring, from clinical care to home care, to sport training and automotive, such as patient/neonatal monitoring in intensive care units, general wards, emergency department triage, MR/CT cardiac and respiratory gating, sleep centers, baby/elderly care, fitness cardio training, driver monitoring in automotive settings, and more. This book will be an important educational source for biomedical researchers, AI healthcare researchers, computer vision researchers, wireless-sensing researchers, doctors/clinicians, physicians/psychologists, and medical equipment manufacturers. - Includes various contactless vital signs monitoring techniques, such as optical-based, radar-based, WiFi-based, RFID-based, and acoustic-based methods. - Presents a thorough introduction to the measurement principles, methodologies, healthcare applications, hardware set-ups, and systems for contactless measurement of vital signs using camera or RF sensors. - Presents the opportunities for the fusion of camera and RF sensors for contactless vital signs monitoring and healthcare.




Real-time Communication Protocols for Multi-hop Ad-hoc Networks


Book Description

This book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) and their integration into a flexible, versatile, fully operational, self-contained communication system. The use of wireless real-time communication technologies for the flexible networking of sensors, actuators, and controllers is a crucial building block for future production and control systems. WirelessHART and ISA 100.11a, two technologies that have been developed predominantly for industrial use, are currently available. However, a closer analysis of these approaches reveals certain deficits. Current research on wireless real-time communication systems shows potential to remove these limitations, resulting in flexible, versatile, and robust solutions that can be implemented on today’s low-cost and resource-constrained hardware platforms. Unlike other books on wireless communication, this book presents protocols located on MAC layer and above, and build on the physical (PHY) layer of standard wireless communication technologies.




Mathematical and Engineering Methods in Computer Science


Book Description

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).ioinformatics, recommender="" systems,="" high-performance="" and="" cloud="" computing,="" non-traditional="" computational="" models="" (quantum="" etc.).