Program

	Monday, 9 October	Tuesday, 10 October	Wednesday, 11 October
9:00 -   9:30		Registration	Registration
9:30 - 10:30		Session chair: György Réthy Keynote: IoT & 5G: Opportunities and Technologies / Gergely Seres	Session chair: Reinhard Gotzhein Keynote: System configuration, dynamic reconfiguration and upgrade - Modeling at rescue / Ferhat Khendek
10:30 - 11:00		Model-based Regression Testing of Autonomous Robots / David Hon, Gabor Molnar, Zoltan Micskei and Istvan Majzik
11:00 - 11:30		coffee break	coffee break
11:30 - 12:00		Session chair: Ferhat Khendek Intelligent Resilience in the IoT / Edel Sherratt	Session chair: Joachim Fischer 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		Lunch	Lunch
13:45 - 14:15	Registration	Session chair: Edel Sherratt 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	Session chair: Gábor Kovács Interactive Visualization of Software / Markus Scheidgen, Nils Goldammer, and Joachim Fischer	coffee break
15:15 - 15:45	Static Syntax Validation for Code Generation with String Templates / Dorian Weber and Joachim Fischer	Session chair: Tibor Csöndes Demos: 1.  How to find bugs in C++ code (CodeChecker) / Dániel Krupp 2. IoT Testing using an open source MBT toolchain (Papyrus/Diversity/Titan) / Erwan Mahe
15:45 - 16:15	On the Impact of the SDL Forum Society Conferences on Academic Research / Daniel Amyot, Abdelwahab Hamou-Lhadj, and Jameleddine Hassine
16:15 - 17:15	Annual General Meeting of the SDL Forum Society
17:30 - 22:00	Reception at the venue	Social Event Tram No2. ride ca 19:00 Budapest Eye ca 20:00 Zeller Bistro

 

Keynote presentation

Gergely Seres

Title: IoT & 5G: Opportunities and Technologies

Abstract: The Internet of Things is driving a rapid transformation in many industry segments, optimizing and automating manufacturing, transportation, healthcare, and smart cities. This brings about a strong increase in the number of connected devices: by 2022 the number of IoT devices is forecasted to reach 18 billion, exceeding the 11 billion traditional devices expected by then. This talk is going to take you through the use cases behind this transformation, and introduce you to the 5G technologies that the mobile industry is developing to address the new opportunities and challenges this transformation presents to the communications infrastructure.

Gergely Seres is currently serving as Expert and Chief Architect of Software Technology at Business Area Digital Services R&D in Ericsson. He received his PhD degree from the Budapest University of Technology and Economics. During his 19+ years at Ericsson, he has held various positions in research, system engineering, line and product management. He has extensive experience in telecom solutions, carrier grade software systems, and model based software engineering. His current focus is on the area of the Internet of Things.

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.