Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
Autor Corporativo: | |
---|---|
Otros Autores: | |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Lecture Notes in Electrical Engineering,
36 |
Materias: | |
Acceso en línea: | https://doi.org/10.1007/978-1-4020-9714-0 |
Tabla de Contenidos:
- 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.