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. The Forum is organized around four Thematic Areas (TA) described below and includes Industrial Special Sessions, tutorials, and fringe meetings - such as user group or standardization meetings, working sessions, panels, and technical discussions. Authors are invited to submit manuscripts on topics including, but not limited to:

1. AFM TA: Applications of Formal Methods for Specification, Verification and Debug
TA Chair: Dominique Borrione, TIMA

The AFM track addresses the support of system specification, verification and debug by the means of formal methods and assertions.

* Requirements specifications
* Specifications refinement
* Assertion-based design
* Automatic monitor and assertion generation
* Online monitoring infrastructures
* Specification of extra-functional properties
* Formal methods for test generation
* Formally-driven debug


2. EAMS TA: Embedded Analog and Mixed-Signal System Design
TA Chair: Christoph Grimm, TU Kaiserslautern

The EAMS track addresses language-based modelling and design techniques for embedded Analog and Mixed-Signal systems.

* Modeling of AMS, hybrid, multi-physical, cyber-physical, or multi-disciplinary systems
* Hardware Description Languages for Analog/Mixed-Signal Circuits and Systems
* Modeling Languages for hybrid, multi-physical,cyber-physical, multi-disciplinary systems
* Methods and languages for verification of AMS (hybrid, etc.) systems
* Methodologies for modeling and design of AMS (hybrid, etc.) systems
* Methods and models for Re-use


3. DES TA: Digital HW/SW Embedded Systems
TA Chair: Martin Radetzki, University of Stuttgart

The DES track addresses language-based modelling and design techniques for digital hardware/software embedded systems.

* System modelling and executable specification
* Efficient simulation techniques and tools
* Virtual prototyping, design validation and analysis
* Model transformation and system architecture synthesis
* Software synthesis and programming models for multi-core
* Testbench automation and debugging techniques
* Language standards, design flows, design methodology, case studies 


4. MDE TA: Model-Driven Engineering for Embedded Systems Design and Development
TA Chair: Julio Medina, University of Cantabria

The MDE track addresses the usage, definition, and standardization of conceptual modelling languages and methods for embedded systems.

* Architecture and system level modelling
* Model-based design (MATLAB-Simulink, Modelica, etc.)
* Modelling languages for real-time and embedded systems, performance analysis, validation and verification (MARTE, SDL, AADL, etc.)
* Tools, languages and frameworks for exploiting model-driven engineering on embedded systems
* UML and UML-based formalisms exploitation and standardization (SysML, MARTE, fUML, xUML, etc.)


INDUSTRIAL SPECIAL SESSIONS
ISS: Industrial Special Sessions for Case Studies
Industrial Special Sessions Chair: Gjalt de Jong, ArchWorks


IMPORTANT DATES
Industrial special session proposals deadline: 03 April 2013
Industrial special session proposals acceptance: 10 April 2013
Paper submission (regular and special sessions) deadline: 12 May 2013
22 May 2013 (extended)
Tutorial proposals deadline: 12 June 2013
Notification of acceptance: 24 June 2013
Camera ready papers & presenter registration: 26 July 2013
Proposals for on-site meetings: 30 August 2013



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, industrial case studies, or user experiences as short papers (2-4 pages, double column, IEEE format). Submitted papers should be anonymous, are required to describe original unpublished work and must not be under consideration for publication elsewhere.
Full submission requirements, templates, and submission instructions can be found at www.ecsi.org/fdl/submissions.

PUBLICATIONS
The conference proceedings will be published in electronic form with an ISSN and ISBN number and made available on the ECSI website and will be submitted for inclusion into 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, an edited collection of the selected best papers will be published by Springer.

EMBEDDED TUTORIALS
Proposals for half-day (4 hours) embedded tutorials on specific topics around any of the four Thematic Areas 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 fdl2013@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 the four TA tracks 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 fdl2013@ecsi.org. Companies, universities, or other organizations wishing to demonstrate innovative tools and environments for the topics described above should send proposals to fdl2013@ecsi.org.


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

FDL 2013 is organized with the techincal co-sponsorship of CEDA.