Rajiv Murali

Project safety deliverables (Safety Plan, Hazard Analysis, Assurance Case Report) in compliance with Def-Stan 00-55;

Assurance case development for AI-based Systems;

Development of Cyber Security Managment System for Def-Stan 05-139;

Integration of Safety and Cyber Security Risk Managment approach;

Reviews of project safety deliverables;

Planning and management of functional safety work products ISO 26262;
HARA, functional and technical safety concept (FMEA, FTA);
Safety requirements elicitation and cascading to internal and external stakeholders;
Supported improvements to Quality Managment System;

Supported MBSE discussions for ISO 26262, OMG RAAML;

Integration of PhD research outcome within UML/SysML modelling tool Papyrus;

Collaboration with BAE Systems applying research outcome on modelling requirements;

Presented UML and Event-B tool integration at ABZ 2016, Austria;

Presented test case generation work for use cases at FMM&DD 2016, Japan;

Presented extension of research outcome to SysML at CIAO 2017, Edinburgh;

Technical reports produced on UML profile and M2M transformations for use cases;

Mentored summer research interns working on UML at Heriot-Watt University;

PhD student placement within Intelligent Systems team in BAE Systems;

determined challenges in early stages of system development life cycle;

determined practical integration of formal methods with SysML;