University of Nottingham Malaysia
School of Mathematical Sciences

Image of Rosmira Roslan

Rosmira Roslan

Assistant Professor, Faculty of Engineering


Teaching Summary

I started teaching Calculus early 2020.

I am interested in learning (and enhancing skill in) software programming such as Phyton. My target is to convert transformation methods that I developed for my research into an application.

Past Research

Research Title: Formal Transformation for Automated Fault Tree Generation from UML Diagrams

This research focused on developing transformation methods that promises automated Fault Tree generation from system models that are presented in the Unified Modelling Language (UML). The main part of these methods is a generating a functional Fault Tree from UML Activities to capture the behavioural failure aspect of a system. The key features of the methods include i) the use of propositional calculus and probability theory to establish a mathematical foundation that ensures the generated Fault Trees are semantically equivalent to their source models, ii) the development of the Fault Propagation Chain which serves as a bridge to connect the system architectural viewpoint and system failure viewpoint, and iii) a set of overarching metamodels that unifies relevant UML metamodeld and Fault Tree metamodel to facilitate tool development.

University of Nottingham Malaysia

Jalan Broga, 43500 Semenyih
Selangor Darul Ehsan

telephone: +6 (03) 8924 8000
fax: +6 (03) 8924 8001

Make an enquiry