Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2009.
|
| Edition: | 1st ed. 2009. |
| Series: | Lecture Notes in Electrical Engineering,
36 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-1-4020-9714-0 |
Table of Contents:
- 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.