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

FDL 2013 : Forum on specification and Design Languages

FacebookTwitterLinkedInGoogle


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


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.

Related Resources

ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
PLDI 2018   Programming Language Design and Implementation
Persuasive 2018   The annual conference on Persuasive Technology 2018 Waterloo Canada
ICDES 2018   2018 3rd International Conference on Design Engineering and Science (ICDES 2018)
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
RDA 2018   2018 International Conference on Robotics: Design and Applications (RDA 2018)
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
NATP 2017   3rd International Conference on Natural Language Processing
ECDMO - Ei & Scopus 2018   2018 2nd European Conference on Design, Modeling and Optimization (ECDMO 2018)--EI Compendex, Scopus