Skip to main content
SpringerLink
Log in
Book cover

New Trends in Model and Data Engineering

MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. El Hassan Abdelwahed

    1. Cadi Ayyad University, Marrakesh, Morocco

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ladjel Bellatreche

    1. ISAE-ENSMA, Chasseneuil-du-Poitou, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Djamal Benslimane

    1. LIRIS Lab, University Lyon 1, IUT, Villeurbanne Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Matteo Golfarelli

    1. Computer Science and Information Technology, University of Bologna, Cesena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Stéphane Jean

    1. ISAE-ENSMA, Chasseneuil-du-Poitou, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Dominique Mery

    1. LORIA, Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Kazumi Nakamatsu

    1. University of Hyogo, Himeji, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. Carlos Ordonez

    1. University of Houston, Houston, USA

    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 929)

Included in the following conference series:

Conference proceedings info: MEDI 2018.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (21 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. DETECT 2018 Workshop

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks

      • Sana Younes, Maroua Idi
      Pages 5-16

    3. An MDA Approach for the Specification of Relay-Based Diagrams

      • Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart-Dutilleul
      Pages 17-29

    4. A Problem-Oriented Approach to Critical System Design and Diagnosis Support

      • Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
      Pages 30-39

    5. Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

      • Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar
      Pages 40-49

    6. Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case

      • Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart-Dutilleul, Mohamed Haloua
      Pages 50-62

    7. Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems

      • Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
      Pages 63-74

  3. MEDI4SG 2018 Workshop

    1. Front Matter

      Pages 75-77
      Download chapter PDF

    2. Gamification and Serious Games Based Learning for Early Childhood in Rural Areas

      • Rachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi, Meriem Hafidi
      Pages 79-90

    3. Context-Based Sentiment Analysis: A Survey

      • Oumayma El Ansari, Jihad Zahir, Hajar Mousannif
      Pages 91-97

    4. A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud Computing

      • Omar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou, Salim Elbouanani
      Pages 98-107

  4. IWCFS 2018 Workshop

    1. Front Matter

      Pages 109-111
      Download chapter PDF

    2. Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems

      • Alexander Egyed
      Pages 113-114

    3. Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

      • Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
      Pages 115-129

    4. Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study

      • Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet, Mounir Touzani
      Pages 130-145

    5. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

      • Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
      Pages 146-152

    6. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

      • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 153-158

    7. Handling Reparation in Incremental Construction of Realizable Conversation Protocols

      • Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor
      Pages 159-166

    8. Analyzing a ROS Based Architecture for Its Cross Reuse in ISO26262 Settings

      • Xabier Larrucea, Pablo González-Nalda, Ismael Etxeberria-Agiriano, Mari Carmen Otero, Isidro Calvo
      Pages 167-180
Back to top

Other volumes

  1. Model and Data Engineering

  2. New Trends in Model and Data Engineering

Keywords

About this book

This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.

The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018.

Editors and Affiliations

  • Cadi Ayyad University, Marrakesh, Morocco

    El Hassan Abdelwahed

  • ISAE-ENSMA, Chasseneuil-du-Poitou, France

    Ladjel Bellatreche, Stéphane Jean

  • LIRIS Lab, University Lyon 1, IUT, Villeurbanne Cedex, France

    Djamal Benslimane

  • Computer Science and Information Technology, University of Bologna, Cesena, Italy

    Matteo Golfarelli

  • LORIA, Nancy, France

    Dominique Mery

  • University of Hyogo, Himeji, Japan

    Kazumi Nakamatsu

  • University of Houston, Houston, USA

    Carlos Ordonez

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation