Forum on specification & Design Languages, Paris, Frankreich

Abbrevation

FDL

Link

http://www.ecsi.org/fdl

City

Paris

Country

France

Deadline Paper

2013-05-12

Start Date

2013-09-24

End Date

2013-09-26

Abstract

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