Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

AvMartin Radetzki

Inbunden, Engelska, 2009

Del i serien Lecture Notes in Electrical Engineering

1 620 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages.

Produktinformation

Utgivningsdatum:2009-04-30
Mått:155 x 235 x 32 mm
Vikt:644 g
Format:Inbunden
Språk:Engelska
Serie:Lecture Notes in Electrical Engineering
Antal sidor:324
Upplaga:2009
Förlag:Springer-Verlag New York Inc.
ISBN:9781402097133

Utforska kategorier

Innehållsförteckning

Model-Based System Specification Languages.- Power and Energy Estimations in Model-Based Design.- MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.- Generation of MARTE Allocation Models from Activity Threads.- Model-Driven System Validation by Scenarios.- An Advanced Simulink Verification Flow Using SystemC.- Languages for Heterogeneous System Design.- VHDL–AMS Implementation of a Numerical Ballistic CNT Model.- Wide-Band Sigma–Delta ADC Design in Superconducting Technology.- Heterogeneous and Non-linear Modeling in SystemC–AMS.- Digital Systems Design Methodologies Based on C++.- Application Workload and SystemC Platform Modeling for Performance Evaluation.- Adaptive Interconnect Models for Transaction-Level Simulation.- Efficient Architecture Evaluation Using Functional Mapping.- Symbolic Scheduling of SystemC Dataflow Designs.- SystemC Simulation of Networked Embedded Systems.- Modeling of Embedded Software Multitasking in SystemC/OSSS.- High-Level Reconfiguration Modeling in SystemC.- Stream Programming for FPGAs.- Verification and Requirements Evaluation.- A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.- Debugging Contradictory Constraints in Constraint-Based Random Simulation.- Design of Communication Infrastructures for Reconfigurable Systems.- Analysis of Non-functional Properties of MPSoC Designs.