Building computers that can be used to design embedded real-time systems is the subject of this title. Real-time embedded software requires increasingly higher performances. The authors therefore consider processors that implement advanced mechanisms such as pipelining, out-of-order execution, branch prediction, cache memories, multi-threading, multicorearchitectures, etc. The authors of this book investigate the timepredictability of such schemes.
This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline constraints, and how to use closed-form mathematical approaches to characterize highly variable workloads and their interaction in a networked environment. Readers will learn how to deal with unpredictable timing behaviors of computer systems on different levels of system granularity and abstraction.
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions. 2 workshop papers (VEFRE) are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from fully integrated, self-powered embedded systems up to high-performance computing systems. It also provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including heterogeneous computing, memory optimizations, and organic computing.
Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the failure of the system, being vital for systems like planes, cars, business monitoring, e-trading, etc. High-Performance and Time-Predictable Embedded Computing presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds. Technical topics discussed in the book include: Parallel embedded platformsProgramming modelsMapping and scheduling of parallel computationsTiming and schedulability analysisRuntimes and operating systems The work reflected in this book was done in the scope of the European project P‑SOCRATES, funded under the FP7 framework program of the European Commission. High-performance and time-predictable embedded computing is ideal for personnel in computer/communication/embedded industries as well as academic staff and master/research students in computer science, embedded systems, cyber-physical systems and internet-of-things.
The increasing demand of processing a higher number of applications and related data on computing platforms has resulted in reliance on multi-/many-core chips as they facilitate parallel processing. However, there is a desire for these platforms to be energy-efficient and reliable, and they need to perform secure computations for the interest of the whole community. This book provides perspectives on the aforementioned aspects from leading researchers in terms of state-of-the-art contributions and upcoming trends.
Speed improvements in memory systems have not kept pace with the speed improvements of processors, leading to embedded systems whose performance is limited by the memory. This book presents design techniques for fast, energy-efficient and timing-predictable memory systems that achieve high performance and low energy consumption. In addition, the use of scratchpad memories significantly improves the timing predictability of the entire system, leading to tighter worst case execution time bounds.
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008. The 19 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers cover a wide spectrum reaching from pre-fabrication adaptation of architectural templates to dynamic run-time adaptation of deployed systems with special focus on adaptivity and adaptive system architectures. The papers are organized in topical sections on hardware design, pervasive computing, network processors and memory management, reconfigurable hardware, real-time architectures, organic computing, and computer architecture.
Reliability prediction of a software product is complex due to interdependence and interactions among components and the difficulty of representing this behavior with tractable models. Models developed by making simplifying assumptions about the software structure may be easy to use, but their result may be far from what happens in reality. Making assumptions closer to the reality, which allows complex interactions and interdependences among components, results in models that are too complex to use. Their results may also be too difficult to interpret. The reliability prediction problem is worsened by the lack of precise information on the behavior of components and their interactions, information that is relevant for reliability modeling. Usually, the interactions are not known precisely because of subtle undocumented side effects. Without accurate precise information, even mathematically correct models will not yield accurate reliability predictions. Deriving the necessary information from program code is not practical if not impossible. This is because the code contains too much implementation detail to be useful in creating a tractable model. It is also difficult to analyze system reliability completely based on the program code. This book documents the resulting novel approach of designing, specifying, and describing the behavior of software systems in a way that helps to predict their reliability from the reliability of the components and their interactions. The design approach is named design for reliability predictability (DRP). It integrates design for change, precise behavioral documentation and structure based reliability prediction to achieve improved reliability prediction of software systems. The specification and documentation approach builds upon precise behavioral specification of interfaces using the trace function method (TFM). It also introduces a number of structure functions or connection documents. These functions capture both the static and dynamic behaviors of component based software systems. They are used as a basis for a novel document driven structure based reliability prediction model. System reliability assessment is studied in at least three levels: component reliability, which is assumed to be known; interaction reliability, a novel approach to studying software reliability; and service reliability, whose estimation is the primary objective of reliability assessment. System reliability can be expressed as a function of service reliability. A mobile streaming system, designed and developed by the author as an industrial product, is used as a case study to demonstrate the application of the approach.
The history of flight started with the pioneer era. The introduction of mechanical controls (including hydraulics) then led to the second era. Later, with the utilization of computers and automation in aircraft, we reached the third era. Now, we are moving towards the fourth era of flight, namely Flight 4.0, which is characterized by “smart” and “connected” aircraft that extensively exploit emerging information and communication technologies. Aeronautical informatics is advancing rapidly through the synergy between information and communication technologies and aeronautics. Multi-core avionic platforms, wireless avionics networking, service-oriented architectures and IoT, data sciences and semantic infrastructures are shaping systems to come. Increasing autonomy requirements are challenging the community to investigate new ways to assure safety. Modern software engineering methodologies and real-time software techniques are altering the established development practice. Universities are starting to align their aerospace engineering and computer science curriculums in order to address this synergy. This book is a unique compilation of advancements in aeronautical informatics, introducing the changing technology landscape of flight with respect to a new push in information and communication technology.
