9 October

10 October

11 October

 9:00 -   9:30   Registration
 9:30 - 11:00

Keynote: TBD / Gergely Seres


Keynote: System configuration, dynamic reconfiguration and upgrade - Modeling at rescue / Ferhat Khendek

11:00 - 11:30 coffee break
coffee break
11:30 - 12:00 Intelligent Resilience in the IoT /
Edel Sherratt
Automated Tooling for the Evolving SDL Standard: From Metamodels to UML Pro les /
Alexander Kraas
12:00 - 12:30 An Ontology-based Approach for IoT Data Processing using Semantic Rules /
Ahmed Bali, Mahmud Al-Osta, and Abdelouahed Gherbi

An Automated Change Impact Analysis Approach to GRL Models /
Hasan Salim Alkaf, Jameleddine Hassine, Abdelwahab Hamou-Lhadj, and Luay Alawneh

Closing the Conference

12:30 - 13:45

13:45 - 14:15 Registration

Model-driven engineering of an openCypher engine: using graph queries to compile graph queries /
Jozsef Marton, Gabor Szarnyas and Marton Bur

14:15 - 14:45 Opening Conference

A Model-Driven Process Enactment Approach for Network Service Design
Sadaf Musta z, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, and Maria Toeroe

14:45 - 15:15 Interactive Visualization
of Software
Markus Scheidgen, Nils Goldammer, and Joachim Fischer

Model-based Regression Testing of Autonomous Robots /
David Hon, Gabor Molnar, Zoltan Micskei and Istvan Majzik

15:15 - 15:45 Static Syntax Validation for Code Generation with String Templates /
Dorian Weber and Joachim Fischer
coffee break
15:45 - 16:15 On the Impact of the SDL Forum Society Conferences on Academic Research /
Daniel Amyot, Abdelwahab Hamou-Lhadj, and Jameleddine Hassine


1. How to find bugs in C++ code


16:15 - 17:15 Annual General Meeting
of the SDL Forum Society
18:00 - 22:00  
Social Event


Keynote presentation

Ferhat Khendek

Title: System configuration, dynamic reconfiguration and upgrade - Modeling at rescue

Abstract: Model Driven Engineering (MDE) is becoming a widely accepted paradigm for software development. However, very little has been achieved in software management, like software configuration, dynamic reconfiguration, upgrade, etc. In this presentation we will introduce and discuss the challenges of software configuration, dynamic reconfiguration, upgrade, especially under the constraint of high availability, a common requirement for carrier grade services. We discuss how model driven methods can help in tackling these challenges.

Ferhat Khendek received his PhD from University of Montreal, Canada. He is a full professor in the department of Electrical and Computer Engineering of Concordia University where he also holds since 2011 the NSERC/Ericsson Senior Industrial Research Chair in Model Based Software Management, a major collaboration between Ericsson and Concordia University.  Ferhat Khendek‘s research interests are in model based software systems engineering and management, formal methods, validation and testing, and service engineering and architectures.  



Ferhat Khendek keynote at the website
System configuration, dynamic reconfiguration and upgrade - Modeling at rescue


Registration is open.

Important Date

SDL Forum: October 9-11, 2017

18th System Design Languages Forum

October 9-11, 2017 - Budapest, Hungary