FDL 2014 Proceedings

Share it now


The 2014 Forum on specification & Design Languages

October 14-16, 2014
Munich, Germany

 

FDL 2014 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 2014 Program

FDL 2014 Proceedings (restricted access)

FDL 2014 Proceedings on IEEE Xplore

BibTex of FDL 2014 Proceedings

FDL 2014 Proceedings Publication Information

2014 Forum on specification and Design Languages (FDL), Munich, Germany, October 14-16, 2014

E-ISBN
979-10-9227-04-7

Print ISBN - IEEE Xplore
978-2-9530504-7-9

ISSN
1636-9874

Editors
Dr. Adam Morawiec
Anna Pinzari

ECSI
Electronic Chips & Systems design Initiative

47, chemin de la Croze
38690 Belmont, France
office [at] ecsi [dot] org

FDL 2014 Welcome

Session 1: Formal Models & Verification

Automatic Refinement Checking for Formal System Models

Julia Seiter, Robert Wille, Ulrich Kühne and Rolf Drechsler

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Verifying Consistency Between Activity Diagrams and Their Corresponding OCL Contracts

Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne and Rolf Drechsler

Paper (restricted access)          Slides (restricted access)        BibTex          IEEE Xplore

Verification of Unit and Dimensional Consistencies in Polychronous Specifications

Mahesh Nanjundappa and Sandeep Shukla

Paper (restricted access)          Slides (restricted access)        BibTex          IEEE Xplore

Session 2: Predictability 

A Novel Modeling Framework for Time-Triggered Safety-Critical Embedded Systems 

Iban Ayestaran, Carlos F. Nicolas, Jon Perez, Asier Larrucea Ortube and Peter Puschner

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Towards Simulation Based Evaluation of Safety Goal Violations in Automotive Systems

Oezlem Karaca, Jerome Kirscher, Linus Maurer and Georg Pelz

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

An Extensible Infrastructure for Modeling and Time Analysis of Predictable Embedded   Systems

Fernando Herrera and Ingo Sande

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Session 3: SystemC Modelling and Simulation

Hybrid Dynamic Data Race Detection in SystemC

Alper Sen and Onder Kalaci

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Multi-Level Modeling of Wireless Embedded Systems

Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, François Pêcheux
and Rémi Butaud

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Session 4: Work-in-Progress 

PowerMonitor: A Versatile API for Automated Power-Aware ESL Design 

Yasaman Samei and Rainer Dömer

Paper (restricted access)          Slides (restricted access)         Poster (restricted access)
BibTex          IEEE Xplore

A Concept for Design of Embedded Systems at Semantic Level

Frank Wawrzik, Javier Moreno and Christoph Grimm

Paper (restricted access)          Slides (restricted access)         Poster (restricted access)  BibTex          IEEE Xplore

Session 5: Parallel Simulation and Verification 

metaSMT: A Unified Interface to SMT-LIB2

Heinz Riener, Mathias Soeken, Clemens Werther, Goerschwin Fey and Rolf Drechsler

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

A Comparison of Parallel SystemC Simulation Approaches at RTL

Bastian Haetzer and Martin Radetzki

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Session 6Requirements
 

Automating the Translation of Assertions Using Natural Language Processing Techniques

Mathias Soeken, Christopher B Harris, Nabila Abdessaied, Ian G Harris and Rolf Drechsler

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Semi-formal Representation of Requirements for Automotive Solutions Using SysML

Liana Musat, Andi Buzo, Markus Hübl, Georg Pelz, Susanne Kandl and Peter Puschner

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

A Property Language for the Specification of Hardware-Dependent Embedded System    
    Software
Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel and Wolfgang Kunz

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Session 7: Parallel Architectures

Distributed, Loosely-Synchronized SystemC/TLM Simulations of Many-Processor Platforms

Christian Sauer, Hans-Martin Bluethgen and Hans Peter Loeb

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Dependable Task and Communication Migration in Tiled Manycore System-on-Chip

Stefan Wallentowitz, Volker Wenzel, Stefan Rösch, Thomas Wild, Andreas Herkersdorf and  Jörg Henkel

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Synthesizing Code for GPGPUs from Abstract Formal Models

Gabriel Hjort Blindell, Christian Menne and Ingo Sander

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Session 8: Natural Language Processing for Requirements Formalization 

Quality Assessement for Requirements based on Natural Language Processing

Mahtias Soeken, Nabila Abdessaied, Arman Allahyari-Abhari, Andi Buzo, Liana Musat, Georg Pelz and Rolf Drechsler

Paper (restricted access)       

Weighted Dependency Graphs as a New Representation Model : General Study for Text Extraction and Compression

Marinna Litvak and Natalia Vanetik

Paper (restricted access)          

(Semi-)Automatic Translation of Legal Regulations to Formal Requirements : Expanding the Horizon of EDA Applications
Oliver Keszocze, Betina Keiner, Matthias Richter, Lucjan Suchy and Robert Wille

Paper (restricted access)         

 

Session 9: Power 
 
Towards Satisfaction Checking of Power Contracts in Uppaal

Gregor Nitsche, Kim Gruettner and Wolfgang Nebel

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

SystemC-AMS Power Electronic Modeling with Ideal Instantaneous Switches

Leandro Gil and Martin Radetzki

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Execution of Heterogeneous Models for Thermal Analysis with a Multiview Approach

Amani Khecharem, Carlos Gomez Cardenas, Julien Deantoni, Frédéric Mallet and
     Robert De Simone

Paper (restricted access)          Slides (restricted access)         BibTex          IEEE Xplore

Demo Night 

Rapid Prototyping of Floating Point AWGN Channel Using High-Level Synthesis

Syed Azhar Ali Zaidi, Maurizio Martina and Guido Masera

Paper (restricted access)          

Trace-Based Power State Machine Modelling

Daniel Lorenz, Vincent Ortland and Kim Gruettner

Paper (restricted access)         

Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation

Markus Becker and Christoph Kuznik

Paper (restricted access)          

Experiencing the Multi-Path Schedulability Analysis Capabilities in MAST 1.5

Julio Medina, Michael González Harbour, J. Javier Gutiérrez, José Carlos Palencia, César Cuevas,
            Patricia López Martínez and José M. Drake

Paper (restricted access)          

Customization of the Runtime Verification of Hardware/Software Virtual Platforms in ISIS

Laurence Pierre and Martial Chabot

Paper (restricted access)         

ProMARTES Toolkit for Cycle-accurate Performance Analysis of Real-Time Distributed Systems

Konstantinos Triantafyllidis, Egor Bondarev and Peter H.N. De With

Paper (restricted access)          

A Dive into Opensource Verification Language

Vlang Puneet Goel and Sumit Adhikari

Paper (restricted access)          

 

FDL 2014 List of Participants (restricted access)

 
Share it now