Forum on specification & Design Languages, Vienna, Österreich

Abbrevation

FDL

Link

http://www.ecsi.org/fdl

City

Vienna

Country

Austria

Deadline Paper

2012-04-12

Start Date

2012-09-18

End Date

2012-09-20

Abstract

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 (<a class="spamspan" href="mailto:Dominique.Borrione%40imag.fr">Dominique.Borrione@…;) 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. <div class="rtejustify"> 2. LBSD TA: Language–Based System Design TA Chair: Martin Radetzki (<a class="spamspan" href="mailto:Martin.Radetzki%40informatik.uni–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.</div> <div class="rtejustify"> 3. EAMS TA: Embedded Analog and Mixed–Signal System Design TA Chair: Christoph Grimm (<a class="spamspan" href="mailto:grimm%40ict.tuwien.ac.at">grimm@ict.tuwien&#…;) 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.</div> <div class="rtejustify"> 4. UMES TA: UML and MDE for Embedded System Specification & Design TA Chair: Julio Medina (<a class="spamspan" href="mailto:julio.medina%40unican.es">julio.medina@unican&#04…;) 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. </div>