Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[fdl-2] FDL > Extended Paper Submission Deadline - May 22! > Forum on specification & Design Languages > Paris, Sept 24-26, 2013
1 view
Skip to first unread message
in...@ecsi.org
May 8, 2013, 12:40:15 PM5/8/13
to
[http://www.ecsi.org//sites/default/files/images/FDL-logo-223x83px.gif]<http://www.ecsi.org/fdl>
FDL
September 24-26, 2013
Paris France
www.ecsi.org/fdl<http://www.ecsi.org/fdl>
fdl...@ecsi.org<mailto:fdl...@ecsi.org>
General Chair:
Marie-Minerve Louërat, LIP6 UPMC
General Co-Chair:
Torsten Mähne, LIP6 UPMC
Call for Contributions
Extended Deadline!
Paper Submission Deadline: May 12, 2013 May 22, 2013
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 working sessions, embedded tutorials, panels, and technical discussions. The Forum includes Industrial Special Sessions, tutorials, and fringe meetings, such as user group or standardization meetings. Authors are invited to submit manuscripts on topics including, but not limited to:
AFM TA: Applications of Formal Methods for Specification, Verification and Debug
TA Chair:Dominique Borrione, TIMA
* 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
DES TA: Digital HW/SW Embedded Systems
TA Chair:Martin Radetzki, University of Stuttgart
* 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
EAMS TA: Embedded Analog and Mixed-Signal System Design
TA Chair:Christoph Grimm, TU Kaiserslautern
* 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
MDE TA: Model-Driven Engineering for Embedded Systems Design and Development
TA Chair:Julio Medina, University of Cantabria
* 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 for Case Studies
Industrial Special Sessions Chair: Gjalt de Jong, ArchWorks
FDL 2013 features three special sessions. Session details can be found at http://www.ecsi.org/fdl/industrial-special-sessions.
Accellera Systems Initiative -The value of EDA and IP standards for design and verification
Chair: Martin Barnasconi, NXP Semiconductors
Verification and Prototype Validation ofComplex Heterogeneous Systems
Chair: Karsten Einwich, Fraunhofer
We encourage submitting contributions that highlight industrial state of the art, as well as discuss the current bottle necks in system verification.
Why System Verilog?
Chair: Peter Flake, Elda Technologies, Kaiming Ho, Fraunhofer
We encourage submitting contributions that highlight industrial state of the art, as well as discuss the current bottle necks in system verification using, e.g., SystemC-AMS, SystemVerilog, and UVM.
IMPORTANT DATES
Paper submission (regular and special sessions) deadline:
12 May 201322 May, 2013
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 AND SHORT PAPERSFOR 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<http://www.ecsi.org/fdl>.
PUBLICATIONS
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, 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 fdl...@ecsi.org<mailto: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 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 fdl...@ecsi.org<mailto: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<mailto:fdl...@ecsi.org>.
FDL
September 24-26, 2013
Paris France
www.ecsi.org/fdl<http://www.ecsi.org/fdl>
fdl...@ecsi.org<mailto:fdl...@ecsi.org>
General Chair:
Marie-Minerve Louërat, LIP6 UPMC
General Co-Chair:
Torsten Mähne, LIP6 UPMC
Call for Contributions
Extended Deadline!
Paper Submission Deadline: May 12, 2013 May 22, 2013
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 working sessions, embedded tutorials, panels, and technical discussions. The Forum includes Industrial Special Sessions, tutorials, and fringe meetings, such as user group or standardization meetings. Authors are invited to submit manuscripts on topics including, but not limited to:
AFM TA: Applications of Formal Methods for Specification, Verification and Debug
TA Chair:Dominique Borrione, TIMA
* 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
DES TA: Digital HW/SW Embedded Systems
TA Chair:Martin Radetzki, University of Stuttgart
* 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
EAMS TA: Embedded Analog and Mixed-Signal System Design
TA Chair:Christoph Grimm, TU Kaiserslautern
* 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
MDE TA: Model-Driven Engineering for Embedded Systems Design and Development
TA Chair:Julio Medina, University of Cantabria
* 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 for Case Studies
Industrial Special Sessions Chair: Gjalt de Jong, ArchWorks
FDL 2013 features three special sessions. Session details can be found at http://www.ecsi.org/fdl/industrial-special-sessions.
Accellera Systems Initiative -The value of EDA and IP standards for design and verification
Chair: Martin Barnasconi, NXP Semiconductors
Verification and Prototype Validation ofComplex Heterogeneous Systems
Chair: Karsten Einwich, Fraunhofer
We encourage submitting contributions that highlight industrial state of the art, as well as discuss the current bottle necks in system verification.
Why System Verilog?
Chair: Peter Flake, Elda Technologies, Kaiming Ho, Fraunhofer
We encourage submitting contributions that highlight industrial state of the art, as well as discuss the current bottle necks in system verification using, e.g., SystemC-AMS, SystemVerilog, and UVM.
IMPORTANT DATES
Paper submission (regular and special sessions) deadline:
12 May 201322 May, 2013
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 AND SHORT PAPERSFOR 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<http://www.ecsi.org/fdl>.
PUBLICATIONS
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, 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 fdl...@ecsi.org<mailto: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 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 fdl...@ecsi.org<mailto: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<mailto:fdl...@ecsi.org>.
0 new messages