Call for WiP and Other Contributions

Share it now

FDL 2015
Forum on specification & Design Languages

September 14-16, 2015
Barcelona, Spain


CALL FOR PAPERS - Work in Progress Papers, Demo Night Abstracts  and Other Contributions (PDF)
Extended Deadline June 24, 2015

Contributions to a special Work-in-Progress (WiP) session of FDL 2015 are sought. The FDL 2015 WiP session will be devoted to the presentation of new and on-going research in the application of languages, their associated design methods and tools for the design of electronic systems. We are especially interested in new and creative ideas and approaches. Contributors to the WiP session will be asked to give a short presentation of their work and prepare a poster for the WiP discussion forum that will be held just after the presentations.

The primary purpose of this session is to provide researchers with an opportunity to discuss their evolving ideas and gather feedback from he FDL community at large.

Also, during the FDL 2015 Demo Night, universities and public research institutes are invited to demonstrate their hardware platforms, prototypes, methodologies, and tools. Industrial researchers may also present user experiences or use cases. The goal of this event is to present ongoing research results, collaborative projects and to show demonstrations. FDL Demo Night includes a reception with a casual atmosphere conducive to fruitful discussions and networking. This is the perfect space to discuss and introduce to our community wild and crazy ideas that may well become  real in the years to come...

Demos or Presentations at the Demo Night will be accompanied by an extended abstract describing the demo and/or associated work, which will be included in the FDL Conference Proceedings.

Presenters may bring with them a poster (no larger than A0) for making more attractive their presentations, in such case please let us know in advance to set up a suitable place for it. The Demo Night participation is included in the conference registration fee.


Accepted WiP papers, and Demo Night abstracts will be included in the conference proceedings and will be published in electronic form with an ISSN and ISBN number. The FDL proceedings will be available on the ECSI website.

Submissions dealing with all aspects of design and specification languages stated in the FDL Call for Papers are welcome. These include, but are not limited to:

Formalisms & Languages for …

  • Requirements and Property specification (RSLs, PSLs, SVA, …)
  • Extra-functional specification (timing, power, temperature, aging, …)
  • Multi-domain parallel applications in dynamic real-time environments
  • Models of computation
    • Automata (xFSM, …)
    • Networks (Process Networks, Petri Nets, Task Networks, …)
  • Platform modelling and abstraction
    • Transaction level modelling
    • Run-time system and middleware abstraction
  • Model and component-based design (UML, SysML, MARTE, …)
  • Advanced language extensions for SLDLs (SystemC(-AMS), Modelica, VHDL-AMS, SystemVerilog, Verilog-AMS, …)

Tools & Techniques for efficient …
  • Formal property checking
  • Simulation & formal checking of functional and extra-functional properties
  • Parallel simulation
  • High-level hardware and software synthesis
  • Testbench automation and coverage monitoring
  • Design space exploration and virtual prototyping
  • Scheduling & real-time analysis

Design Flows & Methodologies covering …
  • Horizontal and vertical virtual integration testing
  • Requirements engineering and traceability
  • Mixed critical embedded applications on multi-core multi-CPU SoCs
  • Power and performance
  • Safety and security
  • Heterogeneous (mixed-signal/multiphysical) component integration
  • Multi-objective optimisation
  • Model-driven Engineering

Trending Topics
Besides the established topic areas listed above, we are also looking for contributions in domains which have explicitly been advocated by the FDL community for this year, namely:

Methodology: Formal Models / Formal Verification, System Engineering (Specification, Requirements), Analog Mixed Signal and Multiphysical Embedded Systems, Parallel Processing, Power and Performance Modelling, Universal Verification Methodology, Device models for new technologies.

Applications: Internet of Things (including M2M communication), Mixed Criticality Embedded Systems, Verification of Autonomous Driving, Automatic Driving and Driver Assistance



WiP and Other Contributions submission deadline: June 24, 2015
Notification of acceptance: July 4, 2015
Camera ready papers & presenter registration: August 12, 2015
FDL 2015 Conference: September 14-16, 2015





Submissions to FDL WiP should describe original on-going work. The material must be unpublished and not under submission elsewhere. Authors are encouraged to outline work-in-progress as short papers (2-4 pages, double column, IEEE format). Papers exceeding the maximum length will not be reviewed.

By submitting a paper, the authors agree and confirm that: neither this paper nor a similar version is under submission elsewhere or will be submitted elsewhere before the FDL WiP 2015 notification date, July 4. At least one author, or qualified surrogate, will register and present the paper at the conference in person. A single registration covers no more than one paper.

Demo Night presenters should submit their abstracts (maximum length 2 pages, double-column IEEE format) in PDF through the web based submission system (


ECSI – European Electronic Chips & Systems design Initiative
office [at] ecsi [dot] org
fdl [at] ecsi [dot] org

General Chair:
Julio Medina,
Universidad de Cantabria, ES

Program Co-Chairs:
Rolf Drechsler, Robert Wille,
University of Bremen/DFKI, DE
Local Co-Chair:
Francisco J. Cazorla, Carles Hernandez
Barcelona Supercomputing Center, ES


FDL 2015 is organized with the techincal co-sponsorship of CEDA.

Share it now