posted by user: ECSI_Events || 2554 views || tracked by 3 users: [display]

FDL 2013 : Forum on specification and Design Languages


Conference Series : Forum on specification and Design Languages
When Sep 24, 2013 - Sep 26, 2013
Where Paris, France
Submission Deadline May 22, 2013
Categories    specification languages   verification and debug   embedded analog mixed signal   digital hw/sw embedded systems

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

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

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


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

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.

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

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

Related Resources

FDL 2023   Forum on specification and Design Languages
ICCAD 2023   IEEE/ACM International Conference on Computer-Aided Design
2DMATFORUM 2024   International Forum on 2D Materials and Graphene
EAI DLI 2023   8th EAI International Conference on Design, Learning & Innovation
SAMDE 2023   2023 5th International Symposium on Automation, Mechanical and Design Engineering (SAMDE 2023)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Spring)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
CALCO 2023   Conference on Algebra and Coalgebra in Computer Science
DARCH23 APRIL 2023   4th International Conference on Architecture and Design