Model Based System Engineering (MBSE) for Industrial Control Systems

Thesis Title:    A Model-driven Modbus based Data Acquisition Framework for Industrial Control Systems
Student Name: Muhammad Nauman Zafar
Status: Completed
Overview: This master thesis introduces a novel Model-driven Modbus based Data Acquisition Framework for Industrial Control Systems. Particularly, a UML profile is developed to represent the data acquisition requirements for distributed control systems. Subsequently, transformation engine is developed to automatically generate Modbus client and server implementations from the models.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Model-driven Framework for Generating Process Control Alarms with Mobile Client Support
Student Name: Hanny Tufail
Status: Ongoing
Overview: This master thesis introduces a novel Model-driven framework for generating process control alarms with cross-platform mobile client support. Particularly, a UML profile is developed to represent alarm configuration requirements. Subsequently, transformation engine is developed to automatically generate Alarm Server and mobile client implementations from the models.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Model-driven Framework to Develop Mobile Human Machine Interface (HMI) Screens for Industrial Control Systems
Student Name: Iqra Qasim
Status: Ongoing
Overview: This master thesis introduces a novel Model-driven framework for the development of mobile HMI screens. Particularly, a UML profile is developed to represent HMI screen component like cylinders, nobs, dynamics etc. along with respective configurations. Subsequently, transformation engine is developed to automatically generate mobile HMI screen implementations (Android) from the models.

Model Based System Engineering (MBSE) for Embedded Systems

Thesis Title:    A Model-driven Approach for Formal Verification of Embedded Systems in Timed Automata
Student Name: Aamir Naeem
Status: Completed
Overview: This master thesis introduces a novel approach to represent the embedded systems design in UML State Machine Diagram (SMD) along with verification properties. Subsequently, transformation engine is developed to automatically generate timed automata model along with CTL properties from the SMD. Finally, design verification is performed in UPPAAL tool.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Model-driven Approach for Formal Verification of Embedded Systems in Timed Colored Petri nets
Student Name: Faleeha Moin
Status: Ongoing
Overview: This master thesis introduces a novel approach to represent the embedded systems design in UML State Machine Diagram (SMD) along with verification properties. Subsequently, transformation engine is developed to automatically generate timed colored petri nets target model along with verification properties. Finally, design verification is performed in CPN Tools.

Blend of Machine Learning and MBSE for System Development

Thesis Title:    Automated Software Design (Class Diagram) Generation from User Requirements Using Natural Language Processing
Student Name: Mudassar Adeel Ahmed
Status: Completed
Overview: This master thesis presents a AR2DT (Automated Requirement to Design Tool) by applying Natural Language Processing (NLP) techniques to automatically convert the draft written in natural language to the UML class diagram.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    Automated Generation of Interaction Flow Modeling Language (IFML) Model from Natural Language
Student Name: Maryam Hamdani
Status: Completed
Overview: This master thesis introduces a novel Natural Language Processing (NLP) approach to automatically generate IFML models from the requirements written in natural language. As a part of research, complete tool support is provided.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Novel Framework to Generate Business Process Model and Notation (BPMN) Models for Real-time Systems from Plain Text Requirements
Student Name: Bilal Maqbool
Status: Ongoing
Overview: This master thesis introduces a novel framework to auto generate BPMN models for real time systems from plain text requirements. Particularly, Natural Language Processing (NLP) rules are developed especially for real time system properties like timer, conditional, signal, error and cancel events, complex and parallel event based gateways. Subsequently, a XMI is generated containing BPMN artifacts for exchanging metadata information via Extensible Markup Language across different BPMN modeling tools.

Model Based System Engineering (MBSE) for System Design and/or Verification

Thesis Title:    Modeling and Verification of Complex Processes in Event-driven Process Chain (EPC)
Student Name: Anam Amjad
Status: Completed
Overview: This master thesis introduces the modeling and verification of atomic and complex events in EPC using any UML modeling tool. No restriction of proprietary tools anymore. The profile UMLPACE (Unified Modeling Language Profile for Atomic and Complex events in EPC) has been developed. Furthermore, complete tool support is provided.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Model- Driven Approach for Design and Analysis of Physical Infrastructures Security
Student Name: Sami ul Haq
Status: Completed
Overview: This master thesis attempts to provide a model driven framework to enable the design and analysis of physical infrastructures security. A software industry standard, Unified Modeling Language (UML) has been extended to model the concepts of physical security echelons. Subsequently, the automatic generation of Bayesian Network (BN) models for facilitating what if analysis of different system configurations.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    Automated Model-based UI Test Case Generation from Interaction Flow Modeling Language (IFML) Models
Student Name: Nazish Ali
Status: Completed
Overview: This master thesis proposes a model based testing approach based on IFML (Interaction Flow Modeling Language). The proposed approach provides complete navigation testing. The approach transforms the IFML model in to all the UI testing related artifacts that are needed by developers and testers by providing state transition matrix along-with detailed UI test case document.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Model driven framework for the Development of Mobile User Interfaces
Student Name: Mehreen Khan
Status: Ongoing
Overview: This master thesis introduces a novel Model-driven framework for the development of mobile user interfaces. Particularly, a UML profile is developed to represent mobile interfaces requirements. Subsequently, transformation engine is developed to automatically generate mobile user interface implementations in react native framework from the models.

Machine Learning / Artificial Intelligence

Thesis Title:    Comparative Analysis of EMG signal Features in Time-domain and Frequency-domain using MYO gesture control
Student Name: Haider Ali Javaid
Status: Completed
Overview: This master thesis proposes a novel approach for the classification and recognition of hand gestures using electromyography (EMG) signals with aim of controlling upper-limb prosthesis. The representation is based on measuring the EMG signals through an embedded system by using a wearable band of MYO gesture control. To observe the behavior of these change movements, the EMG data of 4 healthy male subjects performing 4-upper limb movements is acquired. Subsequently, the real time classification is performed.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    A Novel Ensemble of Classifiers for Feature Selection to Improve Sentimental Analysis
Student Name: Ali Athar
Status: Completed
Overview: This master thesis proposes a novel feature selection approach to improve the classification accuracy for sentimental analysis. Particularly, an ensemble of Support Vector Machine (SVM) and Nave Bayes (NB) is proposed for feature selection. Subsequently, the classification is performed through SVM in benchmark dataset. Results shown that classification accuracy is significantly improved as compared to state-of-the-art approaches.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Thesis Title:    Automated Test Case Generation from User Specifications using Natural Language Processing
Student Name:Imran Ahsan
Status: Completed
Overview: This master thesis deals with the automated test case generation from the draft written in natural language to verify the system design in early development phases.

++++++++++++++++++++++++++++++++++++++++++++++++++++++