Call for Contributions

Share it now


FDL 2012
Forum on specification & Design Languages

September 18-20, 2012
Vienna, Austria

Call for Contributions


Download the Call for Contributions in PDF!


 

GENERAL CHAIR
Jan Haase, TU Vienna, Austria

IMPORTANT DATES
April 02 April 12 (extended) CLOSED: Paper Submission Deadline
April 12 April 19 (extended) CLOSED: Paper S
ubmission Deadline - Special Sessions
April 09: Special session & embedded tutorial proposal deadline
May 09: Paper submission deadline:
Special Session: Modeling and Simulation Challenges Due to Aging and Reliability of Devices
May 30: Notification of acceptance
June: Program published on web
July 30: Final versions of accepted papers and presenters' registration
Aug 30: Proposals for onsite meetings
Sept 18-20: FDL 2012

CONFERENCE SCOPE
FDL is an international forum to exchange experiences and promote new trends in the application of languages, their associated design methods and tools for the design of electronic systems. The Forum is organized around four 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.

1. ABD TA: Assertion Based Design, Verification & Debug
TA Chair: Dominique Borrione, TIMA
ABD TA Description: The ABD Thematic 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. 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 assertions were initially intended for synthesizable RTL; their application is now considered at transaction levels and for mixed system designs.

2. LBSD TA: Language-Based System Design
TA Chair: Martin Radetzki, University of Stuttgart
LBSD TA Description: The LBSD TA addresses language-based modelling and design techniques for simulation, debugging, transformation, and analysis of digital hardware/software embedded systems. Contributions are welcome on innovative applications, language or library design, and methodological aspects. SystemC has undergone restandardization to keep up to date with users' needs. Hence, contributions on new applications and evolution of SystemC are highly welcome. Equally welcome are papers dealing with SystemVerilog, functional languages, UML in conjunction with executable specification, and emerging languages. Aspects of methodology, interoperability, simulation semantics, and models of computations will find an audience just like embedded software modelling techniques and technology or domain specific approaches, e.g. for signal processing applications or reconfigurable computing platforms. Moreover, transaction level modelling (TLM) with any language, IP-based system design (e.g. IP-XACT), modelling aspects in system synthesis, innovative industrial case studies, and efficient parallel simulation of high-level models are in scope.

3. EAMS TA: Embedded Analog and Mixed-Signal System Design
TA Chair: Christoph Grimm, TU Kaiserslautern
EAMS TA Description: The EAMS TA addresses design, modeling, and verification of heterogeneous systems that include significant part of “analog” or “continuous” behavior such as cyber physical systems, wireless sensor networks, and of course analog/mixed-signal circuits. A new challenge is the tight interaction of analog or physical components with - maybe distributed - digital hardware/software systems. Topics of interest include specification, modeling, simulation, (symbolic) analysis, verification, design, (virtual) prototyping, and synthesis of analogue, mixed-signal, and mixed-technology systems, wireless sensor nets, and cyber physical systems. Focus of contributions should be on languages, models, representations, and tools such as VHDL-AMS, SystemC-AMS, Modelica, Matlab/Simulink, etc. The EAMS TA aims at presenting research activities, design experiences, and standardization issues related to these topics.

4. UMES TA: UML and MDE for Embedded System Specification & Design
TA Chair: Julio Medina, University of Cantabria
UMES TA Description: Model driven methods, mostly based on the Unified Modelling Language, increasingly support semi-formal methods for system level design of complex embedded systems including multi-core, highly programmable platforms and heterogeneous Systems-on-Chip. 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, e.g. SysML, MARTE, UML for SoC, and 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 in general model driven engineering (MDE) approaches.

SPECIAL SESSIONS
FDL 2012 will also feature four special sessions:
  • Model Based Design of Electronic Systems in Systems
  • Smart Homes
  • Energy Harvesting and Ultra-Low-Power Design
  • Modeling of Aging and Reliability

REQUIREMENTS FOR SUBMISSIONS
REGULAR AND SHORT PAPERS:

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. Authors are encouraged to outline work in progress, industrial case studies, or user experiences as short papers. Accepted short papers will be presented as posters in dedicated sessions, allowing to present advances achieved since submission. Submitted papers should be anonymous, are required to describe original unpublished work and must not be under consideration for publication elsewhere.

PUBLICATIONS
After the conference, papers and presentations will be published at the ECSI web page together with the keynote presentations (subject to confidentiality issues) and tutorial documents. In addition, the accepted papers may be published in IEEE Xplore (subject to reviewal). The authors of the best regular papers may be invited to prepare an extended manuscript for journal publication.

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 fdl2012 [at] ecsi [dot] 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, DEMONSTRATIONS:
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 fdl2012 [at] ecsi [dot] org. Companies, universities or other organizations wishing to demonstrate innovative tools and environments for the topics described above should send proposals to fdl2012 [at] ecsi [dot] org.

STEERING COMMITTEE
Jan Haase, TU Vienna (General Chair)
Dominique Borrione, TIMA
Pierre Boulet, Université des Sciences et Technologies de Lille
Christoph Grimm, TU Kaiserslautern
Tom Kazmierski, University of Southampton
Julio Medina, University of Cantabria
Jean Mermet, Safetronix
Frank Oppenheimer, OFFIS
Adam Morawiec, ECSI
Martin Radetzki, University of Stuttgart
Wolfgang Rosenstiel, University of Tuebingen
Kari Tiensyrjä, VTT
Alain Vachoux, EPFL
Eugenio Villar, Univeristy of Cantabria
Sorin Huss, TU Darmstadt

ABD Technical Area Committee

ABD TA Chair: Prof. Dominique Borrione, TIMA
El Mostapha Aboulhamid, University of Montreal
Claudia Blank, Intel
Eduard Cerny, Synopsys
Rolf Drechsler, University of Bremen
Emmanuelle Encrenaz, University Paris 6
Harry Foster, Mentor Graphics
Franco Fummi, University of Verona
Pierre Laurence, University of Grenoble
Ashraf Salem, Ain Shams University
Pablo Sanchez, University of Cantabria
Julien Schmaltz, Radboud University Nijmegen

EAMS Technical Area Committee
EAMS TA Chair: Prof. Christoph Grimm, TU Kaiserslautern
Sumit Adhikari, TU Vienna
Martin Barnasconi, NXP
Ernst Christen, Mentor Graphics
Karsten Einwich, FhG-IIS/EAS
Joachim Haase, FhG-IIS/EAS
Lars Hedrich, University of Frankfurt
Klaus Hofmann, TU Darmstadt
Tom Kazmierski, University of Southampton
Marie-Minerve Louerat, UPMC
Chris Myers, University of Utah
Serge Scotti, ST Microelectronics
David W. Smith, Synopsys
Alain Vachoux, EPFL
Peter Wilson, University of Southampton

LBSD Technical Area Committee
LBSD TA Chair: Martin Radetzki, University of Stuttgart
Jean-Philippe Babau, University of Bretagne Occidentale
Tomas Bautista, IUMA Las Palmas
Mladen Berekovic, Friedrich Schiller University Jena
Axel Braun, University of Tuebingen
Peter Flake, Elda
Joachim Gerlach, University of Albstadt-Sigmaringen
Daniel Große, University of Bremen
Christian Haubelt, University of Rostock
Fernando Herrera, University of Cantabria
Lars Kruse, Magma Design Automation
Bernhard Niemann, Fraunhofer, IIS
Frank Oppenheimer, OFFIS
Hiren Patel, University of Waterloo
François Pêcheux, LIP6, France
Davide Quaglia, University of Verona
Ingo Sander, KTH Stockholm
Sandeep Shukla, Virginia Tech

UMES Technical Area Committee
UMES TA Chair: Julio Medina, University of Cantabria
Arnaud Cuccuru, CEA
Gjalt De Jong, ArchWorks
Robert De Simone, INRIA, Sophia Antipolis
Peter Green, UMIST, Manchester
Leandro Soares Indrusiak, University of York
Jan Jürjens, TU Dortmund and Fraunhofer ISST
Marcello Mura, Lugano University
Mauro Prevostini, Lugano University
Ralf Seepold, University of Applied Sciences, Konstanz
François Terrier, CEA
Dragos Truscan, Åbo Akademi University
Yves Vanderperren, EPO
Jeroen Voeten, Eindhoven University of Technology

TECHNICAL AREA COMMITTEES
Assertion Based Design, Verification & Debug TA Committee

Embedded Analog and Mixed-Signal System Design TA Committee

Language-Based System Design TA Committee

UML and MDE for Embedded System Specification & Design TA Committee

Special Session: Energy Harvesting and Ultra-Low Power Design

Special Session: Modeling of Aging and Reliability

Special Session: Model Based Design of Electronic Systems in Systems

Special Session: Smart Homes

Secretariat:
ECSI Office
office [at] ecsi [dot] org
fdl2012 [at] ecsi [dot] org

www.ecsi.org/fdl
Ph: +33 4 76 63 49 34
Fax: +33 9 58 08 24 13
 


FDL 2012 is organized with the technical co-sponsorship
of
IEEE Austria Section.

         
 
Share it now