ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

FDL 2018 - International Forum on specification & Design Languages 2018

Date2018-09-10 - 2018-09-12


VenueMunich, Germany Germany

KeywordsDesign languages; Formal methods; Simulation validation


Topics/Call fo 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. FDL stimulates scientific and controversial discussions within and in-between scientific topics as described below.
The program structure includes research working sessions, embedded tutorials, panels, and technical discussions. The forum includes tutorials and fringe meetings, such as user group or standardization meetings. “Wild and Crazy Ideas” are also welcome.
For all of these tracks, electronic systems of interest to FDL include (but once again are not limited to) those that are used in internet-of-things (IoT), cyber-physical systems (CPS), mixed criticality embedded systems, automatic driving and driver assistance, real-time systems, reconfigurable and secure computing.
We welcome authors to submit manuscripts on topics including, but not limited to:
Language- and Formalism-Based Design Methodologies
This track seeks novel research contributions that employ languages and formalisms in the design, test, verification, and simulation of modern day electronic systems. These contributions may consist of (but are not limited to) the use of requirements and property specifications, models of computations, automata, networks, model and component-based design, platform modeling and abstraction, and system-level design languages, including synchronous languages and formalisms for the emerging quantum computing. Moreover, we encourage contributions on the design of new and disruptive languages.
Techniques for Modern Architectures and Applications
This track seeks research contributions demonstrating effective techniques for system design involving modern approaches such as machine learning and its verification, as well as modern computing architectures such as energy-efficient computing, accelerators including GPUs and FPGAs, and IoT applications for the design and verification of electronic systems. Examples may include (but are not limited to) parallel simulation, compilers with support for multi/many-core and heterogeneous architectures, high-level hardware and software synthesis, virtual prototyping, and design space exploration.
Tools, Flows and Industry-Relevant Applications
This track solicits contributions that present authors' experiences in designing applications that are relevant to electronic systems industries. The contributions should focus on applications that identify valuable design, test, simulation and verification practices for applications of the future. The contributions may also demonstrate effective use of tools for successfully developing industry-relevant applications.
Important Deadlines
- Special Sessions: Mar 24, 2018
- Abstract Deadline: Apr 21, 2018
- Paper Deadline: Apr 28, 2018
- Other Contributions: May 26, 2018
- Author Notification: Jun 26, 2018
- Final Version: Jul 21, 2018

Last modified: 2018-02-12 16:48:33