Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erlautert. Ausgewahlte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausfuhrlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalitat ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches."

This book constitutes the refereed proceedings of the 17th International Conference on Information Security Practice and Experience, ISPEC 2022, held in Taipei, Taiwan, in November 2022. The 33 full papers together with 2 invited papers included in this volume were carefully reviewed and selected from 87 submissions. The main goal of the conference is to promote research on new information security technologies, including their applications and their integration with IT systems in various vertical sectors.

Learn to solve the unprecedented challenges facing Online Learning and Adaptive Signal Processing in this concise, intuitive text. The ever-increasing amount of data generated every day requires new strategies to tackle issues such as: combining data from a large number of sensors; improving spectral usage, utilizing multiple-antennas with adaptive capabilities; or learning from signals placed on graphs, generating unstructured data. Solutions to all of these and more are described in a condensed and unified way, enabling you to expose valuable information from data and signals in a fast and economical way. The up-to-date techniques explained here can be implemented in simple electronic hardware, or as part of multi-purpose systems. Also featuring alternative explanations for online learning, including newly developed methods and data selection, and several easily implemented algorithms, this one-of-a-kind book is an ideal resource for graduate students, researchers, and professionals in online learning and adaptive filtering.

Perception of human beings has evolved from natural biosensor to powerful sensors and sensor networks. In sensor networks, trillions of devices are interconnected and sense a broad spectrum of contexts for human beings, laying the foundation of Internet of Things (IoT). However, sensor technologies have several limitations relating to deployment cost and usability, which render them unacceptable for practical use. Consequently, the pursuit of convenience in human perception necessitates a wireless, sensorless and contactless sensing paradigm. Recent decades have witnessed rapid developments in wireless sensing technologies, in which sensors detect wireless signals (such as acoustic, light, and radio frequency) originally designed for data transmission or lighting. By analyzing the signal measurements on the receiver end, channel characteristics can be obtained to convey the sensing results. Currently, significant effort is being devoted to employing the ambient Wi-Fi, RFID, Bluetooth, ZigBee, and television signals for smart wireless sensing, eliminating the need for dedicated sensors and promoting the prospect of the Artificial Intelligence of Things (AIoT). This book provides a comprehensive and in-depth discussion of wireless sensing technologies. Specifically, with a particular focus on Wi-Fi-based sensing for understanding human behavior, it adopts a top-down approach to introduce three key topics: human detection, localization, and activity recognition. Presenting the latest advances in smart wireless sensing based on an extensive review of state-of-the-art research, it promotes the further development of this area and also contributes to interdisciplinary research.

This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogota, Colombia, in November/December 2022. The 39 papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; Simulation; and Applications.

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

The two-volume set LNAI 13725 and 13726 constitutes the proceedings of the 18th International Conference on Advanced Data Mining and Applications, ADMA 2022, which took place in Brisbane, Queensland, Australia, in November 2022. The 72 papers presented in the proceedings were carefully reviewed and selected from 198 submissions. The contributions were organized in topical sections as follows: Finance and Healthcare; Web and IoT Applications; On-device Application; Other Applications; Pattern Mining; Graph Mining; Text Mining; Image, Multimedia and Time Series Data Mining; Classification, Clustering and Recommendation; Multi-objective, Optimization, Augmentation, and Database; and Others.

This book is issued from a 30 years' experience on the presentation of variational methods to successive generations of students and researchers in Engineering. It gives a comprehensive, pedagogical and engineer-oriented presentation of the foundations of variational methods and of their use in numerical problems of Engineering. Particular applications to linear and nonlinear systems of equations, differential equations, optimization and control are presented. MATLAB programs illustrate the implementation and make the book suitable as a textbook and for self-study. The evolution of knowledge, of the engineering studies and of the society in general has led to a change of focus from students and researchers. New generations of students and researchers do not have the same relations to mathematics as the previous ones. In the particular case of variational methods, the presentations used in the past are not adapted to the previous knowledge, the language and the centers of interest of the new generations. Since these methods remain a core knowledge - thus essential - in many fields (Physics, Engineering, Applied Mathematics, Economics, Image analysis ...), a new presentation is necessary in order to address variational methods to the actual context.

The book provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are essential for successful test projects. Setting the right course prevents problems from the outset and highlights the need for action in software testing. In addition to theoretical basics, this work shows the implementation in practice and deals with typical problems. Frank Witte explains the decisive aspects to be considered in the test concept in order to optimally support and accompany the test process. This book is a translation of the original German 1st edition Strategie, Planung und Organisation von Testprozessen by Frank Witte, Springer Fachmedien Wiesbaden GmbH, part of Springer Nature in 2020. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Resilience Engineering (RE) studies have successfully identified and described many instances of resilient performance in high hazard sectors as well as in the far more frequent cases where people and organisations cope with the uncertainties of daily operations. Since RE was first described in 2006, a steady accumulation of insights and efforts have provided the basis for practical tools and methods. This development has been documented by a series of texts in the Resilience Engineering Perspectives series as well as by a growing number of papers and reports. This book encapsulates the essential practical lessons learned from the use of Resilience Engineering (RE) for over ten years. The main contents are a series of chapters written by those who have been instrumental in these applications. To increase the value for the reader, each chapter will include: rationale for the overall approach; data sought and reason(s) for choosing; data sources used, data analyses performed, and how recommendations were made and turned into practice. Serving as a reference for practitioners who want to analyse, support, and manage resilient performance, this book also advances research into RE by inquiring why work goes well in unpredictable environments, to improve work performance, or compensate for deficiencies.

The 4-volume set LNCS 13534, 13535, 13536 and 13537 constitutes the refereed proceedings of the 5th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2022, held in Shenzhen, China, in November 2022. The 233 full papers presented were carefully reviewed and selected from 564 submissions. The papers have been organized in the following topical sections: Theories and Feature Extraction; Machine learning, Multimedia and Multimodal; Optimization and Neural Network and Deep Learning; Biomedical Image Processing and Analysis; Pattern Classification and Clustering; 3D Computer Vision and Reconstruction, Robots and Autonomous Driving; Recognition, Remote Sensing; Vision Analysis and Understanding; Image Processing and Low-level Vision; Object Detection, Segmentation and Tracking.

The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools for major managerial decisions related to the software development process. It features a broad range of topics including software reliability assessment and apportionment, optimal allocation and selection decisions and upgradations problems. It moves through a variety of problems related to the evolving field of optimization of software reliability engineering, including software release time, resource allocating, budget planning and warranty models, which are each explored in depth in dedicated chapters. This book provides a comprehensive insight into present-day practices in software reliability engineering, making it relevant to students, researchers, academics and practising consultants and engineers.

This book constitutes the proceedings of the 5th International Conference, ICC3 2021, held in Coimbatore, India, during December 16-18, 2021. The 14 full papers included in this book were carefully reviewed and selected from 84 submissions. They were organized in topical sections as follows: computational intelligence; cyber security; and computational models.

Emerging machine learning techniques bring new opportunities to flexible network control and management. This book focuses on using state-of-the-art machine learning-based approaches to improve the performance of Software-Defined Networking (SDN). It will apply several innovative machine learning methods (e.g., Deep Reinforcement Learning, Multi-Agent Reinforcement Learning, and Graph Neural Network) to traffic engineering and controller load balancing in software-defined wide area networks, as well as flow scheduling, coflow scheduling, and flow migration for network function virtualization in software-defined data center networks. It helps readers reflect on several practical problems of deploying SDN and learn how to solve the problems by taking advantage of existing machine learning techniques. The book elaborates on the formulation of each problem, explains design details for each scheme, and provides solutions by running mathematical optimization processes, conducting simulated experiments, and analyzing the experimental results.

This book constitutes the proceedings of the 11th International Congress on Telematics and Computing, WITCOM 2022, held in Cancun, Mexico, in November 2022. The 30 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The papers are focused on the topics of artificial intelligence techniques, Data Science, Blockchain, environment Monitoring, Cybersecurity, Education, and software for communications protocols.

This book constitutes the refereed proceedings of the 44th DAGM German Conference on Pattern Recognition, DAGM GCPR 2022, which was held during September 27 - 30, 2022.The 37 papers presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: machine learning methods; unsupervised, semi-supervised and transfer learning; interpretable machine learning; low-level vision and computational photography; motion, pose estimation and tracking; 3D vision and stereo; detection and recognition; language and vision; scene understanding; photogrammetry and remote sensing; pattern recognition in the life and natural sciences; systems and applications.

This book includes extended and revised selected papers from the 10th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2021, and 7th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2021, held as virtual event, in April 28-30, 2021. The conference was held virtually due to the COVID-19 crisis. The 22 full papers included in this book were carefully reviewed and selected from 140 submissions. The papers present research on advances and applications in the fields of smart cities, electric vehicles, sustainable computing and communications, energy aware systems and technologies, intelligent vehicle technologies, intelligent transport systems and infrastructure, connected vehicles.

The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022. The conference took place in Copenhagen, Denmark, in a hybrid mode.The 104 full papers and 6 poster papers presented in these proceedings were carefully reviewed and selected from 562 submissions. They were organized in topical sections as follows: Part I: Blockchain security; privacy; crypto; attacks; sidechannels; Part II: Anonymity; cloud security; access control; authentication; digital signatures; IoT security; applications; Part III: Formal analysis; Web security; hardware security; multiparty computation; ML techniques; cyber-physical systems security; network and software security; posters.

This book constitutes selected and revised papers of the 9th International Conference, SENSORNETS 2020, Valletta, Malta, held in February 2020, and the 10th International Conference, SENSORNETS 2021, held virtually in February 2021. The 7 full papers presented were carefully reviewed and selected from 60 submissions. They focus in all aspects of sensor networks, including hardware of sensor networks, wireless communication protocols, sensor networks software, hardware and architectures, wireless information networks, channel characterization, data manipulation, signal processing, localization and object tracking through sensor networks, modelling and simulation, applications and uses.

This book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29-31, 2022. The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.

This open access book aims to educate data space designers to understand what is required to create a successful data space. It explores cutting-edge theory, technologies, methodologies, and best practices for data spaces for both industrial and personal data and provides the reader with a basis for understanding the design, deployment, and future directions of data spaces. The book captures the early lessons and experience in creating data spaces. It arranges these contributions into three parts covering design, deployment, and future directions respectively. The first part explores the design space of data spaces. The single chapters detail the organisational design for data spaces, data platforms, data governance federated learning, personal data sharing, data marketplaces, and hybrid artificial intelligence for data spaces. The second part describes the use of data spaces within real-world deployments. Its chapters are co-authored with industry experts and include case studies of data spaces in sectors including industry 4.0, food safety, FinTech, health care, and energy. The third and final part details future directions for data spaces, including challenges and opportunities for common European data spaces and privacy-preserving techniques for trustworthy data sharing. The book is of interest to two primary audiences: first, researchers interested in data management and data sharing, and second, practitioners and industry experts engaged in data-driven systems where the sharing and exchange of data within an ecosystem are critical.

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.

From one of the best-known and successful authors in the field comes this new edition of Digital Logic and State Machine Design. The text is concise and practical, and covers the important area of digital system design specifically for undergraduates. Comer's primary goal is to illustrate that sequential circuits can be designed using state machine techniques. These methods apply to sequential circuit design as efficiently as Boolean algebra and Karnaugh mapping methods apply to combinatorial design. After presenting the techniques, Comer proceeds directly into designing digital systems. This task consists of producing the schematic or block diagram of the system based on nothing more than a given set of specifications. The design serves as the basis for the construction of the actual hardware system. In the new Third Edition, Comer introduces state machines earlier than in previous editions, and adds entire chapters on programmable logic devices and computer organization.

This book describes how we can design and make efficient processors for high-performance computing, AI, and data science. Although there are many textbooks on the design of processors we do not have a widely accepted definition of the efficiency of a general-purpose computer architecture. Without a definition of the efficiency, it is difficult to make scientific approach to the processor design. In this book, a clear definition of efficiency is given and thus a scientific approach for processor design is made possible. In chapter 2, the history of the development of high-performance processor is overviewed, to discuss what quantity we can use to measure the efficiency of these processors. The proposed quantity is the ratio between the minimum possible energy consumption and the actual energy consumption for a given application using a given semiconductor technology. In chapter 3, whether or not this quantity can be used in practice is discussed, for many real-world applications. In chapter 4, general-purpose processors in the past and present are discussed from this viewpoint. In chapter 5, how we can actually design processors with near-optimal efficiencies is described, and in chapter 6 how we can program such processors. This book gives a new way to look at the field of the design of high-performance processors.