FDL 2014 : Forum on specification and Design Languages
Conference Series : Forum on specification and Design Languages
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
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
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
REQUIREMENTS FOR SUBMISSIONS
REGULAR AND SHORT PAPERS FOR ALL SESSIONS
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 www.ecsi.org/fdl.
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 email@example.com. A maximum of three tutorial authors is recommended. Accepted tutorials will get one free registration to the Forum per tutorial.
PANELS, WORKING GROUPS, PROJECT MEETINGS, DEMONSTRATIONS
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 firstname.lastname@example.org. Companies, universities, or other organizations wishing to demonstrate innovative tools and environments for the topics described above should send proposals to email@example.com.
ECSI – European Electronic Chips & Systems design Initiative