DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry
John, Jobish, Ghosal, Amrita, Margaria, Tiziana, Pesch, Dirk
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Debugging and Verification Tools for Lingua Franca in Gemoc Studio
Deantoni, Julien, Cambeiro, Joao, Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
DOHMO: Embedded Computer Vision in Co-Housing Scenarios
Skenderi, Geri, Bozzini, Alessia, Capogrosso, Luigi, Agrillo, Enrico Carlo, Perbellini, Giovanni, Fummi, Franco, Cristani, Marco
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Introducing CPU load Analysis from AADL Models for ROS applications : a use case
SENN, Eric, BOURDON, Lucie
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services
Merino, Javier, Gomez, Raul, Posadas, Hector, Villar, Eugenio
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Improving Parallelism in System Level Models by Assessing PDES Performance
Arasteh, Emad Malekzadeh, Domer, Rainer
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes
Goli, Mehran, Drechsler, Rolf
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
The Challenge of Agriculture: Increase the Productivity in a Sustainable Way
Get full text
Conference Proceeding
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems
Ahmadi-Pour, Sallar, Herdt, Vladimir, Drechsler, Rolf
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
A Common Manipulation Framework for Transistor-Level Languages
Dall'Ora, Nicola, Azam, Sadia, Fraccaroli, Enrico, Alberts, Andre, Fummi, Franco
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Synchronised Shared Memory and Model Checking: A Proof of Concept
Aguado, Joaquin, Duenas, Alejandra
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures
Lumpp, Francesco, Panato, Marco, Fummi, Franco, Bombieri, Nicola
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding
Extracting Mode Diagrams from Blech Code
Lucas, Daniel, Schulz-Rosengarten, Alexander, von Hanxleden, Reinhard, Gretz, Friedrich, Grosch, Franz-Josef
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)
Get full text
Conference Proceeding