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

FDL 2014 : Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: http://www.ecsi.org/fdl
 
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

IMPORTANT DATES
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.

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

EMBEDDED TUTORIALS
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 fdl@ecsi.org. 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 fdl@ecsi.org. Companies, universities, or other organizations wishing to demonstrate innovative tools and environments for the topics described above should send proposals to fdl@ecsi.org.

SECRETARIAT
ECSI – European Electronic Chips & Systems design Initiative
office@ecsi.org
fdl@ecsi.org
www.ecsi.org/fdl

Related Resources

PLDI 2018   Programming Language Design and Implementation
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
Persuasive 2018   The annual conference on Persuasive Technology 2018 Waterloo Canada
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
NATP 2017   3rd International Conference on Natural Language Processing
FIRE 2017   Ninth meeting of the Forum for Information Retrieval Evaluation
ICDES 2018   2018 3rd International Conference on Design Engineering and Science (ICDES 2018)
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
RDA 2018   2018 Internationl Conference on Robotics: Design and Applications (RDA 2018)