Skip to main content
SpringerLink
Log in

Advances in Model and Data Engineering in the Digitalization Era

MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Ladjel Bellatreche

    1. ISAE-ENSMA, Chasseneuil, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. George Chernishev

    1. Saint-Petersburg State University, Saint-Petersburg, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Antonio Corral

    1. University of Almería, Almería, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Samir Ouchani

    1. LINEACT CESI, Aix-en-Provence, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Jüri Vain

    1. Tallinn University of Technology, Tallinn, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1481)

Included in the following conference series:

Conference proceedings info: MEDI 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. moDeling, vErification and Testing of dEpendable CriTical systems (DETECT)

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Refinable Record Structures in Formal Methods

      • Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler
      Pages 3-15

    3. Development of Critical Systems with UML/OCL and FoCaLiZe

      • Messaoud Abbas, Fatima Haloua, Ammar Boucherit
      Pages 16-30

    4. Systematic Assessment of Formal Methods Based Models Quality Criteria

      • Lorenzo Maldini, Stephen Wright
      Pages 31-45

    5. Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution

      • Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
      Pages 46-60

  3. Symposium on Intelligent and Autonomous Systems (SIAS)

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings

      • Mads Mørk Beck, Jalil Boudjadar, Yousra Chougui
      Pages 63-77

    3. Edge-to-Fog Collaborative Computing in a Swarm of Drones

      • Dadmehr Rahbari, Muhammad Mahtab Alam, Yannick Le Moullec, Maksim Jenihhin
      Pages 78-87

    4. Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram

      • Khaoula Zaimen, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Laurent Moalic, Abdelhafid Abouaissa, Lhassane Idoumghar
      Pages 88-100

    5. EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles

      • Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frederic Mallet
      Pages 101-111

    6. Bridging Trust in Runtime Open Evaluation Scenarios

      • Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider, Thomas Kuhn
      Pages 112-120

    7. A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key

      • Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
      Pages 121-137

    8. Record Linkage for Auto-tuning of High Performance Computing Systems

      • Sophie Robert, Lionel Vincent, Soraya Zertal, Philippe Couvée
      Pages 138-151

    9. Protecting Sensitive Data in Web of Data

      • Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun
      Pages 152-165

    10. COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection

      • Nicolas Dimeglio, Sébastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani
      Pages 166-178

  4. Control Software: Methods, Models, and Languages (CSMML)

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. Time Insertion Functions

      • Damas P. Gruska
      Pages 181-188

    3. Static Checking Consistency of Temporal Requirements for Control Software

      • Natalia Garanina, Dmitry Koznov
      Pages 189-203

    4. Visual Language for Device Management in Telecommunication Product Line

      • Eugeny Semenov, Sheng Kai, Chen Gen, Dmitry Luciv, Dmitry Koznov
      Pages 204-216
Back to top

Other volumes

  1. Model and Data Engineering

  2. Advances in Model and Data Engineering in the Digitalization Era

Keywords

About this book

This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.

The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.


Editors and Affiliations

  • ISAE-ENSMA, Chasseneuil, France

    Ladjel Bellatreche

  • Saint-Petersburg State University, Saint-Petersburg, Russia

    George Chernishev

  • University of Almería, Almería, Spain

    Antonio Corral

  • LINEACT CESI, Aix-en-Provence, France

    Samir Ouchani

  • Tallinn University of Technology, Tallinn, Estonia

    Jüri Vain

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation