Monday, March 2, 2015

Forum on specification & Design Languages

Forum on specification & Design Languages



September 14-16, 2015 | Barcelona, Spain

FDL is an international forum to exchange experiences and promote new trends
in the application of languages, their associated design methods and tools
for the design of electronic systems. FDL stimulates scientific and
controversial discussions within and in-between scientific topics as
described below. The program structure includes research working sessions,
embedded tutorials, panels, and technical discussions. The Forum includes
tutorials and fringe meetings, such as user group or standardization
meetings. "Wild and Crazy Ideas" are also welcome. 

Authors are invited to submit manuscripts on topics including, but not
limited to:


Formalisms & Languages

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

Formal property checking, Modeling and Simulation 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

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 optimization; Model-Driven Engineering

Important Deadlines:

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

Proposals for Special Session:

Full Research Paper submission:

Other Contributions submission:

Notification of acceptance:

Camera ready papers:

March 22, 2015

May 4, 2015

June 10, 2015

July 4, 2015

August 12, 2015



Call for Special Sessions

Professionals are invited to submit proposals for Special Sessions. Special
Session should focus on a Topic which is of particular interest to the FDL
audience. Papers of Special Sessions may be included in the proceedings/IEEE
Xplore. If you are interested in organizing a Special Session, please submit
a brief proposal (no more than two pages) which describes the topic, the
intended audience, as well as a list of possible speakers to
<> The deadline for Special Session
proposals is March 22, 2015.


Authors should submit papers in double column, IEEE format as PDF through
the submission system:  <> Full Research Papers shall
not exceed 6-8 pages. Other Contributions like work in progress, wild &
crazy ideas, demo night abstracts, or user experiences shall not exceed 2-4
pages. Submitted papers should be anonymous, are required to describe
original unpublished work, and must not be under consideration for
publication elsewhere.


The conference proceedings will be published in electronic form with an ISSN
and ISBN number and made available on the ECSI website and submitted for
inclusion in IEEE Xplore. In addition, an edited collection of extended
versions of selected best papers will be published as a book by Springer.



 <> |  <>

General Chair: Julio Medina | Universidad de Cantabria, ES

Program Co-Chairs: Rolf Drechsler, Robert Wille | University of Bremen/DFKI,

Local Co-Chair: Francisco J. Cazorla, Carles Hernandez | 

Barcelona Supercomputing Center, ES

No comments: