New trends in model and data engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings

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. Front Matter ....Pages I-IX Front Matter ....Pages 1-3 Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks (Sana Younes, Maroua Idi)....Pages 5-16 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 A Problem-Oriented Approach to Critical System Design and Diagnosis Support (Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy)....Pages 30-39 Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets (Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar)....Pages 40-49 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 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 Front Matter ....Pages 75-77 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 Context-Based Sentiment Analysis: A Survey (Oumayma El Ansari, Jihad Zahir, Hajar Mousannif)....Pages 91-97 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 Front Matter ....Pages 109-111 Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems (Alexander Egyed)....Pages 113-114 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 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 Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor)....Pages 146-152 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 Handling Reparation in Incremental Construction of Realizable Conversation Protocols (Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor)....Pages 159-166 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 Front Matter ....Pages 181-183 Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events (Syrine Aouadi, Arnaud Lanoix)....Pages 185-199 Systematic Construction of Critical Embedded Systems Using Event-B (Pascal André, Christian Attiogbé, Arnaud Lanoix)....Pages 200-216 Component Design and Adaptation Based on Behavioral Contracts (Samir Chouali, Sebti Mouelhi, Hassan Mountassir)....Pages 217-230 Towards Real-Time Semantics for a Distributed Event-Based MOP Language (Mateo Sanabria, Wilmer Garzón Alfonso, Luis Daniel Benavides Navarro)....Pages 231-243 Front Matter ....Pages 245-245 Automatic Planning: From Event-B to PDDL (Sabrine Ammar, Mohamed Tahar Bhiri)....Pages 247-254 Back Matter ....Pages 255-255