Embedded Software Verification and Debugging

Embedded Software Verification and Debugging

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 bot...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Lettnin, Djones (Επιμελητής έκδοσης), Winterholer, Markus (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York : Imprint: Springer, 2017.
Σειρά:	Embedded Systems,
Θέματα:	Engineering. Microprocessors. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Processor Architectures. Electronics and Microelectronics, Instrumentation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques /
ανά: Vermeulen, Bart, κ.ά.
Έκδοση: (2014)

Smart Multicore Embedded Systems
Έκδοση: (2014)

Embedded Systems Design with FPGAs
Έκδοση: (2013)

Introduction to Embedded Systems Using Microcontrollers and the MSP430 /
ανά: Jiménez, Manuel, κ.ά.
Έκδοση: (2014)

Embedded Systems Development From Functional Models to Implementations /
Έκδοση: (2014)

Dynamic Memory Management for Embedded Systems
ανά: Atienza Alonso, David, κ.ά.
Έκδοση: (2015)

Techniques for Building Timing-Predictable Embedded Systems
ανά: Guan, Nan
Έκδοση: (2016)

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach /
Έκδοση: (2013)

Embedded Systems Design with Special Arithmetic and Number Systems
Έκδοση: (2017)

Embedded Memory Design for Multi-Core and Systems on Chip
ανά: Mohammad, Baker
Έκδοση: (2014)

Engineering Embedded Systems Physics, Programs, Circuits /
ανά: Hintenaus, Peter
Έκδοση: (2015)

3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures /
ανά: Zatt, Bruno, κ.ά.
Έκδοση: (2013)

Embedded Systems Design for High-Speed Data Acquisition and Control
ανά: Di Paolo Emilio, Maurizio
Έκδοση: (2015)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
ανά: Moutinho, Filipe de Carvalho, κ.ά.
Έκδοση: (2016)

FPGAs for Software Programmers
Έκδοση: (2016)

Reliable Software for Unreliable Hardware A Cross Layer Perspective /
ανά: Rehman, Semeen, κ.ά.
Έκδοση: (2016)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R.
Έκδοση: (2013)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
ανά: Mohamed, Khaled Salah
Έκδοση: (2016)

Model-Based Design of Adaptive Embedded Systems
Έκδοση: (2013)

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap /
ανά: Castrillón Mazo, Jerónimo, κ.ά.
Έκδοση: (2014)

Scalable and Near-Optimal Design Space Exploration for Embedded Systems
ανά: Kritikakou, Angeliki, κ.ά.
Έκδοση: (2014)

Trusted Computing for Embedded Systems
Έκδοση: (2015)

Foundations of Hardware IP Protection
Έκδοση: (2017)

Digital Systems From Logic Gates to Processors /
ανά: Deschamps, Jean-Pierre, κ.ά.
Έκδοση: (2017)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
ανά: Martins, Ricardo, κ.ά.
Έκδοση: (2017)

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment /
Έκδοση: (2017)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
ανά: Chen, Xiaoming, κ.ά.
Έκδοση: (2017)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
ανά: Lourenço, Nuno, κ.ά.
Έκδοση: (2017)

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
ανά: Seiter, Julia, κ.ά.
Έκδοση: (2017)

Fundamentals of Computer Architecture and Design
ανά: Bindal, Ahmet
Έκδοση: (2017)

Model-Implementation Fidelity in Cyber Physical System Design
Έκδοση: (2017)

Designing with Xilinx® FPGAs Using Vivado /
Έκδοση: (2017)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 /
Έκδοση: (2015)

Arbitrary Modeling of TSVs for 3D Integrated Circuits
ανά: Salah, Khaled, κ.ά.
Έκδοση: (2015)

Multiprocessor Scheduling for Real-Time Systems
ανά: Baruah, Sanjoy, κ.ά.
Έκδοση: (2015)

FPGA Design Best Practices for Team-based Reuse /
ανά: Simpson, Philip Andrew
Έκδοση: (2015)

Wideband CMOS Receivers
Έκδοση: (2015)

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
ανά: Pangracious, Vinod, κ.ά.
Έκδοση: (2015)

Smart Systems Integration and Simulation
Έκδοση: (2016)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
ανά: Tlelo-Cuautle, Esteban, κ.ά.
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών