New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

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