Software And System Development Using Virtual Platforms

Virtual platforms are finding widespread use in both pre- and post-silicon computer software and system development. They reduce time to market, improve system quality, make development more efficient, and enable truly concurrent hardware/software design and bring-up. Virtual platforms increase productivity with unparalleled inspection, configuration, and injection capabilities. In combination with other types of simulators, they provide full-system simulations where computer systems can be tested together with the environment in which they operate. This book is not only about what simulation is and why it is important, it will also cover the methods of building and using simulators for computer-based systems. Inside you’ll find a comprehensive book about simulation best practice and design patterns, using Simics as its base along with real-life examples to get the most out of your Simics implementation. You’ll learn about: Simics architecture, model-driven development, virtual platform modelling, networking, contiguous integration, debugging, reverse execution, simulator integration, workflow optimization, tool automation, and much more. Distills decades of experience in using and building virtual platforms to help readers realize the full potential of virtual platform simulation Covers modeling related use-cases including devices, systems, extensions, and fault injection Explains how simulations can influence software development, debugging, system configuration, networking, and more Discusses how to build complete full-system simulation systems from a mix of simulators

The availability of inexpensive, custom, highly integrated circuits is enabling some very powerful systems that bring together sensors, smart phones, wearables, cloud computing, and other technologies. To design these types of complex systems we are advocating a top-down simulation methodology to identify problems early. This approach enables software development to start prior to expensive chip and hardware development. We call the overall approach virtual design. This book explains why simulation has become important for chip design and provides an introduction to some of the simulation methods used. The audio lifelogging research project demonstrates the virtual design process in practice. The goals of this book are to: explain how silicon design has become more closely involved with system design; show how virtual design enables top down design; explain the utility of simulation at different abstraction levels; show how open source simulation software was used in audio lifelogging. The target audience for this book are faculty, engineers, and students who are interested in developing digital devices for Internet of Things (IoT) types of products.

The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings. The 98 revised full papers presented in these proceedings were carefully reviewed and selected from 297 submissions. The papers are organized in the following topical sections: Part I: Computing Solutions, Data Intelligence Part II: Sustainability, Ethics, Security, and Privacy Part III: Applications of Computational Mathematics to Simulation and Data Analysis (ACMaSDA 2023), Challenges and the Impact of Communication and Information Technologies on Education (CICITE 2023), Workshop on Gamification Application and Technologies (GAT 2023), Bridging Knowledge in a Fragmented World (glossaLAB 2023), Intelligent Systems for Health and Medical Care (ISHMC 2023), Intelligent Systems for Health and Medical Care (ISHMC 2023), Intelligent Systems in Forensic Engineering (ISIFE 2023), International Symposium on Technological Innovations for Industry and Soci-ety (ISTIIS 2023), International Workshop on Electronic and Telecommunications (IWET 2023), Innovation in Educational Technology (JIUTE 2023), Smart Tourism and Information Systems (SMARTTIS 2023).

Intelligent technical systems are networked, embedded systems incorporating real-time capacities that are able to interact with and adapt to their environments. These systems need innovative approaches in order to meet requirements like cost, size, power and memory consumption, as well as real-time compliance and security. Intelligent Technical Systems covers different levels like multimedia systems, embedded programming, middleware platforms, sensor networks and autonomous systems and applications for intelligent engineering. Each level is discussed by a set of original articles summarizing the state of the art and presenting a concrete application; they include a deep discussion of their model and explain all design decisions relevant to obtain a mature solution.

This book presents the edited proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2017), which was held on May 24–26, 2017 in Wuhan, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, share their experiences and exchange new ideas and information. The research results included relate to all aspects (theory, applications and tools) of computer and information science, and discuss the practical challenges encountered and the solutions adopted to solve them. The work selected represents 17 of the most promising papers from the conference, written by authors who are certain to make further significant contributions to the field of computer and information science.

This book describes the benefits and drawbacks inherent in the use of virtual platforms (VPs) to perform fast and early soft error assessment of multicore systems. The authors show that VPs provide engineers with appropriate means to investigate new and more efficient fault injection and mitigation techniques. Coverage also includes the use of machine learning techniques (e.g., linear regression) to speed-up the soft error evaluation process by pinpointing parameters (e.g., architectural) with the most substantial impact on the software stack dependability. This book provides valuable information and insight through more than 3 million individual scenarios and 2 million simulation-hours. Further, this book explores machine learning techniques usage to navigate large fault injection datasets.

Software-Hardware Integration in Automotive Product Development brings together a must-read set of technical papers on one the most talked-about subjects among industry experts The carefully selected content of this book demonstrates how leading companies, universities, and organizations have developed methodologies, tools, and technologies to integrate, verify, and validate hardware and software systems. The automotive industry is no different, with the future of its product development lying in the timely integration of these chiefly electronic and mechanical systems. The integration activities cross both product type and engineering discipline boundaries to include chip-, embedded board-, and network/vehicle-level systems. Integration, verification, and validation of each of these three domains are examined in depth, attesting to the difficulties of this phase of the automotive hardware and software system life cycle. The current state of the art is to integrate, verify, validate, and test automotive hardware and software with a complement of physical hardware and virtual software prototyping tools. The growth of sophisticated software tools, sometimes combined with hardware-in-the-loop devices, has allowed the automotive industry to meet shrinking time-to-market, decreasing costs, and increasing safety demands. It is also why most of the papers in this book focus on virtual systems, prototypes, and models to emulate and simulate both hardware and software. Further, such tools and techniques are the way that hardware and software systems can be “co-verified” and tested in a concurrent fashion. The goal of this compilation of expert articles is to reveal the similarities and differences between the integration, verification, and validation (IVV) of hardware and software at the chip, board, and network levels. This comparative study will reveal the common IVV thread among the different, but ultimately related, implementations of hardware and software systems. In so doing, it supports the larger systems engineering approach for the vertically integrated automobile—namely, that of model-driven development.

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.