Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems


Book Description

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Among others, the techniques cover source code and assembly level optimizations, exploit machine learning techniques and address the design of modern systems that have to meet multiple objectives. Using these optimizations, the WCET of real-time applications can be reduced by about 30% to 45% on the average. This opens opportunities for decreasing clock speeds, costs and energy consumption of embedded processors. The proposed techniques can be used for all types real-time systems, including automotive and avionics IT systems.




Advances on P2P, Parallel, Grid, Cloud and Internet Computing


Book Description

This book presents the latest research findings, as well as innovative theoretical and practical research results, methods and development techniques related to P2P, grid, cloud and Internet computing. It also reveals the synergies among such large scale computing paradigms. P2P, Grid, Cloud and Internet computing technologies have rapidly become established as breakthrough paradigms for solving complex problems by enabling aggregation and sharing of an increasing variety of distributed computational resources on a large scale. Grid computing originated as a paradigm for high-performance computing, offering an alternative to expensive supercomputers through different forms of large-scale distributed computing. P2P computing emerged as a new paradigm following on from client-server and web-based computing and has proved useful in the development of social networking, B2B (Business to Business), B2C (Business to Consumer), B2G (Business to Government), and B2E (Business to Employee). Cloud computing has been described as a “computing paradigm where the boundaries of computing are determined by economic rationale rather than technical limits”. Cloud computing has fast become the computing paradigm with applicability and adoption in all domains and providing utility computing at large scale. Lastly, Internet computing is the basis of any large-scale distributed computing paradigm; it has very quickly developed into a vast and flourishing field with enormous impact on today’s information societies and serving as a universal platform comprising a large variety of computing forms such as grid, P2P, cloud and mobile computing.




Embedded Software


Book Description

Among the various types of software, Embedded Software is a class of its own: it ensures critical missions and if wrongly designed it can disturb the human organization, lead to large losses, injure or kill many people. Updates are difficult and rather expensive or even impossible. Designing Embedded Software needs to include quality in the development process, but economic competition requires designing less expensive products. This book addresses Embedded Software developers, Software Quality Engineers, Team Leaders, Project Managers, and R&D Managers. The book we will introduce Embedded Software, languages, tools and hardware. Then, we will discuss the challenges of Software Quality. Software Development life cycles will be presented with their advantages and disadvantages. Main standards and norms related to software and safety will be discussed. Next, we will detail the major development processes and propose a set of processes compliant with CMMI-DEV, SPICE, and SPICE- HIS. Agile methods as well as DO-178C and ISO 26262 will have specific focus when necessary. To finish, we will promote quality tools needed for capitalization and reaching software excellence.




High-Performance and Time-Predictable Embedded Computing


Book Description

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.




Time-Predictable Architectures


Book Description

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.




A Journey of Embedded and Cyber-Physical Systems


Book Description

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.




Architecture of Computing Systems – ARCS 2018


Book Description

This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018. The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions. 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 embedded and real-time systems all the way to large-scale and parallel systems.




Advances in Technical Diagnostics II


Book Description

This book reports on recent theories and methods for diagnostics and condition monitoring of machines, materials and industrial processes, with a special emphasis on the application of artificial intelligence and intelligent control systems. Gathering original contributions to the 7th International Congress on Technical Diagnostics, ICTD2022, held on September 14–16, 2022, in Radom, Poland, this book offers extensive information on the latest trends in machine diagnostics and on IoT, smart sensors and machine learning technology in advanced condition monitoring. It addresses both scientists and professionals and is intended to foster communication and collaborations between the two groups.




Designing Embedded Processors


Book Description

To the hard-pressed systems designer this book will come as a godsend. It is a hands-on guide to the many ways in which processor-based systems are designed to allow low power devices. Covering a huge range of topics, and co-authored by some of the field’s top practitioners, the book provides a good starting point for engineers in the area, and to research students embarking upon work on embedded systems and architectures.




Issues in Computer Programming: 2013 Edition


Book Description

Issues in Computer Programming / 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensive information about Computer Simulation. The editors have built Issues in Computer Programming: 2013 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Computer Simulation in this book to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Computer Programming: 2013 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.