You can download the FDL 2021 Proceedings here (.zip)
You can view or download the program flyer here (.pdf)
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 |
Abstract:
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?
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.