Beschreibung
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems and mixed-technology systems.
Autorenporträt
InhaltsangabeIntroduction.- Optimal Component Selection for Energy-Efficient Systems.- Assisting Refinement in System-on-Chip Design.- A New Assertion Property Language for Analog/Mixed-Signal Circuits.- Integrating Circuit Analyses for Assertion-based Verification of Programmable AMS Circuits.- Hybrid Dynamical Systems for Memristor Modelling.- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity.- SystemC Transaction Level Modeling with Transaction Events.- Rapid Virtual Prototyping of Real-Time Systems using Predictable Platform Characterizations.- Combining Analytical and Simulation-based Design Space Exploration for Time-Critical Systems.- Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation.- Graph-based Approach for Software Allocation in Automotive Networked Embedded Systems: A Partition-and-Map Algorithm.- Fine Grained Adaptive Simulation with Application to NoCs.- Fine-grain Adaptation for Real Time Embedded Systems using UML/MARTE Profile.- Split of Composite Components for Distributed Applications.- Performance Analysis Method for RT Systems: ProMARTES for Autonomous Robot.- Conclusion.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
