Forum on specification & Design Languages
FDL 2017 Call for Papers
Call for papers in pdf format is available here.
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.
For all of these tracks, electronic systems of interest to FDL include (but once again are not limited to) those that are used in internet-of-things (IoT), cyber-physical systems (CPS), mixed criticality embedded systems, automatic driving and driver assistance, real-time systems, reconfigurable and secure computing.
We welcome authors to submit manuscripts on topics including, but not limited to:
LFBDM: Language- and Formalism-Based Design Methodologies
This track seeks novel research contributions that employ languages and formalisms in the design, test, verification, and simulation of modern day electronic systems. These contributions may consist of (but are not limited to) the use of requirements and property specifications (RSLs, PSLs, SVA, ...), models of computations, automata (xFSM), networks (process networks, petri nets, task networks), model and component-based design (UML, SysML, MARTE, ...), platform modeling and abstraction, and system-level design languages (SystemC(-AMS), Modelica, VHDL-AMS, SystemVerilog, Verilog-AMS,...).
TUMA: Techniques that Use Modern Architectures
This track seeks research contributions demonstrating effective techniques that use state-of-the-art computing architectures for the design and verification of electronic systems. Examples may include (but not limited to) parallel simulation, compilers with support for multi/many-core and heterogeneous (GPUs, FPGAs) architectures, high-level hardware and software synthesis, virtual prototyping, and design space exploration.
TIRA: Tools and Industry-Relevant Applications
This track solicits contributions that present authors' experiences in designing applications that are relevant to electronic systems industries. The contributions should focus on applications that identify valuable design, test, simulation and verification practices for applications of the future. The contributions may also demonstrate effective use of tools for successfully developing the industryrelevant applications.
Special Sessions: Mar 31, 2017
Abstract Deadline: Apr 28, 2017
Paper Deadline: May 5, 2017
Other Contributions: Jun 2, 2017
Author Notification: Jul 3, 2017
Final Version: Jul 28, 2017
Authors should submit papers in double column, IEEE format as PDF through the submission system. A full research paper must be a minimum of 6 pages and a maximum of 8 pages. Other contributions shall not exceed 2-4 pages. Submitted papers must be anonymous (double blind), must describe original unpublished work, and must not be under consideration for publication elsewhere.
Conference proceedings will be published in electronic form with an ISSN and an ISBN number and made available on the ECSI website and on IEEE Xplore. In addition, an edited collection of extended versions of selected best papers will be published as a book by Springer. Accepted papers must be presented by one of the authors. A full registration for each paper is required prior to the camera ready papers deadline.
The FDL proceedings are also published in the Web-of-Science / Thomson-Reuters.
Call for Special Sessions:
Special Sessions should focus on a topic which is of particular interest to the FDL audience. Papers of Special Sessions may be included in the ECSI proceedings and/or IEEE Xplore depending on their quality. People interested in organizing a Special Session must 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 fdl [at] ecsi [dot] org.
A Ph.D. school on embedded systems modeling and design will be organized during the FDL week. Students of the school will be admitted to FDL.