[HiPEAC-announce] FDL08 > Call for Papers - Deadline Extension: April 7th, 2008

[Pierre Boulet]

*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*

*Stuttgart**, Germany***

* *

*CALL FOR CONTRIBUTIONS*

*SUBMISSION DEADLINE EXTENSION:
April 7, 2008*

* *

*General Chair: Prof. Martin Radetzki **-** Universität Stuttgart*

* *

* *

*Publicity support: Universität Stuttgart, Accellera, Cadence, GI, GMM, 
IEE,*

*IFIP 10.5, ITG, Mentor Graphics, Microswiss Network, Synopsys*

* *

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: Dominique Borrione - *TIMA Laboratory, France, 
Dominique.Borrione at imag.fr

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: Frank Oppenheimer - *OFFIS e.V., Germany, Frank.Oppenheimer at offis.de

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, 
huss at iss.tu-darmstadt.de

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: Pierre Boulet *- LIFL, Lille, France, Pierre.Boulet at lifl.fr

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 Adam Morawiec, ECSI (Adam.Morawiec at ecsi.org) to discuss details.

 

* *

*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. 2 cm

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

fdl08 at ecsi.org. 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 
fdl08 at ecsi.org.

* *

*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 fdl08 at ecsi.org.

* *

* *

* *

*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:

*fdl08 at ecsi.org*

Accepted electronic format is PDF.

* *

*DEADLINE DATES IN 2008*

Paper submissions 
due                                                                 
April 7 Extended Deadline!!!

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 :*

Martin.Radetzki at informatik.uni-stuttgart.de

* *

*Secretariat:*

ECSI Office

office at ecsi.org

Ph: +33 4 76 63 49 34

Fax: +33 4 76 42 87 87

 

*www.ecsi.org/fdl*

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.hipeac.net/pipermail/hipeac-announce/attachments/20080328/1d8a774c/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Pierre_Boulet.vcf
Type: text/x-vcard
Size: 333 bytes
Desc: not available
Url : http://www.hipeac.net/pipermail/hipeac-announce/attachments/20080328/1d8a774c/attachment-0001.vcf 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 4027 bytes
Desc: S/MIME Cryptographic Signature
Url : http://www.hipeac.net/pipermail/hipeac-announce/attachments/20080328/1d8a774c/attachment-0001.bin