دانلود کتاب Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

فهرست مطالب :

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
Power and Energy Estimations in Model-Based Design....Pages 3-26
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains....Pages 27-41
Generation of MARTE Allocation Models from Activity Threads....Pages 43-56
Model-Driven System Validation by Scenarios....Pages 57-69
An Advanced Simulink Verification Flow Using SystemC....Pages 71-84
Front Matter....Pages 85-85
VHDL–AMS Implementation of a Numerical Ballistic CNT Model....Pages 87-100
Wide-Band Sigma–Delta ADC Design in Superconducting Technology....Pages 101-112
Heterogeneous and Non-linear Modeling in SystemC–AMS....Pages 113-128
Front Matter....Pages 129-129
Application Workload and SystemC Platform Modeling for Performance Evaluation....Pages 131-147
Adaptive Interconnect Models for Transaction-Level Simulation....Pages 149-165
Efficient Architecture Evaluation Using Functional Mapping....Pages 167-182
Symbolic Scheduling of SystemC Dataflow Designs....Pages 183-199
SystemC Simulation of Networked Embedded Systems....Pages 201-211
Modeling of Embedded Software Multitasking in SystemC/OSSS....Pages 213-226
High-Level Reconfiguration Modeling in SystemC....Pages 227-240
Stream Programming for FPGAs....Pages 241-253
Front Matter....Pages 255-255
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level....Pages 257-272
Debugging Contradictory Constraints in Constraint-Based Random Simulation....Pages 273-290
Design of Communication Infrastructures for Reconfigurable Systems....Pages 291-307
Analysis of Non-functional Properties of MPSoC Designs....Pages 309-324