School of Mechanical, Electrical and Manufacturing Engineering


Title of PhD: Formal Methods for Analysis and Discovery of Functional Failure States

Rosmira's research will focus on Formal Methods for analysing the Safety Critical System requirements of Cyber Physical Systems from the early stage of development.

The novelty of this research will be to extend the traditional fault tree type of failure analysis to a formal architectural and behavioural model of the system that more completely and precisely allows for the discovery and analysis of functional failure states.

Rosmira earned her Bachelor of Electrical Engineering (Electronics) from the University Malaysia Pahang and her Master of Manufacturing Systems Engineering from the Universiti Putra Malaysia