Read more
Zusatztext … This first volume of the handbook is an in-depth survey of embedded systems design and verification. This volume is essential reading especially for novices in this field for it provides a framework for the discussion of the design issues of embedded systems, formal methods, embedded systems architectures and security as well as web services. Also, the book may be highly recommended for professionals as well as lecturers and students of academic courses on the rapidly progressing field of networks-on-chips. — Zentralblatt MATH 1186 Informationen zum Autor Richard Zurawski is with ISA Group in San Francisco, California, and is involved in providing solutions to Fortune companies. Klappentext This volume comprehensively covers both fundamental and advanced topics as well as novel results and approaches. It describes the tools! methodologies! architectures! and languages behind the development of embedded systems! including models of computation! the Unified Modeling Language! Verilog! VHDL! OpenVera! Java! Esterel! the RealTime Application Interface! timing analysis! simulation-based methods! the modular performance analysis approach! and Tensilica Instruction Extension. It also focuses on the design of SoC and NoC! the implementation of effective security policies! and the devices profile for web services! which enables web service capabilities on resource-constraint devices. Zusammenfassung Offers an introduction to embedded systems design and verification. This book provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA. It explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices. Inhaltsverzeichnis System-Level Design and Verification. Embedded Processors and System-on-Chip Design. Embedded System Security and Web Services. Index.
