FDL 2013 Proceedings

Share it now


The 2013 Forum on specification & Design Languages

September 24-26, 2013
Paris, France

 

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 2013 Program

FDL 2013 Proceedings (restricted access)

FDL 2013 Proceedings on IEEE Xplore

BibTex of FDL 2013 Proceedings

FDL 2013 Proceedings Publication Information

2013 Forum on specification and Design Languages (FDL), Paris, France, September 24-26, 2013

E-ISBN
978-2-9530504-7-9

Print ISBN - IEEE Xplore
978-2-9530504-8-6

ISSN
1636-9874

Editors
Dr. Adam Morawiec
Jinnie Hinderscheit

ECSI
Electronic Chips & Systems design Initiative

47, chemin de la Croze
38690 Belmont, France

office [at] ecsi [dot] org

FDL 2013 Welcome

Keynote 1: Engineered System Design and Integration—A Semantic Domain for Modeling Cyber-physical Systems

Pieter J. Mosterman, MathWorks

Keynote 2: Making Data Flow, Dynamically  (restricted access)   

Twan Basten, Eindhoven University of Technology and TNO-ESI

Keynote 3: Formal Verification for Certifying Security IC in EAL7 Level (restricted access) 

Quang-Huy Nguyen, Trusted Labs

Invited Speaker: State-of-the art Embedded System Design (restricted access) 

Marleen Boonen, Methods2Business

 

Accellera Systems Initiative – The Value of EDA and IP Standards for Design and Verification (slides unavailable)

Chair: Martin Barnasconi, NXP Semiconductors
Speakers:
Laurent Maillet Contoz, STMicroelectronics, Presenter for IP-XACT
Martin Barnasconi, NXP Semiconductors (session chair), Presenter for SystemC AMS 2.0
Dennis Brophy, Mentor Graphics, Presenter UVM
Yatin Trivedi, Synopsys, Presenter other standards and IEEE program
 

Tutorial: Design of Energy-Aware Embedded Systems (restricted access) 

Organizers & Speakers:
Christoph Grimm, TU Kaiserslautern
Tom Kazmierski, University of Southampton
Jan Haase, TU Vienna

Tutorial: From Application Requirement to IP Requirement

Organizer: Marius Sida, Mentor Graphics
Chair: Marie-Minerve Louërat, UPMC LIP6
Authors:
Juergen Schaefer, Infineon
Michael Bierl, Mentor Graphics
Marius Sida, Mentor Graphics

Verification and Prototype Validation of Complex Heterogeneous Systems (restricted access) 

Chair: Karsten Einwich, Fraunhofer
Speakers:
Thang Nguyen, Infineon Austria
Ingmar Neumann, Continental TEVES AG & CO. oHG
Ronan Lucas, Magillem Design Services
Thilo Vörtler, Fraunhofer IIS/EAS

Getting Started with UVM (restricted access) 

Organizer: John Aynsley, Doulos
Presenter: Guillaume Joli, A.L.S.E., France

SystemVerilog: the New Standard

Why SystemVerilog?

Peter Flake (Elda Technology Ltd)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

The Unique Challenges of Debugging Design and Verification Code Jointly in SystemVerilog

Dave Rich (Mentor Graphics)

Paper (restricted access)          Slides (restricted access)        BibTex          IEEE Xplore

If SystemVerilog Is So Good, Why Do We Need the UVM?

Jonathan Bromley (Verilab)

Paper (restricted access)          Slides (restricted access)        BibTex          IEEE Xplore

AFM: Application of Formal Methods for Design Space Exploration and Refinement 

Optimal Component Selection for Energy-Efficient Systems

Matthias Sauppe, Thomas Horn, Erik Markert, and Ulrich Heinkel (TU Chemnitz), Hans-Werner Sahm and Klaus-Holger Otto (Alcatel-Lucent AG, Nuremberg)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Assisting Refinement in System-on-Chip Design

Mokrani Hocine, Ameur-Boulifa Rabéa (Telecom-ParisTech), and Emmanuelle Encrenaz (LIP6 / University Pierre et Marie Curie & CNRS)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Design Space Exploration for Cyber Physical System Design using Constraint Solving

Benny Höckner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer (Brandenburg University of Technology Cottbus), and Thilo Voertler (Fraunhofer IIS/EAS)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

AFM/EAMS: Verification of Heterogeneous Systems: Theory and Industrial Experiences

A New Assertion Property Language for Analog/Mixed-Signal Circuits

Dhanashree Kulkarni, Andrew Fisher, and Chris Myers (University of Utah)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Integrating Circuit Analyses for Assertion-based Verification of Programmable AMS Circuits

Dogan Ulus, Alper Sen, and Faik Baskaya (Bogazici University)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

How to survive the Verification of the latest generation of Automotive System On Chip

Arnaud Laroche and Jerome Kirscher (Infineon)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

A Novel Approach for Assertion Based Verification of DDR Memory Protocols

Moustafa Kassem, Mohamed Abdelsalam, Marianne Michel, and Ashraf Salem (Mentor Graphics)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

EAMS 1: Modeling Communication and Circuit’s Behavior 

Hybrid Dynamical Systems for Memristor Modelling

Joachim Haase and André Lange (Fraunhofer IIS/EAS)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Event-Driven (RN) Modeling for AMS Circuits

Serge Garcia Sabiro (Mentor Graphics)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Modeling of Signal Integrity in Bus Communications with Timed Data Flow SystemC-AMS

Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, and Patrick Garda (LIP6 - UPMC)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

EAMS 2: Model Generation for Embedded Analog/Mixed-Signal Systems 

Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS

Daniel Chaves Café (Supelec), Filipe Vinci Dos Santos (Thales), Cécile Hardebolle, Christophe Jacquet, and Frédéric Boulanger(Supelec)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
(short presentation)

Franco Fummi, Michele Lora, Francesco Stefanni, and Sara Vinco (University of Verona)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Modeling the Analog Circuit Design Feature Variety

Cristian Ferent and Alex Doboli (State University of New York at Stony Brook)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

 

Fine-grain Adaptation for Real Time Embedded Systems using UML/MARTE Profile

Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor (University of Sfax, ENIS, CES Laboratory),  Mickaël Kerboeuf (University of Brest), and Mohamed Abid (University of Sfax, ENIS, CES Laboratory)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Performance Analysis Method for RT Systems: ProMARTES for Autonomous Robot

Konstantinos Triantafyllidis, Egor Bondarev, and Peter H. De With (Technische Universiteit Eindhoven)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Split of Composite Components for Distributed Applications
Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard (CEA-LIST), and Brahim Hamid (University of Toulouse)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

MDE 2: Model Driven Engineering at Work

A Formal Verification Framework for BlueSpec System Verilog

Samir Ouchani, Otmane Aït Mohamed, and Mourad Debbabi (Concordia University)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

A Function Approach for Simple Wireless Sensor Node Energy Consumption Modeling

Aina Andriamampianina Randrianarisaina, Olivier Pasquier and Pascal Chargé (IETR, University of Nantes)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Model-Driven Design for the Development of Multi-Platform Smartphone Applications

Giulio Botturi, Emad Samuel Malki Ebeid, Franco Fummi, and Davide Quaglia, (University of Verona)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

DES 1: SystemC Infrastructure and Extensions 

SystemC Transaction Level Modeling with Transaction Events (Best Papaer Award)

Bastian Haetzer and Martin Radetzki (University Stuttgart)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

SystemC-Clang: An Open-source Framework for Analyzing Mixed-abstraction SystemC Models

Anirudh Kaushik and Hiren D. Patel (University of Waterloo)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Advanced Features for Industry-Level Logging and Tracing of C-based Designs
Wei Hong, Jyoti Joshi, and Alexander Viehl (FZI-Forschungszentrum Informatik Karlsruhe), Nico Bannow, Angela Kramer, and Hendrik Post (Robert Bosch GmbH), Oliver Bringmann and Wolfgang Rosenstiel (University of Tuebingen)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

 

Rapid Virtual Prototyping of Real-Time Systems using Predictable Platform Characterizations

Seyed Hosein Attarzadeh Niaki, Marcus Mikulca, and Ingo Sander (Sweden Royal Institute of Technology - KTH)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Graph-based Approach for Software Allocation in Automotive Networked Embedded Systems: A Partition-and-Map Algorithm

Yasser Shoukry (Ain Shams University), Ajay Kumar, M. Watheq El-Kharashi, Ghada Bahig (Mentor Graphics), and Sherif Hammad (Ain Shams University)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Representing Mapping and Scheduling Decisions within Dataflow Graphs

Christian Zebelein and Christian Haubelt (University of Rostock), Joachim Falk, Tobias Schwarzer, and Jürgen Teich (University of Erlangen-Nuremberg)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

DES 3: Simulation, Analysis and Validation 

Fine Grained Adaptive Simulation With Application to NoCs

Marcus Eggenberger and Martin Radetzki (University of Stuttgart)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Combining Analytical and Simulation-based Design Space Exploration for Time-Critical Systems

Fernando Herrera and Ingo Sander (Sweden Royal Institute of Technology - KTH)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation

Liyuan Zhang, Michael Glass, Jürgen Teich, and Nils Ballmann (University of Erlangen-Nuremberg)

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

 

European SystemC Users’ Group Meeting

FDL 2013 List of Participants (restricted access)

 

Share it now