Description |
1 online resource (xiv, 324 pages) : illustrations |
Series |
Lecture notes in electrical engineering ; v. 36 |
|
Lecture notes in electrical engineering ; v. 36.
|
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 |
Summary |
Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages. The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL'08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation |
Analysis |
engineering |
|
systeemanalyse |
|
systems analysis |
|
elektronica |
|
electronics |
|
instrumentatie |
|
instrumentation |
|
simulatiemodellen |
|
simulation models |
|
circuits |
|
systemen |
|
systems |
|
programmeertalen |
|
programming languages |
|
Engineering (General) |
|
Techniek (algemeen) |
Bibliography |
Includes bibliographical references |
Notes |
Print version record |
Subject |
Computer hardware description languages -- Congresses
|
|
Embedded computer systems -- Design and construction -- Congresses
|
|
Computer hardware description languages.
|
|
Embedded computer systems -- Design and construction.
|
|
Ingénierie.
|
|
Computer hardware description languages
|
|
Embedded computer systems -- Design and construction
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Radetzki, Martin
|
|
FDL'08 (2006 : Stuttgart, Germany)
|
ISBN |
9781402097140 |
|
140209714X |
|
9781402097133 |
|
1402097131 |
|