Skip to main content

WMG People



Senior Research Fellow


University of Warwick
T:   +44 (0)24765 28901
W:   My LinkedIn Profile.

Research Interests

Systems Modelling in SysML; V&V using Formal Methods; Model Based Systems Engineering; Functional Safety; STPA, ISO 26262; Safety-Critical Systems; Connected and Autonomous Vehicles.


Dr. Arun Rao completed his B.Tech. and M.Tech. degrees in Engineering from IIT-Kanpur and IIT-Madras respectively before earning a PhD in Computing Sciences & Engineering from the Software Technology Research Laboratory (now part of Cyber Technology Institute: at De Montfort University, Leicester, in 2002.

He has worked in the Software and Automotive Industries in varied fixed-term and permanent roles ranging from Software Development, Test and Maintenance Engineer Roles (at Infosys Technologies Limited, a global leader in technology services and consulting) to Technical Lead in a Specialist R&D and Technology Transfer Lead Engineer Role (at General Motors, a globally recognised automotive company).

His automotive R&D experience includes work at the Division of Safety Critical Systems, OFFIS R&D Institute, Oldenburg, Germany, International Automotive Research Centre, WMG , Coventry and General Motors Technical Centre India, Bangalore, in various (collaborative) projects with automotive as well as other OEMs and suppliers including DaimlerChrysler, QinetiQ and Jaguar Land Rover.

His aerospace R&D (civil and defence) experience includes a role as Rolls-Royce (Sheffield UTC) Research Fellow leading their core aerospace R&D work in Multi-disciplinary Modelling and Control, during 2012-2016, working with teams across Rolls-Royce locations including Derby, Bristol and Indianapolis.

He joined the UK Government's AMSCII funded PICASSOS project to bring his research background and industrial experience in the areas of Industry-strength Formal Verification, Functional Safety, ISO 26262 and MBSE . He is currently employed as a Senior Research Fellow on the Innovate UK funded UK-Connected and Intelligent Transport Environment (CITE) and Smart ADAS V&V Methodology (SAVVY) projects, which are carried out in close collaboration with numerous industrial and research partners.

Apart from technical outputs including prototype software tools , incorporating advanced formal methods based techniques, for use in industrial applications (e.g., automotive electronic software-intensive systems), proof-of-concept systems modelling and associated model integration software for advanced analyses (e.g., aircraft engine performance analysis), he has published various technical reports for industrial partner companies as well as conference and journal papers . He also holds one US patent for work done with colleagues whilst at General Motors R&D.

As part of the overall research and development roles, he has i) developed industry-strength prototype formal verification tools evaluated and used at global automotive and aerospace companies ii) led the research on evaluation and introduction of advanced formal methods based techniques and tools within the Premium Automotive R&D (PARD) programme at Warwick iii) contributed to proposal development , including internal company proposals, EPSRC and Innovate UK, iv) delivered technical presentations/customer keynote/demos to internal company R&D/Engineering divisions and in external events such as MATLAB Expo, Mathworks Virtual Conference and PICASSOS Safety-Critical Systems Event, v) serves as a member/Program Committee (PC) member of professional organisations such as INCOSE, IET, IEEE and SAE and vi) has reviewed / regularly reviews various industry-track and regular conference papers for INCOSE and SAE in the areas of Automotive and Aerospace Systems and Software Engineering.

Additional (voluntary) activities carried out occasionally, within current role, include i) Development and/or delivery of (new) Technical Accreditation Scheme (TAS) modules for Jaguar Land Rover employees in the area of Functional Safety, Formal Methods, Requirements Engineering and STPA, ii) Supervision of MSc. projects in the area of Programme and Project Management, Engineering Business Management, the Systems Engineering Technical Leadership Programme designed for General Electric (GE) - Aviation and the new MSc. in Smart Connected and Autonomous Vehicles & iii) Serving as a Personal Tutor for MSc. tutees in the areas of e-Business Management, Innovation and Entrepreneurship and/or Engineering Business Management.


  • Chakrapani Rao, Arun, Liu, Jun, 2014. Advances in addressing challenges in complex control systems design. IFAC Proceedings Volumes, 47 (1), pp. 955-958, View
  • Chakrapani Rao, Arun, McMurran, Ross, Jones, R. Peter, 2008. A critical analysis of model-based formal verification efforts within the automotive industry. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 1 (1), pp. 77-83, View
  • Chakrapani Rao, Arun, 2017. Using simulink and stateflow for model checking of system models. PICASSOS Formal Methods Seminar, British Motor Museum, Gaydon, 28 Feb 2017, Published in Proceedings of the PICASSOS Formal Methods Seminar, View
  • Chakrapani Rao, Arun, 2017. More automated formal methods?! If so, why, where & how?. Automated Formal Methods (AFM) 2017 Workshop in association with NASA Formal Methods (NFM) 2017, Menlo Park, California, USA, 19 May 2017, Published in Proceedings of the 2017 Automated Formal Methods (AFM) Workshop 2017, View
  • Chakrapani Rao, Arun, 2014. Model based systems engineering for complex aerospace systems. Invited Talk at Airbus as part of UKIERI Visit, Bengaluru (formerly Bangalore), India, 12 Mar 2014, View
  • Chakrapani Rao, Arun, Kakade, Rupesh, Murugesan, Mohan, 2013. Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software. MATLAB Virtual Conference 2013 - European Track, Sheffield, United Kingdom, 20 Mar 2013, View
  • Chakrapani Rao, Arun, Dixit, Manoj G., 2010. New math-based analysis techniques for next-gen feature requirements. General Motors Fall 2010 Kettering Forum, Detroit, Michigan, USA, 20 Oct 2010, Published in General Motors Fall 2010 Kettering Forum Proceedings, View
  • Chakrapani Rao, Arun, Dhadyalla, Gunwant, Jones, R. Peter, McMurran, Ross, 2006. Systems modelling of a driver information system - automotive industry case study. IEEE/SMC International Conference on System of Systems Engineering, Los Angeles, CA, 24-26 Apr 2006, Published in Proceedings of the 2006 IEEE/SMC International Conference on System of Systems, pp. 240-245, View
  • Chakrapani Rao, Arun, 2006. Evaluation of formal verification technology for model-based development of automotive software. Premium Automotive R&D Conference, Coventry, UK, 09 Mar 2006, View
  • Chakrapani Rao, Arun, 2006. SysML for automotive software development and integration. Premium Automotive R&D Conference, Coventry, UK, 08 Mar 2006, View
  • Chakrapani Rao, Arun, Dixit, Manoj G., Sethu, Ramesh, 2015. Systems and methods for generating high-quality formal executable software feature requirements, United States Patent and Trademark Office, Patent, View

View All Publications

Post Graduate Supervision

  • Achieving Project Success for Chinese Real Estate Organizations Based on Individual Human Factor and Effective Systems Engineering Approach (MSc. in Programme and Project Management) Date of Completion:2017
  • Critical Review of Literature on Improved Systems Engineering for Modern Autonomous Vehicle Project Management (MSc. in Programme and Project Management) Date of Completion:2017
  • Systems Engineering and Project Management Tools and Techniques for Successful Project Outcomes (MSc. in Engineering Business Management) Date of Completion:2018
  • Optimal Methodology for the Verification of Complex Electronic Hardware in a Safety Critical Application (GE-Aviation MSc. in Systems Engineering Technical Leadership) Date of Completion:2018
  • Automation of Verification and Validation Activities with Compliance to DO-178B/C (GE-Aviation MSc. in Systems Engineering Technical Leadership) Date of Completion:2018