FDL 2012 Proceedings

Share it now


The 2012 Forum on specification & Design Languages

September 18-20, 2012
Vienna, Austria


FDL 2013 Proceedings are available to conference attendees and ECSI members only. Contact us to get your credentials. To find out more about becoming an ECSI member, please click here.

FDL articles prior to 2013 are open to the public. All other FDL materials are available for ECSI members, conference attendees, and presenters only. Please contact us at office [at] ecsi [dot] org to get your credentials. To find out more about becoming an ECSI member, please click here.

FDL 2012 Program

FDL 2012 Proceedings

FDL 2012 Proceedings on IEEE Xplore

BibTex of FDL 2012 Proceedings

FDL 2012 Proceedings Publication Information

2012 Forum on specification and Design Languages (FDL), Vienna, Austria, September 18-20, 2012

E-ISBN
978-2-9530504-6-2

Print ISBN - IEEE Xplore
978-1-4673-1240-0

ISSN
1636-9874

Editors
Dr. Adam Morawiec
Jinnie Hinderscheit

ECSI
Electronic Chips & Systems design Initiative

Parc Equation - 2, Avenue de Vignate
38610 Gières, France

office [at] ecsi [dot] org

FDL 2012 Welcome

Keynote 1: Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing

Rolf Drechsler, University of Bremen

Paper          Slides (restricted access)         IEEE Xplore

Keynote 2: Challenging Complex System Design: Model, Architecture and Standard (restricted access)

Sébastien Gerard, CEA

Keynote 3: Modeling Cyber-Physical Energy Systems (restricted access)

Peter Palensky, Austrian Institute of Technology

Keynote 4: Correct-by-Construction System Design: Forever a Dream or Approaching Reality (restricted access)

Ingo Sander, Royal Institute of Technology

ABD 1: Property-based Verification

Formal Plausibility Checks for Environment Constraints

Binghao Bao, Markus Wedler, Dominik Stoffel and Wolfgang Kunz (University of Kaiserslautern)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Assertion Based Verification of Signal Processing Systems with Affine Arithmetic

Carna Radojicic, Florian Schupfer, Michael Rathmair and Christoph Grimm (Institute of Computer Technology TU Wien)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

An Efficient Refinement Strategy Exploiting Component Properties in a Cegar Process

Syed Hussein Syed Alwi, Cécile Braunstein and Emmanuelle Encrenaz (LIP6 - CNRS UMR 7606)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


ABD 2: Languages & Tools for Probabilistic & Temporal Specifications

Reliability Annotations to Formal Specifications of Context Sensitive Properties in Embedded Systems

Aritra Hazra, Priyankar Ghosh and Pallab Dasgupta (Indian Institute of Technology Kharagpur)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

MODEST – A Unified Language for Quantitative Models (Invited presentation)

Arnd Hartmanns (Saarland University)

Paper                                                BibTex          IEEE Xplore


E
AMS 1: Simulation and Design of Cyber-physical Systems

QoC-Oriented Efficient Schedule Synthesis for Mixed-Criticality Cyber-Physical Systems

Reinhard Schneider, Dip Goswami, Alejandro Masrur and Samarjit Chakraborty (Technical University of Munich)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Unified and Comprehensive Electronic System Level, Network and Physics Simulation for Wirelessly Networked Cyber Physical Systems

Javier Moreno, Markus Damm, Jan Haase (Vienna University of Technology), Christoph Grimm (TU Kaiserslautern), and Edgar Holleis (Tridonic)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

A Unified Platform for Design and Verification of Mixed-Signal Systems Based on SystemC AMS

Yao Li, Ramy Iskander, Farakh Javid and Marie-Minerve Louerat (UMPC LIP6)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


EAMS 2: Verification of Mixed-Signal Systems

Configurable Load Emulation using FPGA and Power Amplifiers for Automotive Power ICs

Manuel Harrant, Thomas Nirmaier, Fabrizio Dona, Georg Pelz (Infineon Technologies), and Christoph Grimm (TU Kaiserslautern)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

A SystemC AMS Extension for Controlled Modules and Dynamic Step Sizes

Christiane Reuther and Karsten Einwich (Fraunhofer IIS/EAS Dresden)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Analog Assertion-Based Verification on Partial State Space Representations using ASL

Sebastian Steinhorst (TUM CREATE Centre for Electromobility Singapore), and Lars Hedrich (Goethe-Universitaet Frankfurt am Main)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


L
BSD 1: SystemC Analysis

TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0

David Greaves (University of Cambridge) and Muhammad Mehboob Yasin (King Faisal University, Al-Ahasa)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Scandal: SystemC Analysis for NonDeterminism AnomaLies

Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers and Gerd Ascheid (RWTH Aachen University, ICE)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Localizing Features of ESL Models for Design Understanding

Marc Michael, Daniel Grosse and Rolf Drechsler (University of Bremen)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


LBSD 2: Architectural Aspects in Models and Languages

Minimal MPI as Programming Interface for Multicore System-on-Chips

Adan Kohler, Juan Manuel Castillo-Sanchez, Joachim Groß and Martin Radetzki (University of Stuttgart)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

A Functional Language for Describing Reversible Logic

Michael Kirkedal Thomsen (University of Copenhagen)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Integrating Virtual Platforms into a Heterogeneous MoC-Based Modeling Framework

Gilmar Silva Beserra (University of Brasilia), Seyed Hosein Attarzadeh Niaki and Ingo Sander (KTH - Royal Institute of Technology)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


L
BSD 3: System-level Behavioral Modeling and Simulation

Transformation of Event-Driven HDL Blocks for Native Integration into Time-Driven System Models

Ralph Görgen (OFFIS), Jan-Hendrik Oetjens (Robert Bosch GmbH), and Wolfgang Nebel (Carl von Ossietzky University Oldenburg)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Formal Hetergeneous System Modeling with SystemC

Seyed Hosein Attarzadeh Niaki and Ingo Sander (KTH Royal Institute of Technology), Mikkel Koefoed Jakobsen (Technical University of Denmark), and Tero Sulonen (DA-Design Oy)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Extended Framework for System Simulation with Affine Arithmetic

Michael Rathmair, Florian Schupfer, Carna Radojicic (Vienna University of Technology), and Christoph Grimm (TU Kaiserslautern)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


U
MES: Effective Exploitation of the UML Profile for MARTE

A Model-Driven Methodology for the Development of SystemC Executiable Environments

Fernando Herrera, Pablo Peñil, Héctor Posadas and Eugenio Villar (University of Cantabria)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Modeling and Simulation of Secure Wireless Sensor Network

Alvaro Diaz Suarez, Pablo Peñil and Pablo Sanchez (University of Cantabria), Juan Sancho and Juan Rico (TST)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


Special Session: Energy Harvesting and Ultra-Low-Power Design

Energy Harvesting for self-sufficient wireless sensor nodes in Body Area Networks
(Invited presentation)

Robert Kappel (Infineon Austria)

Example-Driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic

Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase (Vienna University of Technology), and Christoph Grimm (TU Kaiserslautern)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Minimum Energy Point of Sub-threshold Operated Pass-transistor Circuits

Aleksandar Pajkanovic (University of Banja Luka), Tom Kazmierski (University of Southampton), and Branko Dokic (University of Banja Luka)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


Special Session: Model Based Design of Electronic Systems in Systems

Polynomial-Metamodeling Assisted Fast Power Optimization of Nano-CMOS PLL Components

Oleg Garitselov, Saraju Mohanty and Elias Kougianos (University of North Texas)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Model-Based Progressive Design and Verification of an Integrated CMOS Magnetic Sensor for Automotive Applications

Gael Close (Melexis) and Gjalt de Jong (Melexis, ArchWorks)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Fast Optimization of Analog Amplifier Architecture Using Simulated Annealing

Sumit Adhikari, Florian Schupfer (Vienna University of Technology), and Christoph Grimm (TU Kaiserslautern)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


Special Session: Modeling and Simulation Challenges Due to Aging and Reliability of Devices
 

Aging in CMOS Devices: From Microscopic Physics to Compact Models

Tibor Grasser (Vienna University of Technology)

Paper      

Compact Model Coding: A Case-Study Using the Verilog-AMS Language

Laurent Lemaitre (Noovela Consulting)

Paper        

Lifetime Simulation Methods for Integrated Circuit Simulation

A. Steinmair, H. Gensinger and Ehrenfried Seebacher (Austriamicrosystems AG)

Paper        

A Map Based System Level Aging Model

Reef Eilers, Malte Metzdorf (OFFIS) and Wolfgang Nebel (University of Oldenburg)

Paper        

Special Session: Invasive Programming of Heterogeneous Multi-Core Systems

An Integrated Simulation Framework for Invasive Computing

Michael Gerndt, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Josef Weidendorfer, Thomas Wild and Aurang Zaib (Technische Universität München), Frank Hannig and Sascha Roloff (University of Erlangen-Nuremberg)

Paper                                                BibTex          IEEE Xplore

Invasive Computing - Concepts and Overheads

Jürgen Teich, Andreas Weichslgartner, Benjamin Oechslein and Wolfgang Schröder-Preikschat (University of Erlangen-Nuremberg)

Paper          Slides (restricted access)         BibTex          IEEE Xplore

Invasive Computing with iOMP

Michael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber and Josef Weidendorfer (Technische Universität München)

Paper          Slides (restricted access)         BibTex          IEEE Xplore


Special Session: Smart Homes

Green Home - a Concept and a Study of Grid Responsiveness

Slobodanka Tomic (FTW) and Jan Haase (Vienna University of Technology)

Paper          Slides (restricted access)        

A PLC Broadband Channel Simulator for Indoor Communications

Giuseppe Marrocco, Driton Statovci (FTW Forschungszentrum Telekommunikation Wien GmbH), and Steffen Trautmann (Lantiq A GmbH)

Paper          Slides (restricted access)

Android Based Home Appliances Simulator

Michael Rathmair and Jan Haase (Vienna University of Technology)

Paper          Slides (restricted access)

Using Circuit Simulation Techniques for Building Automation Simulations

Joseph Wenninger and Jan Haase (Vienna University of Technology)

Paper          Slides (restricted access)


FDL 2012 Closing

European SystemC Users’ Group Meeting

List of FDL 2012 Participants (restricted access)

FDL 2012 Proceedings are available on IEEE Xplore.

FDL 2012 is co-located with S4D! View the S4D 2012 Proceedings.

 

Share it now