Forum on specification & Design Languages




Smiley face

You can download the FDL 2021 Proceedings here (.zip)

You can view or download the program flyer here (.pdf)

Research Papers

Authors Title Type Session
Mehran Goli and Rolf Drechsler VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes** Regular paper 1.1
Emad Malekzadeh Arasteh and Rainer Doemer Improving Parallelism in System Level Models by Optimizing PDES Performance Regular paper 1.2
Sallar Ahmadi-Pour, Vladimir Herdt and Rolf Drechsler RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems Regular paper 1.3
Sören Tempel, Vladimir Herdt and Rolf Drechsler In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes Regular paper 2.1
Joaquin Aguado and Alejandra Duenas Clock-Synchronised Shared Memory and Model Checking: A Proof of Concept Regular paper 2.2
Senn Eric Introducing CPU load Analysis from AADL Models for ROS applications : a use case Regular paper 2.3
Francesco Lumpp, Marco Panato, Franco Fummi and Nicola Bombieri A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures** Regular paper 3.1
Loic Salmon, Pierre-Yves Pillain, Goulven Guillou and Jean-Philippe Babau A component-based approach for simulation of autonomous underwater vehicle navigation function handling variability of parameters Regular paper 3.2
Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi and Marco Cristani DOHMO: Embedded Computer Vision in Co-Housing Scenarios Regular paper 3.3
Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin and Marten Lohstroh Debugging and Verification Tools for Lingua Franca in Gemoc Studio** Regular paper 4.1
Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz and Franz-Josef Grosch Extracting Mode Diagrams from Blech Code Regular paper 4.2
Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts and Franco Fummi A Common Manipulation Framework for Transistor-Level Languages Regular paper 4.3
Sebastiano Gaiardelli, Stefano Spellini, Michele Lora and Franco Fummi Modeling in Industry 5.0: What Is There and What Is Missing Special session 1 5.1
Romina Eramo, Francis Bordeleau, Benoit Combemale, Mark van den Brand, Manuel Wimmer and Andreas Wortmann On the Role of Model Driven Engineering for Digital Twins Special session 1 5.2
Sébastien Gérard Cognification of MBSE for an Augmented Collaborative Digital Engineering Special session 1 5.3
Jobish John, Amrita Ghosal, Tiziana Margaria and Dirk Pesch DSLs for Model Driven Development of Secure Interoperable Automation Systems Special session 2 6.1
Eugenio Villar, Hector Posadas, Javier Merino and Raul Gomez Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services Special session 2 6.2
Victor Grimblatt The Challenge of Agriculture: Increase the Productivity in a Sustainable Way Special session 2 6.3
Babar Khan Using C, C++ and C# for a wider consensus in High-Level Synthesis Compilers WiP/Ph.D.
Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol and Amira Methni Programming and verifying real-time design using logical time WiP/Ph.D.
Joelle Abou Faysal, Nour Zalmai, Ankica Barisic and Frederic Mallet An Approach to Ensure Safety of Autonomous Vehicles in Planned Trajectories WiP/Ph.D.
Nicola Dall'Ora Faulty Behaviors in Cyber-Physical Production Systems for Analysis Optimization and Maintenance WiP/Ph.D.
Ludovic Marti, Ryana Karaki and Julien Deantoni WIP: Domain Specific Debugging by using RunStaR WiP/Ph.D.
** Best paper Candidate




Is functionally correct correct
enough for IIoT -
or, is it the Right
Time for Real-time?


Digitisation and even digital devices are the motor for many innovations. The importance of uncounted embedded devices is getting more and more attention – not only by computer scientists and nerds, but also in mass media. This newfound visibility also comes with problems. When modern products – such as cars, planes, or washing machines – are not working as expected, most likely the malfunctioning embedded controller is to blame.
The scientific community is already one step ahead. After playing around with consumer products, we now want to bring true innovation into complex structures such as the public power grid, smart city traffic control, or an industrial manufacturing line. The buzzword here is IIoT – the Industrial Internet of Things, a networked architecture of embedded control devices holistically controlling processes rather than products.
There is a difference, though: In automotive and aviation applications, law mandates strict requirements on the safety of devices. In many manufacturing systems however, only market forces mandate reliability requirements. This leads to a "good enough" approach instead of systematic verification and validation techniques, for example where real-time behaviour is involved.
In this panel, we want to discuss the following question: Is reliable real-time behaviour in computing and communication a first class priority when designing such IIoT systems?

Alois Zoitel University of Linz (University, Austria)
Jörg Walter OFFIS (RTO, Germany)
Julio Medina, University of Cantabria (University, Spain)
Mikel Azkarate-askatsua IKERLAN (Industry, Span)
Frank Oppenheimer, OFFIS e.V., Germany

Social Program

The social event will exploit the beauties of the Cote Azur. Departure by boat from Port Vauban in Antibes, we will navigate to the Lerins Islands (off Cannes) to visit the underwater museum or navigate Saint Honorat Island. Finally, we will return through the open sea in the hope of seeing the local dolphins in their natural world. All this before a good dinner next to the port.

Location 4

Location 4 Location 4 Location 3