Model-Implementation Fidelity in Cyber Physical System Design

✍ Scribed by Anca Molnos, Christian Fabre (eds.)

Publisher: Springer International Publishing
Year: 2017
Tongue: English
Leaves: 244
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.

✦ Table of Contents

Front Matter....Pages i-xii
Building Faithful Embedded Systems Models: Challenges and Opportunities....Pages 1-24
Resource-Driven Modelling for Managing Model Fidelity....Pages 25-55
Empowering Mixed-Criticality System Engineers in the Dark Silicon Era: Towards Power and Temperature Analysis of Heterogeneous MPSoCs at System Level....Pages 57-90
Throughput-Driven Parallel Embedded Software Synthesis from Synchronous Dataflow Models: Caveats and Remedies....Pages 91-127
SimSoC: A Fast, Proven Faithful, Full System Virtual Prototyping Framework....Pages 129-156
A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications....Pages 157-174
Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application....Pages 175-199
Positioning System for Recreated Reality Applications Based on High-Performance Video-Processing....Pages 201-230
Back Matter....Pages 231-236

✦ Subjects

Circuits and Systems;Processor Architectures;Electronics and Microelectronics, Instrumentation

📜 SIMILAR VOLUMES

Cyber-Physical Systems: Advances in Desi

📁 Cyber-Physical Systems: Advances in Design & Modelling

✍ Alla G. Kravets; Alexander A. Bolshakov; Maxim V. Shcherbakov 📂 Library 📅 2019 🏛 Springer Nature 🌐 English

This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes. To enhance the efficiency of the design process, it proposes new approa

Cyber-Physical Systems: Advances in Desi

📁 Cyber-Physical Systems: Advances in Design & Modelling

✍ Alla G. Kravets, Alexander A. Bolshakov, Maxim V. Shcherbakov 📂 Library 📅 2020 🏛 Springer International Publishing 🌐 English

This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes. To enhance the efficiency of the design process, it proposes new app

Model Checking (Cyber Physical Systems S

📁 Model Checking (Cyber Physical Systems Series)

✍ Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith 📂 Library 📅 2018 🏛 The MIT Press 🌐 English

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract

Design Automation of Cyber-Physical Syst

📁 Design Automation of Cyber-Physical Systems

✍ Mohammad Abdullah Al Faruque, Arquimedes Canedo 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case stud

Cyber-Physical Systems: A Model-Based Ap

📁 Cyber-Physical Systems: A Model-Based Approach

✍ Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg 📂 Library 📅 2020 🏛 Springer 🌐 English

<div>In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a wa

Cyber-Physical Systems: A Model-Based Ap

📁 Cyber-Physical Systems: A Model-Based Approach

✍ Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg 📂 Library 📅 2020 🏛 Springer 🌐 English