FDL 2011 Proceedings

Share it now


The 2011 Forum on specification & Design Languages

September 13-15, 2011
Oldenburg, Germany


FDL 2013 Proceedings are available to conference attendees and ECSI members only. Contact us to get your credentials. To find out more about becoming an ECSI member, please click here.

FDL articles prior to 2013 are open to the public. All other FDL materials are available for ECSI members, conference attendees, and presenters only. Please contact us at office [at] ecsi [dot] org to get your credentials. To find out more about becoming an ECSI member, please click here.

FDL 2011 Program

FDL 2011 Proceedings

FDL 2011 Proceedings on IEEE Xplore

BibTex of FDL 2011 Proceedings

2011 Forum on specification and Design Languages (FDL), Oldenburg, Germany, September 13-15, 2011

E-ISBN
978-2-9530504-3-1

Print ISBN - IEEE Xplore
978-1-4577-0763-6

ISSN
1636-9874

Editors
Dr. Adam Morawiec
Jinnie Hinderscheit
Orna Ghenassia

ECSI
Electronic Chips & Systems design Initiative

Parc Equation - 2, Avenue de Vignate
38610 Gières, France
office [at] ecsi [dot] org

Keynote 1: 2010 Wilson Research Group Functional Verification Industry Study
(restricted access)

Harry Foster, Mentor Graphics

Keynote 2: Components and Systems for Contactless and Wireless Parameter Monitoring and Control
(restricted access)

Gerald Holweg, Infineon Technologies

Keynote 3: Virtual Prototyping in the Design of Automotive In-vehicle Networking Electronics (restricted access)

Steffen Müller, NXP Semiconductors

EAMS 1: Design and Optimisation of Heterogeneous Systems

Designing Low-Power Wireless Sensor Networks

Joseph Wenninger, Javier Moreno, Jan Haase, and Christoph Grimm

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Behavioral Modeling of a CMOS Video Sensor Platform using SystemC AMS / TLM

Fabio Cenni, Serge Scotti, and Emmanuel Simeu

Paper           Slides (restricted access)         BibTex          IEEE Xplore

SystemC-AMS Model of a Dynamic Large-Scale Satellite-Based AIS-Like Network

Mu Zhou and Rene Van Leuken

Paper           Slides (restricted access)         BibTex          IEEE Xplore

EAMS 2: Circuit Modelling and Design

Abstract Modeling and Estimation of a High Performance Tobey's PGA

Sumit Adhikari, Christoph Grimm, and Jan Haase

Paper           Slides (restricted access)         BibTex          IEEE Xplore

VHDL-AMS Model of a Dual-Gate Graphene FET

Ime Umoh and Tom Kazmierski

Paper           Slides (restricted access)         BibTex          IEEE Xplore

A Machine-Readable Specification of Analog Circuits for Integration into a Validation Flow

Mingyu Ma, Lars Hedrich, and Christian Sporrer

Paper           Slides (restricted access)         BibTex          IEEE Xplore

ABD 1: Assertion-Based Technology for Verification and Synthesis

Improvement of Assertion-Based Verification through the Generation of Proper Test Sequences

Laurence Pierre and Laila Damri

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Does Asynchronous Technology Bring Robustness in Synchronous Circuit Monitoring?

Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet, and Alejandro Chagoya

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Assertion Support in High-Level Synthesis Design Flow

Aurélien Ribon, Bertrand Le Gal, Christophe Jego, and Dominique Dallet

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Integrated Model-Based Approach and Test Framework for Embedded Systems

Padma Iyenghar, Elke Pulvermueller, Clemens Westerkamp, and Juergen Wuebbelmann

Paper           Slides (restricted access)         BibTex          IEEE Xplore

A UML Based Framework for Efficient Validation of TLM 2 Models

Vaibhav Jain, Anshul Kumarand, and Preeti Ranjan Panda

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Invited Industrial Experience Report: Experiments on the Analysis from a Radio Protocol Application Modeling

Michel Bourdellès, François Dupont, Fabien Peureux, Thomas Vergnaud, and Shuai Li

UMES 2: MARTE at Work & Standardization Trends

A Framework for the Generation from UML/MARTE Models of IP-XACT HW Platform Descriptions for Multi-Level Performance

Fernando Herrera and Eugenio Villar

Paper           Slides (restricted access)         BibTex          IEEE Xplore

IP-XACT and MARTE Based Approach for Partially Reconfigurable Systems-on-Chip

Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbaniand, and Kamel Messaoudi

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Colocated Meeting: MARTE Users Group Current Standardization Trends: Towards an RFP for A Precise Semantics of UML Composite Structures

LBSD 1: Syntactic Sugar? - Language Design and Semantics

Bringing C++ Productivity to VHDL World: from Language Definition to a Case Study

Ivan Shcherbakov, Christian Weis, and Norbert When

Paper           Slides (restricted access)         BibTex          IEEE Xplore

A Metamodel and Semantics for Transaction Level Modeling

Rauf Salimi Khaligh and Martin Radetzki

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Schizophrenia and Causality in the Context of Refined Clocks (short presentation)

Mike Gemünde, Jens Brandt, and Klaus Schneider

Paper           Slides (restricted access)         BibTex          IEEE Xplore

A Generic Execution Model for Efficient Performance Evaluation of System Architectures at Transaction Level (short presentation)

Sebastien Le Nours, Anthony Barreteau, and Olivier Pasquier

Paper           Slides (restricted access)         BibTex          IEEE Xplore

LBSD 2: Hurry up! - Speedy Simulation Techniques

Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation

Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, and Sara Vinco

Paper           Slides (restricted access)         BibTex          IEEE Xplore

A Case Study on Message-Based Discrete Event Simulation for Transaction Level Modeling

Bastian Haetzer and Martin Radetzki

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Impact Simulation of Changes to Development Processes: An ESL Case Study

Frank Poppen, Roland Koppe, Kim Grüttner, and Axel Hahn

Paper           Slides (restricted access)         BibTex          IEEE Xplore

LBSD 3: In the End, Implement! - Design Refinement and Implementation

Efficient Realization of Control Logic in Reversible Circuits

Sebastian Offermann, Robert Wille, and Rolf Drechsler

Paper           Slides (restricted access)         BibTex          IEEE Xplore

SystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardware

Fernando Herrera, Eugenio Villar, and Philipp A. Hartmann

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Semi-Formal Refinement of Heterogeneous Embedded Systems by Foreign Model Integration
(short presentation)

Seyed Hosein Attarzadeh Niaki, and Ingo Sander

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Hardware Performance Estimation by Dynamic Scheduling (short presentation)

Pablo González De Aledo Marugán, Javier González-Bayón, and Pablo Sanchez

Paper           Slides (restricted access)         BibTex          IEEE Xplore

LBSD 4: Evaluate This! - System-Level Modelling and Evaluation

Integrating System Descriptions by Clocked Guarded Actions

Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla, and Jean-Pierre Talpin

Paper           Slides (restricted access)         BibTex          IEEE Xplore

ESL Power and Performance Estimation for Heterogeneous MPSoCs Using SystemC

Martin Streubühr, Rafael Rosales, Jürgen Teich, Ralph Hasholzner, and Christian Haubelt

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Analyzing Dependability Measures at the Electronic System Level

Marc Michael, Daniel Grosse, and Rolf Drechsler

Paper           Slides (restricted access)         BibTex          IEEE Xplore

Tutorial: High Level Synthesis: From C++ to VHDL

By CoSynth, Oldenburg, Germany, www.cosynth.com
organisers : Christian Stehno, Henning Kleen and Andreas Herrholz

Tutorial: Parallelize Your TLM Simulation of MPSoC on SMP Workstations!

ABD Panel: Assertions Propagation, Refinement and Reuse across Abstraction Levels and Description Languages

European SystemC Users’ Group Meeting

 

List of FDL 2011 Participants

Share it now