posted by user: ECSI_Association || 1939 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

SAC PL 2017   ACM SAC'17 PL Track
SDL Forum 2017   SDL Forum
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
CLEF 2017   Conference and Labs of the Evaluation Forum Information. Access Evaluation meets Multilinguality, Multimodality and Interaction
IEEE WCNC 2018   IEEE Wireless Communications and Networking Conference
APLAS 2017   15th Asian Symposium on Programming Languages and Systems
PSSV 2017   Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering