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