Call for Contributions for Special Sessions

Share it now

FDL 2012
Forum on specification & Design Languages

September 18-20, 2012
Vienna, Austria

Call for Contributions for Special Sessions

Download the Call for Contributions in PDF!

FDL 2012 will feature four special sessions. Prospective authors are invited to submit manuscripts on the following topics:

Model Based Design of Electronic Systems in Systems
Chair: Sumit Adhikari, TU Vienna

Smart Homes
Chairs: Slobodanka Tomic, FTW & Jan Haase, TU Vienna

Energy Harvesting and Ultra-Low-Power Design
Chair: Tom Kazmierski, University of Southampton

Modeling and Simulation Challenges Due to Aging and Reliability of Devices
Chair: Domenik Helms, OFFIS

Invasive Programming of Heterogeneous Multi-Core Systems
Chair: Christian Haubelt, University of Rostock

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


All submitted papers should be done online, following the paper submission guidelines. During paper submission, please take care to select the special session corresponding to your choice.


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.

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.

Jan Haase, TU Vienna, Austria


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

ECSI Office
office [at] ecsi [dot] org
fdl2012 [at] ecsi [dot] org
Ph: +33 4 76 63 49 34
Fax: +33 9 58 08 24 13


Model Based Design of Electronic Systems in Systems
Chair: Sumit Adhikari, TU Vienna
Model based design of system architectures and optimization of those architectures at highest level of abstraction is gaining importance in modern day system level applications and designs. However, these complex systems need to be resolved and de ned accurately at system level which is done by modelling of complete system. The process of efficient modelling and use of those models to optimize the system is often misunderstood by both academia and industry. This special session is intended to give a good overview on current works in this area and problems and solutions in speci c industry use cases.

Topics of interest include, but are not limited to:

  • Model-Based Feasibility Study and Speci cation Extraction
  • Model-Based Analog/Digital Signal Processing Design and Optimization
  • Model-Based RF/AMS/HW/SW/Digital Co-Design
  • Model-Based HW/SW Partitioning
  • Model-Based Power/Current Optimization
  • Model-Based Embedded System Optimization
Smart Homes
Chairs: Chairs: Slobodanka Tomic, FTW & Jan Haase, TU Vienna
Next Generation Smart Homes will offer a broad range of innovative services to their residents by using a variety of intelligent connected devices, including Home Gateway with the broadband Internet access, intelligent appliances, sensors and actuators, cameras, smart meters for electricity, gas, water, remote heating, entertaining devices, home energy production equipment, smart displays, mobile phones, etc.  By combining home networking with Internet access Smart Homes can serve their customers no matter where they are and support them in making decisions about home control. The market for connected devices and service is huge and rapidly growing and is of strategic priority for many sectors, such as mobile industry, energy, entertainment, home security, assisted living, and health. The Smart Home service platform needs to host applications of different providers and enables innovative device, service and customer management interactions, and as a result not only the opportunities and benefits, but also the challenges of Smart Connected Home design increase as the heterogeneity of services and devices raises. Although the vision of the Smart Homes is well established; there is still a number of open issues which require attention in order for the vision to realize.  This SS aims at bringing together researchers working in the area of Smart Homes to discuss their experiences and achievements and identify the most interesting trends in the Smart Home Evolution.The topics relevant for this special session include:
  • Home Networking Architectures and Technologies
  • Home Gateway and Home Service Platforms
  • Energy Management in Next Generation Home
  • Home Service Management Approaches
  • User Interfaces, Privacy and Security
  • Smart Phone Apps for Home Management
  • Intelligent  Home Appliances
  • Technology and Economic Aspects of Cross-Industry Business Models
  • Interoperability, standardization and regulation
  • Practical experiences with smart home service development and deployment


Energy Harvesting and Ultra-Low-Power Design
Chair: Tom Kazmierski, University of Southampton

Modeling and Simulation Challenges Due to Aging and Reliability of Devices
Chair: Domenik Helms, OFFIS
This session gives insight into ageing phenomena occurring in recent and approaching nanometric technology generations. After a survey of all relevant mechanisms, modelling and simulation methodologies from single transistor description towards system level modelling are presented. It will be discussed, how the device view, describing parametric drifts for individual cirquits can be translated into a top-down view of failure probabilities. Current status of solutions and open questions for the EDA community shall be worked out.

Invasive Programming of Heterogeneous Multi-Core Systems

Chair: Christian Haubelt, University of Rostock
The idea and novelty of invasive computing is to introduce resource-aware programming support in the sense that a given program gets the ability to explore and dynamically spread its computations to neighbour processors similar to a phase of invasion, then to execute portions of code of high parallelism degree in parallel based on the available (invasible) region on a given multi-processor architecture. Afterwards, once the program terminates or if the degree of parallelism should be lower again, the program may enter a retreat phase, deallocate resources and resume execution again, for example, sequentially on a single processor. In order to support this idea of self-adaptive and resource-aware programming, not only new programming concepts, languages, compilers and operating systems are necessary but also revolutionary architectural changes in the design of MPSoCs (Multi-Processor Systems-on-a-Chip) must be provided so to efficiently support invasion, infection and retreat operations involving concepts for dynamic processor, interconnect and memory reconfiguration. This special session covers the concept of invasive computing, necessary architectural changes, and resource-aware programming of MPSoCs.

Invasive Computing - Concepts and Overheads
Jürgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schröder-Preikschat
Speaker: Jürgen Teich

Resource Awareness for Efficiency in High-Level Programming Languages
Andreas Zwinkau
Speaker: Andreas Zwinkau

An Integrated Simulation Framework for Invasive Computing
Michael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib
Speaker: Marcel Meyer

Invasive Computing with iOMP
Michael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber, Josef Weidendorfer
Speaker: Michael Gerndt

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

Share it now