FDL 2015 Proceedings

Share it now


The 2015 Forum on specification & Design Languages

September 14-16, 2015
Barcelona, Spain

 

FDL 2015 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 2014 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 2015 Program

FDL 2015 Proceedings (restricted access)

FDL 2015 Proceedings on IEEE Xplore

BibTex of FDL 2015 Proceedings

FDL 2015 Proceedings Publication Information

2015 Forum on specification and Design Languages (FDL), Barcelona, Spain, September 14-16, 2015

E-ISBN
979-10-92279-09-2

Print ISBN - IEEE Xplore
978-1-4673-7735-5

ISSN
1636-9874

Editors
Dr. Adam Morawiec
Sophie Cerisier

ECSI
Electronic Chips & Systems design Initiative

47, chemin de la Croze
38690 Belmont, France
office [at] ecsi [dot] org

Keynote : The Babel of Languages in Smart Systems Design (restricted access)

Franco Fummi, University of Verona, Italy

Session 1: Clocks and Their Applications 

Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification

Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone and Dominique Borrione

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

Temporal Decoupling with Error-Bounded Predictive Quantum Control

Georg Gläser, Gregor Nitsche and Eckhard Hennig

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

 

A Methodology for Inserting Clock-Management Strategies in Transaction-Level Models of System-on-Chips

Hend Affes, Michel Auguin, Francois Verdier and Alain Pegatoquet

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

Demo Night:  

Accelerating Coverage Collection for Mixed-Signal Systems in a UVM Environment

Sebastian Simon, Georg Pelz and Linus Maurer

Paper (restricted access)          Slides (restricted access)           Poster (restricted access)  

Clock Management and Analysis for Transaction-Level Virtual Prototypes

Amal Ben Ameur, Hend Affes, Michel Auguin and Francois Verdier

Paper (restricted access)          Slides (restricted access)         Poster (restricted access)

Fault-Injection Techniques for TLM-Based Virtual Prototypes

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello,
Kai Liu, Nadereh Hatami,Andreas von Schwerin and Hendrik Post

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core Systems

Khalid Latif, Charles Effiong, Abdoulaye Gamatie, Gilles Sassatelli, Leonardo Zordan, Luciano
Ost, Piotr Dziurzanski and Leandro Indrusiak

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Timing Correction Technique for Fast and Accurate State-Based Performance Models

Sebastien Le Nours

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Towards Certification-aware Fault Injection Methodologies Using Virtual Prototypes

Jaime Espinosa, David De Andrés, Juan Carlos Ruiz, Carles Hernandez and Jaume Abella

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Revisiting Regular Expressions in SyntHorus2: from PSL SEREs to Hardware

Fatemeh Javaheri, Katell Morin-Allory and Dominique Borrione

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Multi-threaded Virtual Platform Simulation: An Open-source Approach, Using SystemC
TLM-2.0, and QEMU

Guillaume Delbergue, Mark Burton, Bertrand Le Gal and Christophe Jego

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Beyond QBox: Development of Virtual Platforms Based on QEMU and SystemC TLM-2.0

Guillaume Delbergue, Mark Burton, Christophe Jego and Bertrand Le Gal

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Schedulability Analysis and Optimization in a Model-based Integrated Tool-chain

Laurent Rioux, Rafik Henia, Nicolas Sordon, Michael González Harbour, J. Javier Gutiérrez, Juan M. Rivas, César Cuevas, Jose M. Drake and Julio Medina

Paper (restricted access)          Slides (restricted access)         Poster (restricted access) 

Special Session 1: Power Aware Modelling and Design 

Modeling Power Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits

Xiao Pan, Javier Moreno and Christoph Grimm

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

WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks

Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda and Sebastien Tixeuil

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

 

Fine-grained Energy/Power Instrumentation for Software-level  Efficiency Optimization

David Greaves, Milos Puzovic, Ali Mustafa Zaidi, Klaus McDonald-Maier and Andrew Hopkins

Paper (restricted access)          Slides (restricted access)         

Session 2: FMI and SystemC-AMS  

Virtual Hardware-In-The-Loop Co-Simulation for Multi-Domain Automotive Systems via the Functional Mock-Up Interface

Robert Lajos Bücs, Luis Gabriel Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid, Andreas Ropers, Markus Wedler and Andreas Hoffmann

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

Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems

Martin Krammer, Helmut Martin, Zoran Radmilovic, Simon Erker and Michael Karner

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

 

Conservative Behavioural Modelling in SystemC-AMS

Sara Vinco, Michele Lora and Mark Zwolinski

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

Session 3: Design and Correctness   

A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators

Cristiano Bacelar De Oliveira, Ricardo Menotti, Joao Cardoso and Eduardo Marques

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

Towards a Toolchain for Assertion-Driven Test Sequence Generation

Laurence Pierre

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

 

Architectural System Modeling for Correct-by-Construction RTL Design

Joakim Urdahl, Dominik Stoffel and Wolfgang Kunz

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

 

Session 4: From MARTE Models to Initial Implementations   

Extensions to the UML Profile for MARTE for Distributed Embedded Systems

Emad Samuel Malki Ebeid, Julio Medina, Davide Quaglia and Franco Fummi

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

Building a Dynamically Reconfigurable System Through a High-Level Development Flow

David de La Fuente, Jesús Barba, Juan Carlos López, Xerach Peña, Pablo Peñil and Pablo Sanchez

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

Special Session 2: High Integrity Multi-Core Modelling for Future Systems (Hi-MCM)    

Mixed-Criticality System Modelling with Dynamic Execution Mode Switching

Philipp Ittershagen, Kim Gruettner and Wolfgang Nebel

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

Enhancing Analyzability and Time Predictability in UML/MARTE Component-based Application Models

Fernando Herrera, Pablo Peñil and Eugenio Villar

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

Temporal Independence Validation for IEC-61508 Compliant Mixed-Criticality Systems Based on Multicore Partitioning

Asier Larrucea Ortube, Irune Agirre, Carlos Fernando Nicolas, Jon Perez, Mikel Azkarate-Askasua and Ton Trapman

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

A Novel Design Method for Automotive Safety-Critical Systems Based on UML/MARTE

Ralph Weissnegger, Markus Pistauer, Christian Kreiner, Kay Roemer and Christian Steger

Paper (restricted access)          Slides (restricted access)         

Special Session 3: Towards Analog-/Mixed-Signal Coverage    

Symbolic Mixed-signal Simulation to Increase Coverage

Christoph Grimm, Carna Radojicic, Thiyagarajan Purusothaman

Paper (restricted access)          Slides (restricted access)         

Automatic Annotation of Properties to ESL SystemC Models and Accelerated Simulation

Georg Gläser and Eckhard Hennig

Paper (restricted access)          Slides (restricted access)         

Analog Mixed-Level Modeling for Accelerated Simulation to Increase the Analog Coverage

Hyun-Sek Lukas Lee, Markus Olbrich and Erich Barke 

Paper (restricted access)          Slides (restricted access)       

Detecting Design Flaws using Analog State Space Coverage 

Andreas Fürtig, Lars Hedrich

Paper (restricted access)          Slides (restricted access)       

AMS-/EF-Contracts – A Discussion of Contracts for AMS-Verification and AMS-Coverage-Analysis

Gregor Nitsche

Paper (restricted access)          Slides (restricted access)        

FDL 2015 List of Participants (restricted access)

 
Share it now