1
Thesis Title: From UML/MARTE Component Based Specifications to CSP-OZ Specifications
Author: Khaled Nassir Alsayeh, Supervisor: Mohamed Bettaz, Year: 2018
Faculty: Information Technology, Department: Computer Science

Abstract: UML is a language designed for general purpose modelling. It has profiles that provide generic extension to customize the models for specific languages and domains. MARTE is a UML profile used for modelling Real-time and embedded systems. It has been used to facilitate such systems, also has been utilized to handle intra-concurrency feature that is presented by its component RtUnit (Real-time Unit); is similar to the active object, which may be seen as an autonomous execution resource, able to handle different messages at the same time. However, MARTE does not have the ability to formally verify some properties of the modelled system such as deadlock and liveness. Therefore, this research work proposes the transformation of UML/MARTE models into the CSP-OZ; a formal specification language that combines the Object-Z specification language with process algebra CSP, to solve the problem of formal verification issues. The transformation between UML/MARTE and CSP-OZ will be straightforward, since both of the frameworks are sharing the same core abstraction. This thesis work will contribute in twofold. Firstly, to best of our knowledge this work is the first whose transform UML/MARTE model (RtUnit) to CSP-OZ specification. Secondly, defining the transformation rules from UML/MARTE to CSP-OZ specification. This transformation represents the first step of solving MARTE problem in formal verification issues. As a result, this thesis work presents eight different rules for transforming UML/MARTE component (RtUnit) to CSP-OZ specification, these rules have been applied on the case study (Cruise Control System).

Keywords: UML, MARTE, CSP-OZ

2
Thesis Title: An Efficient Multi-Destinations Trip Planning Protocol for Intelligent Transport System
Author: Hisham Jaber Naseir Siam, Supervisor: Maram Bani Younes, Year: 2018
Faculty: Information Technology, Department: Computer Science

Abstract: Road congestion results in a huge waste of time and productivity for millions of people. Selecting the optimal path for vehicles, based on the real-time traffic information, is a possible way to deal with this problem, which, in turn, can help drivers decide to route around congested areas. Several studies have been proposed in this field using the intelligent transport system technology (ITS). ITS describe technology applied to vehicles as well as infrastructure to transfer information between them for improving safety, productivity and minimizing traffic congestion. Information can be gathered by relying on transceivers placed at each vehicle and road side units (RSUs) placed at specific road locations to gather vehicles data which will include their location, speed, destination and travel time. Although this technology has been widely exploited, existing studies have never addressed the issue of multi-destinations trip. For this reason, in this work, we propose a Multi-Destination trip Planning Protocol (MDPP). Drivers intend to visit more than one destination at the same trip is a common scene over the road network. We aim to advice these drivers by considering the location of each destination in the trip and the real-time traffic information of the road network. MDPP will recommend the best sequence of visiting the targeted destinations. MDPP aims mainly to decrease the traveling time, fuel consumptions and gas emissions of each trip. To evaluate our work and the effectiveness of MDPP, we developed a simulation experiment that has been executed repeatedly 30 times using different traffic scenarios and congestion levels. Since previous studies have not tackled multi-destinations trip planning, we compared MDPP results with default used common sequences for visiting multiple destinations, they are Closest Destination First sequence and Random Destination First sequence. The results of the simulation experiment showed that MDPP is outperforming both default common sequences.

Keywords: ITS, Vehicular Network, Path Planer Protocol, Multi-destinations, Downtown

3
Thesis Title: A Bio-inspired Unified Modeling Language Class Diagram Variability Modeling
Author: Kifaya Ahmad Al Shalabi, Supervisor: Said Ghoul, Year: 2018
Faculty: Information Technology, Department: Computer Science

Abstract: Recently, Software Product Lines (SPLs) is a widely used approach to represent the variability modelling in variant software products. Feature Model (FM) is the most important technique used to define and manage the variability through products in SPLs. Software design variability model, simplifying the maintenance process, is an emerging approach in software engineering and is therefore important. One of ways to represent the software design is by using UML class diagram model. The design modelling using UML class diagram is still a challenge because it needs specific model for each system requirements, and it does not support variability meta modelling at several levels. Many researches dealt with class diagram variability modelling, but all of them are far from real world, and the feature models they are based on are not covering all class diagram concepts. In addition, the current approaches are not supported by a complete modelling methodology )domain variability modelling, application family modelling, specific application modelling). So, this thesis proposes a complete methodology (guiding from domain variability modelling in class diagrams to application specific class diagrams generation) and formal methodology dealing with the above shortages. Its process is carried out through Domain variable class diagram meta modelling, variable application family class diagram generating, and application specific class diagram generating. Bio-inspired, it decreases the gap between computing concepts and real world ones. It supports class diagram variability modelling by introducing versions and revisions features and related relations. A comparative evaluation with the closest recent works, upon some meaningful criteria in the domain, shows the conceptual value of the proposed methodology and leads to promising research perspectives.

Keywords: Bio-inspired, Unified Modeling Language, Class Diagram, Variability Modeling

4
Thesis Title: Path Planning in Nonholonomic System Using Hybridization of Voronoi and Q-Learning Algorithms
Author: Mustafa M. Hassan, Supervisor: Moayed A. Fadhil Al-athami, Year: 2018
Faculty: Information Technology, Department: Computer Science

Abstract: Robot movement in an environment may collide with obstacles. Path planning is an important part of a navigation system which is composed of four parts: presentation, localization, path planning and path execution. The path planning part is defined as a series of movement that leads the mobile robot to move from the starting point to the target without colliding with any obstacle. The mobile robot path planning is very important especially in the environment where it's very dangerous for humans to work in such as heavy workshops, power electric environment etc. The aim of this study is to solve path planning problems by using the hybridization of Voronoi and Q-learning algorithms. The Voronoi algorithm has the ability to obtain an obstacle position represented by multiple points in space. On the other hand, Q-learning has a good performance in navigation strategy. The simulation of the proposed work has the ability to use a different style of maps that represent the robot, the target, and the obstacle positions. The application areas of the proposed work are considered as mechatronics engineering, industrial, and robotics. The evaluation process is performed in two main scenarios: the first one in static environment whiles the second one in the dynamic environment. Finally, a comparison with other related works is performed and the result of this comparisons shows that our algorithm provides better performance in terms of wasting the space and the time needed to reach the target.

Keywords: Path Planning, Nonholonomic System, Hybridization, Voronoi, Q-Learning Algorithms

5
Thesis Title: Using the Software Resource Model Sub-Profile for Multiscale Coupling Library and Environment Simulation Platform Modeling
Author: Mujahed Ahmad Ibrahim, Supervisor: Mohamed Bettaz, Year: 2018
Faculty: Information Technology, Department: Computer Science

Abstract: This research work proposes a development methodology that aims to adopt the UML/MARTE through its SRM and bridging the gap between the e-science and Software Engineering communities. In recent years it has been noticed that the design practices are moving from traditional code-based engineering to Model-Driven Engineering (MDE) approaches. In UML, a profile can be defined to customize the standard model elements for specific purposes. A profile furthermore defines one or more UML stereotypes in order to mark a type as a representation of a particular kind of object. In the Real-time and Embedded Systems (RTES) domain, the UML/MARTE is used. MARTE has a Generic Resource Model (GRM) profile which offers the concepts that are necessary to model a general platform for executing real-time embedded applications. The GRM has two profiles (SRM and HRM) acting as API. SRM (Software Resource Model) is a UML profile used to describe API of software execution and allows users to describe RTE API and specific RTE libraries (middleware) as well; which are involved in the design cycle. As a motivation and after deeper study conducted on the e-science and Software Engineering fields, we have found that both UML/MARTE and Distributed Multiscale Modeling and Simulation (DMMS) modelers are using similar modeling methodology (Y structure design). Furthermore, the fact that SRM sub-profile can be used to model OS (for instance: RTOS) as well as modeling specific RTE libraries or Middleware (in DMMS; MUSCLE might be seen as a kind of middleware). This motivated us to go forward in reusing the SRM sub-profile in the context of the simulation domain. As a result, the proposed software development methodology is applicable for some of MUSCLE core elements, some other elements could not be modeled by SRM due to the incompatibility issues with SRM stereotypes. Due to the result, it has been concluded that using the second way of modeling (extending the SRM) would be better for modeling all the core elements of MUSCLE.

Keywords: Resource Model, Sub-Profile, Multiscale