W e l c o m e
by Pierre Boulet, General Chair, professor at the University of Sciences and Technologies, and member of the Computer Science Laboratory , Lille, France.
FDL is the European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic or heterogeneous systems. Methods for modeling and specification push the development of new methodologies for design and verification especially at system level. The aim of FDL is to offer several co-located events, and to give an opportunity to gain up-to-date knowledge across these topics.
FDL'04 is the seventh in a series after Lausanne, Lyon, Tübingen, ENS Lyon, ESIM Marseille and Frankfurt am Main. This year, the University of Sciences and Technologies of Lille, France has been chosen to host FDL'04. The university is located at Villeneuve d'Ascq, a 15 min ride from downtown Lille by the metro. In 2004 Lille is the European capital of culture, which will give a unique opportunity to FDL participants to see many events.
FDL'04 is organized around four interrelated workshops. Together with special sessions on 'hot topics', tutorials, panels, and technical discussions within standardization and user group meetings the forum has a broad spectrum of opportunities to learn, discuss and promote actual and new languages and associated methods. The four workshops address actual key aspects of languages and models for system design:
CSD: C-Based System Design, presents and discusses C/C++ based, system design methods and tools. Topics include .modeling and simulation, performance evaluation and analysis, hardware and software synthesis, RTOS aspects, design verification, etc. Roadmaps for the future development of existing approaches will be presented and discussed.
AMS: Analog, Mixed-Signal and Mixed-Technology Design, aims at exploring new design approaches for specification, modelling, simulation, synthesis and reuse based on emerging design languages such as, but not limited to, SystemC-AMS, VHDL-AMS, Verilog-AMS or Modelica.
UML: UML Based System Specification & Design, aims at UML-based design methods from specification to (automatic) synthesis. Starting from platform independent modelling, they enable mapping on platform specific elements, using classical or novel synthesis techniques, techniques for performance analysis, validation and verification starting from UML.
LFSV: Languages for Formal Specification and Verification, mainly aims at the investigation of various means for formal verification, their application and corresponding methods in the domain of electronic design automation. Means cover the wide spectrum of graphical and textual languages for specification of systems and their properties.
The additional special sessions give a deeper insight into the topics 'Models and Methods for Automotive Software Engineering' and 'What is MDA good for in embedded system design?' as well as several tutorials on SystemVerilog, SystemC AMS, AMS synthesis and UML2.
This year, a very high number of good submissions, and attractive proposals allowed us to fully accomplish the goals of FDL. We encourage you not to miss this unique opportunity to learn, discuss, and contribute to the latest research activities and evolution of system specification languages.
Pierre Boulet
FDL'04 General Chair
fdl04@lifl.fr
FDL Sponsors:
WORKSHOP CHAIRS
CSD: Eugenio Villar, Univ. Cantabria, Spain -- villar@teisa.unican.es
AMS: Alain Vachoux, EPFL, Switzerland -- alain.vachoux@epfl.ch
UML: Piet van der Putten, TU Eindhoven, Netherlands -- p.h.a.v.d.putten@tue.nl
LFSV: Wolfgang Mueller, Univ. Paderborn, Germany -- wolfgang@acm.orgECSI Representatives
Jean Mermet, ECSI Director, Grenoble, France
Florence Pourchelle, Secretariat, ECSI Office
florence.pourchelle@ecsi.org
Tel./Fax +33 442 56 26 97
