FDL'06 Forum on specification & specification & Design Languages September 19-22, 2006 - TU Darmstadt, Germany CALL FOR CONTRIBUTIONS Deadline April 3rd, 2006 General Chair: Prof. Sorin A. Huss, TU Darmstadt, Germany, huss@iss.tu-darmstadt.de An ECSI event - co-sponsored by TU Darmstadt co-sponsored with no financial implication by Accellera, Cadence, GI, GMM, IEE, IFIP 10.5, ITG, Mentor Graphics, Microswiss Network, Synopsys FDL is the European 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. Fringe meetings such as user group or standardization meetings are also held in conjunction with the Forum. FPD TA: Formalisms for Property-Driven Design Chair: Dominique Borrione - TIMA Laboratory, France, Dominique.Borrione@imag.fr The assertion of properties is essential to a variety of design tasks: verification of functional behaviour, 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, SystemVerilog, with trace operational semantics, are widely used primarily at synthesizable RTL; their application to more abstract design levels and to mixed system designs becomes relevant. Other formalisms such as DE2 or B provide a "correct by construction" top-down design methodology supported by proven refinements. Some efforts aim at defining mathematical semantics and formal processing of time-dependant properties and specifications using more intuitive, human-friendly, graphical syntax. FPD welcomes research contributions, tool demonstrations, reports on standardization activities, in all aspects of innovative property expression and processing as well as experiments in comparing the effectiveness of the various formalisms and related tools in real designs. CSD TA: C/C++-Based System Design Chair: Frank Oppenheimer - Kuratorium OFFIS e.V., Germany, frank.oppenheimer@offis.de C/C++ based hardware/software system design methodologies are entering standard industrial design flows. While SystemC is gaining acceptance for system-level specification and design, Verilog and VHDL are being extended in order to improve their system-level capabilities. This thematic area addresses language-based hardware/software system design and tools for modelling, simulating, evaluating the performance, and analyzing hardware/software systems. Topics in CSD also include RTOS and embedded software aspects; IP based design, requirements to system design, industrial case studies, interoperability among modelling languages, heterogeneous models of computations; hardware, software and HW/SW interface synthesis, and roadmaps for the future development of existing approaches. AMS TA: Analog, Mixed-Signal and Heterogeneous System Design Chair: Christoph Grimm - University of Hannover, Germany, grimm@ims.uni-hannover.de Many systems combine analog, RF, power electronic, or even non-electrical components with digital hardware and an increasing share of software. The combination and tight interaction of such components is a challenge: Specification, modelling, simulation, (symbolic) analysis, verification, design, (virtual) prototyping or even synthesis of analog, mixed-signal and heterogeneous systems are complex issues. Furthermore, physical effects are gaining importance and have to be considered at system level. Languages, models, representations and tools such as VHDL-AMS, Verilog-AMS, SystemC-AMS, Modelica, Matlab/Simulink, or Hybrid Automata and are emerging to support such issues from analog circuit design up to system level. The AMS thematic area aims at presenting research activities, design experiences, and standardization activities related to these topics. UML TA: UML-Based System Specification & Design Chair: Piet van der Putten - TU Eindhoven, The Netherlands, p.h.a.v.d.putten@tue.nl The Unified Modeling Language supports semi-formal methods for system-level design of complex embedded systems including highly programmable (HW) platforms and heterogeneous Systems-on-Chip. Current methods do not close the gap from specification to (automatic) synthesis yet. UML related research topics in this field are Executable UML, Model Driven Development (MDA, PIM, PSM); design transformations; UML semantics; metamodels (e.g., for SystemC and other System Description Languages or HDLs); UML profiles; formalisation of UML towards domain specific languages for simulation and synthesis. Other topics welcomed are standardisation work; Real-time UML; UML related techniques for performance analysis, validation, and verification; SDL; OCL; XMI; practical design experiences with UML2. REQUIREMENTS FOR SUBMISSIONS: Interested authors are invited to select one submission format from the following list: * Short papers: typically describe a work in progress, industrial case studies or user's experiences. Accepted short papers will be presented as posters (10 minutes presentations during a session). * Regular papers: typically go into more details on innovative and complete research or applicative work with evidence of experimental results. Regular papers may also include new requirements and proposals for standardization. Accepted regular papers will be presented during a time slot of 20 minutes, including 5 minute Q&A. * Format of paper: All papers should be formatted to fit the final format as close as possible that is A4 double column, min. 2cm left and right margins, single-spaced, Times New Roman font of min. 10pt. Short papers should not exceed 2 pages, regular papers consist of 4-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 to submit a paper. 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 included in both electronic (CD-ROM) and printed form to be made available to registered Forum participants. The 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, a selection of best regular papers will be published in an edited book from Springer Science + Business Media publisher after the event. TUTORIALS: Proposals for half-day (4 hours) 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 fdl06@iss.tu-darmstadt.de. A maximum of three tutorial authors is recommended. Accepted tutorials will get one free full registration to the Forum per each tutorial from academia. PANELS, SPECIAL SESSIONS, WORKING GROUPS, PROJECT MEETINGS: Proposal for special sessions (panels, working sessions, standardization or user group meetings, etc.) around any of the three 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 fdl06@iss.tu-darmstadt.de. 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 fdl06@iss.tu-darmstadt.de. FORMS OF SUBMISSIONS Authors are invited to send all information in electronic format through a web submission process (www.ecsi.org/fdl). In case of problems, please send an email to fdl06@iss.tu-darmstadt.de. Accepted electronic format is PDF. Compressed submissions are also accepted: GNU gzip, Unix Compress, PKZip. DEADLINE DATES IN 2006 Paper submissions due April 03 Special session & tutorial proposals due April 28 Notification of acceptance June 05 Presenters registration July 28 Final versions of accepted papers due July 28 Proposal for on-site meetings September 02 FDL 2006 September 19-22 PROGRAM COMMITTEE List can be found in www.ecsi.org/fdl STEERING COMMITEE Rosenstiel Wolgang, Boulet pierre, Grimm Christophe, Mermet Jean, Morawiec Adam, Tiensyrjä Kari, Vachoux Alain CO SPONSOR CONTACT Horobin Lynn Accellera Tremmel Gabrielle Mentor Graphics Launey Philips Cadence Ross Dow Barrie IEE Schenk Karl Microswiss Network Blanc Stephane Synopsys Berman Victor IEEE FDL SECRETARIAT Secretariat: ECSI Office office@ecsi.org www.ecsi.org/fdl Ph: +33 4 76 63 49 34