-----------------------------------------------------------------------
FDL'07
Forum on specification & Design Languages
with Industrial Workshops
September 18-20, 2007 - Barcelona, Spain
ATTENTION!!!: Advance Registration Deadline Sept 1, 2007
Registration and more information at:
www.ecsi.org/fdl or [EMAIL PROTECTED]
-----------------------------------------------------------------------
General Chair:
Prof. Eugenio Villar, U. Cantabria, [EMAIL PROTECTED]
FDL is the premier European forum to present research results,
to exchange experiences, and to learn about new trends in the
application of specification and design languages as well as of
associated design and modeling methods and tools for integrated
circuits, complex HW/SW embedded systems, and heterogeneous systems.
Modeling and specification concepts push the development of new
methodologies for design and verification to system level; thus
providing the means for model-driven design of complex information
processing systems in a variety of application domains. The aim of
FDL is to cover several related thematic areas and to give an
opportunity to gain up-to-date knowledge in this fast evolving,
essential area in system design and verification.
FDL07 is organized around four thematic areas (TA) that cover
essential aspects of system-level design methods and tools:
PDV TA: Property-Driven Design, Verification and Debug:
-------------------------------------------------------
One invited presentation of the IEEE 1850 standardization activity
to extend and improve PSL, and two regular sessions on the use of
formal properties in the design process, all on September 20.
CSD TA: C/C++ Based System Design:
----------------------------------
With 18 papers in five technical sessions plus one joint session
with the UML TA this TA offers a great variety of innovative ideas
in system design. A SystemC tutorial given by Doulos and the co-located
European SystemC Users Group Meeting complete this area of interest.
AMS TA: Analog, Mixed-Signal, and Heterogeneous System Design:
--------------------------------------------------------------
Four regular sessions on September 18 about new modelling and
simulation approaches as well as about applications of mixed signal
and heterogeneous system design.
UML TA: UML-Based System Specification and Design:
--------------------------------------------------
Four regular sessions including a common session with the CSD TA
on September 19 and a full day on September 20 about the new UML
profile for Modeling and Analysis of Real-Time and Embedded Systems
(keynote, special session and tutorial).
During the coffee breaks, participants may have a direct discussion
with the presenters in front of a poster of the corresponding paper.
FDL07 will offer a SystemC/TLM tutorial and a keynote addressing the
challenges and requirements that MpSoC design imposes to SMEs. A second
keynote, a tutorial and a special session will cover the emerging MARTE
standard.
INDUSTRIAL WORKSHOPS:
---------------------
This year, FDL is held with three ECSI Industrial Workshops:
- System Design in Avionics & Space Industry (Tuesday, September 18)
- Verification of Complex Systems (Wednesday, September 19)
- SPRINTing the IP Integration (Thursday, September 20)
The updated workshop programme and details are on: www.ecsi.org/fdl
ESCUG Fall Meeting:
-------------------
The European SystemC User's Group (ESCUG) will meet at FDL'07
on Tuesday, September 18 - 18:30-21:00
FDL: An ECSI Event - is co-sponsored by Accellera, Cadence, CSIC, GI, GMM,
Hewlett-Packard, IEE, IFIP 10.5, ITG, Mentor Graphics, Microswiss Network,
One-Spin Solution, Synopsys, Spanish Ministry of Education and Science.
ADVANCE PROGRAMME:
------------------
The full programme is available at:
http://www.ecsi-association.org/ecsi/fdl/fdl07/doc/FDL2007_Advance_Programme.pdf
REGISTRATION:
-------------
The registration can be done at www.ecsi.org/fdl
or by sending the registration form to ECSI:
http://www.ecsi-association.org/ecsi/fdl/fdl07/doc/FDL07RegistrationForm.pdf
Secretariat:
------------
ECSI Office
[EMAIL PROTECTED]
www.ecsi.org/fdl
Ph: +33 4 76 63 49 34
Fx: +33 4 76 42 87 87
-----------------------------------------------------------------------
-----------------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
