|
FDL'08 Forum on specification & Design Languages in
technical cooperation with the
IEEE and IEEE Computer Society Technical Committee on Design Automation (TCDA), IEEE France Section, IEEE Germany Section September 23-25, 2008 CALL FOR CONTRIBUTIONS DEADLINE - March 31, 2008 General Chair: Prof. Publicity support: Universität
Stuttgart, Accellera, Cadence, GI, GMM, IEE, IFIP 10.5, ITG, FDL is the international forum to
exchange experiences and learn new trends in the application of languages and
their associated design methods and tools for the design of electronic systems. The Forum is
organized around Thematic Areas (TA) (described below) and includes working sessions, poster sessions, embedded tutorials,
panels and technical discussions. Industrial Workshops and Fringe Meetings such as
user group or standardization meetings are also held in conjunction with the
Forum. PDV TA: Property-Driven Design,
Verification & Debug Chair: The assertion of formal properties
provides a uniform _expression_ of expected system behaviour, or constraints that
are assumed on the environment, for a variety of design tasks: verification of functional correctness,
generation of test stimuli, synthesis of observation monitors and on-line tests, model checking on the reachable state space, direct
synthesis from assertions, etc. Standardized formalisms such as PSL and SystemVerilog, defined with trace operational semantics, were initially
intended for synthesizable RTL; their application is now considered at transaction levels and for mixed system designs. The PDV technical area
welcomes research contributions, tool demonstrations, reports
on standardization activities and effective applications in all aspects of innovative
property _expression_ and processing, with an emphasis on frontier design levels, verification, automatic synthesis and mechanized debug
aids. CSD TA: C/C++-Based System Design Chair: The CSD TA addresses language-based
modelling and design techniques for simulation, debugging, transformation, and
analysis of hardware/software embedded systems. C/C++ based design methodologies are entering
productive industrial design flows especially after the IEEE standardization of SystemC. Hence, the lion share of contributions
use SystemC and its extensions to illustrate the scientific approach. However, articles using languages like
UML, functional languages, System Verilog are very welcome, especially if they
address interoperability between modelling languages and heterogeneous models of computations. Topics of
interest also include embedded software modelling techniques and technology or domain specific approaches, e.g. for signal processing
applications or reconfigurable computing platforms. New mechanisms for abstraction like transaction level modelling (TLM) or SPIRIT and
their implications on IP-based system design or system synthesis are in the scope of this workshop as well as innovative industrial case
studies. DCS TA: Design of Discrete and
Continuous Embedded Systems Chair: Sorin A. Huss - Technische Universität Darmstadt, Germany, [EMAIL PROTECTED] Modern information processing systems
frequently combine analog, RF, power electronic, or even non-electrical components with complex digital hardware and an increasing share of software into an embedded system.
The aggregation and tight interaction of such components within one data processing system is a challenge: specification, modelling,
simulation, (symbolic) analysis, verification, design, (virtual) prototyping, or even synthesis of analog, mixed-signal,
and heterogeneous systems, i.e., embedded systems processing both discrete and continuous signals, are highly complex issues. Furthermore, physical effects are
of an increasing impact and have to be considered even at system level. Languages, models, representations, and tools such as VHDL-AMS,
Verilog-AMS, SystemC-AMS, Modelica, Matlab/Simulink, or Hybrid Automata are emerging to support
such issues starting from transistor level analog
circuit up to system level design. The DCS Thematic Area aims at presenting latest research
activities, design experiences, and standardization issues related to these
topics. UMES TA: UML and MDE for Embedded
System Specification & Design Chair: Model driven methods, mostly based on
the Unified Modelling Language, increasingly support
semi-formal methods for system level design of complex embedded systems including highly programmable platforms and
heterogeneous Systems-on-Chip. Current design methods do not close the gap from specification to (automatic) synthesis yet. UMES
related research topics in this field are Executable UML, model driven development, model transformations, UML semantics, meta-modelling (e.g., for
SystemC and other System Description Languages or HDLs), UML profiles (SysML,
MARTE, UML for SoC, ...), formalization of UML towards
domain specific languages for simulation and synthesis. Other welcomed topics are standardization work, modelling languages for real-time and
embedded systems, model driven techniques for performance analysis, validation and verification, SDL, AADL, OCL, XMI and
practical design experiences with UML or model driven engineering (MDE) approaches. FDL Industrial Workshops The FDL2008 Conference will host three
one-day Industrial Workshops that will take place in parallel to the Thematic Aera Sessions.
The workshops will focus on practical aspects related to the subject of the
conference. The parties interested to be involved or
to propose additional subjects for Industrial Workshops are welcome to contact Paper Submission REQUIREMENTS FOR SUBMISSIONS &
TYPES OF SUBMISSION Regular papers: provide comprehensive details on innovative and complete research or
applicative work with evidence of experimental results. Regular papers may also include
proposals for standardization. Accepted regular papers will be presented with slides. Short papers: authors are encouraged to outline work in progress, industrial case
studies, or user experiences with short papers. Accepted short papers will be presented as posters
in dedicated sessions, allowing to present advances achieved since submission. Format of paper: All papers should be formatted to fit the final format of A4 double
column, min. left and right margins, single-spaced, Times New Roman font of min. 10pt. Short
papers should not exceed 2 pages, and regular papers should not exceed 6 pages. All papers must
include a short abstract, all required figures, tables, and references. Posters: All
papers will be accompanied by posters in A0 or A1 that will foster individual
discussions during several poster sessions. Blind review: The submitted paper must not mention names and affiliations of the
authors. Form of submission: Follow instructions of the FORMS OF SUBMISSIONS
box below. Originality: Submitted papers are required to describe original unpublished work and
must not be under consideration for publication elsewhere. REQUIREMENTS FOR PRESENTATION Authors of accepted papers will have to
deliver the final version of the papers including recommended changes from reviewers, a copyright release form (which will be provided) and
at least as many author registrations at the Forum as there are presented papers. PUBLICATION Accepted papers will be published in the
IEEE digital library, thereby being indexed and available via IEEE Xplore.
Accepted papers will be also published in electronic version (USB) to be made
available to registered Forum participants. After the conference a CD-ROM is
published by ECSI and has an ISSN number. It will also include keynote presentations (if no confidentiality issues are pending) and tutorial documents. In
addition, the authors of the best regular papers will be invited to prepare an extended manuscript
for publication in an edited book from Springer Science + Business Media publisher after the event. EMBEDDED TUTORIALS Proposals for half-day (4 hours)
embedded tutorials on specific topics around any of the four workshops 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 [EMAIL PROTECTED] A
maximum of three tutorial authors is recommended. Accepted tutorials will get
one free registration to the Forum per tutorial. PANELS, SPECIAL SESSIONS, WORKING
GROUPS, PROJECT MEETINGS Proposal for special
sessions (panels, working sessions, standardization or user group meetings,
etc.) 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 regular workshops. A one page
description including title, participants, contents, and the relevant track(s) should be sent to [EMAIL PROTECTED] DEMONSTRATIONS Companies, universities or other
organizations providing innovative tools and environments for the topics described above will find in FDL an opportunity to make demonstration of them to
the attendees. Proposals should go as soon as possible to [EMAIL PROTECTED] FORMS OF SUBMISSIONS Authors are invited to send all
information in electronic format through a web submission process at: www.ecsi.org/fdl In case of problems, please send an
email to: [EMAIL PROTECTED] Accepted electronic format is PDF. DEADLINE DATES IN 2008 Paper submissions due March
31 Special session & embedded tutorial
proposals due April 30 Notification of acceptance May
12 Presenters delivery of final version of accepted papers and registration July
11 Proposal for on-site meetings September
01 FDL ORGANISATION General Chair : [EMAIL PROTECTED] Secretariat: ECSI Office [EMAIL PROTECTED] Ph:
+33 4 76 63 49 34 Fax:
+33 4 76 42 87 87 www.ecsi.org/fdl |
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
