posted by user: ECSI_Association || 1475 views || tracked by 5 users: [display]

FDL 2014 : Forum on specification and Design Languages


Conference Series : Forum on specification and Design Languages
When Oct 14, 2014 - Oct 16, 2014
Where Munich, Germany
Submission Deadline May 5, 2014
Notification Due Jun 30, 2014
Final Version Due Jul 28, 2014
Categories    specification languages   applications of formal methods   verification and debug   embedded analog and mixed sign

Call For Papers

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 welcome.

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

Formalisms & Languages for …

Requirements and Property specification (RSLs, PSLs, SVA, …)
Multi-physics 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, …)

Tools & Techniques for efficient …

Formal property checking
Simulation of functional and extra-functional properties
Parallel simulation
High-level hardware and software synthesis
Testbench automation and cCoverage 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 component integration
Multi-objective optimisation

Paper submission deadline: 05 May 2014
Tutorial proposals deadline: 16 June 2014
Notification of acceptance: 30 June 2014
Camera ready papers & presenter registration: 28 July 2014
Proposals for on-site meetings: 29 September 2014


Regular papers (6-8 pages, double column, IEEE format) should provide comprehensive details on innovative and complete research or applicative work with evidence of experimental results. Regular papers may also include proposals for standardization. Authors are encouraged to outline work in progress, as short papers (2-4 pages, double column, IEEE format). Submitted papers are required to describe original unpublished work and must not be under consideration for publication elsewhere. Submissions must be fully anonymous, but authors should not hide previous work, instead, they need to make self-references in third person. Full submission requirements, templates, and submission instructions can be found at

Each submission will receive at least three independent double blind reviews from the members of our scientific committee. Authors of accepted papers must address those comments in the camera ready version and present it in the conference prior to its publication. 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 the IEEE Xplore Digital Library. Paper and keynote presentation slides and tutorial documents will be made available to ECSI members and conference attendees after the conference (subject to confidentiality issues). In addition, extended versions of selected best papers will be published as a book by Springer.

Proposals for half-day (4 hours) embedded tutorials on specific topics around any of the key topics named above will be accepted depending on topic relevance and evidence of a comprehensive agenda. A one page description of the tutorial including title, presenters, contents, and the relevant track(s) should be sent to A maximum of three tutorial authors is recommended. Accepted tutorials will get one free registration to the Forum per tutorial.

Proposal for panels, working sessions, standardization, or user group meetings around any of topics are invited and will be accepted depending on their relevance and interest to the audience. They will be embedded in the regular program. A one page description including title, participants, contents, and the relevant track(s) should be sent to Companies, universities, or other organizations wishing to demonstrate innovative tools and environments for the topics described above should send proposals to

ECSI – European Electronic Chips & Systems design Initiative

Related Resources

FDL 2016   Forum on specification & Design Languages
SAC PL 2017   ACM SAC'17 PL Track
TASE 2016   10th International Symposium on Theoretical Aspects of Software Engineering
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
ASPLOS 2017   22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IWCLUL 2017   International Workshop for Computational Linguistics of Uralic Languages
ICMMD 2017   2017 International Conference on Mechatronics and Mechanical Design (ICMMD 2017)-Scopus, Ei
RNMDA 2017   Special Issue on “Resilient Networks : Modeling, Design, and Applications”, Digital Communications and Networks, Elsevier
ECDMO 2017   European Conference on Design, Modeling and Optimization (ECDMO 2017)-EI Compendex, Scopus, and ISI CPCS
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process