Ran Wei 魏然

I am an Associate Professor (Senior Lecturer) of Computer Science at the School of Computing and Communications, Lancaster University, UK.
My research interest include Model Based Systems Engineering (MBSE), Model Based Systems Assurance (MBSA), Safety Critical Systems Engineering and Digital Twins.

Research Group  /  Google Scholar  /  Publications  /  Mentors  /  GitHub  / 
LinkedIn  /  Email  /  Friends and collaborators

profile photo
News

Our paper: ACCESS: Assurance Case Centric Engineering of Safety-critical has been accepted by ASE 2024 as a Journal First Paper!
Our paper: ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness has been accepted by RTSS 2024!
Our paper: MESC: Re-thinking Algorithmic Priority/Criticality Inversion for Heterogeneous MCSs has been conditionally accepted by RTSS 2024!

About me

I am currently a Senior Lecturer (Associate Professor) of Computer Science at the School of Computing and Communications, Lancaster University, UK. I am also a long-term visiting scholar at the Department of Engineering, University of Cambridge.
I am an active contributing member of Structured Assurance Case Metamodel (SACM), an international standard specified by the Object Management Group.
I am also an active contributing member of Goal Structuring Notation (GSN), an international standard specified by the Assurance Case Working Group.
I am a certified ISO-26262 engineer, I am also a member of INCOSE (International Council on Systems Engineering) UK.

Prior to my current position, I had taken the following roles in different institutions:

  • Assistant Professor (2023-2024), at the Department of Engineering, University of Cambridge, United Kingdom, where I worked with Dr Lavindra de Silva and Prof Ioannis Brilakis to explore Digital Twin applications in the construction sector.

  • Associate Professor (2020-2023) at the School of Artificial Intelligence, Dalian University of Technology, China, where I worked on the automated assurance of safety critical systems, to assure the safety of critical systems with AI/ML capabilities.

  • Research Fellow (2013 - 2020) at the Department of Computer Science, University of York, United Kingdom, where I worked on Model Based Systems Engineering (MBSE) and the application of model-based approach in safety critical systems. I was a member of the Automated Software Engineering research group, formaly known as the Enterprise Systems Research Group.

  • PhD. student (2012 - 2016) in the Automated Software Engineering research group, at the Department of Computer Science, University of York, United Kingdom, where I was supervised by Prof Dimitris Kolovos to explore automated means for Software Engineering (and beyond). [Thesis: An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs].

    • Research Vision

    Safety-critical systems require justifications that they are acceptably safe to operate in their defined operational contexts. To obtain such justifications, a engineering process typically referred to as Safety Critical Systems Engineering (SCSE) is followed. Depending on the application domain, different activities are involved in SCSE. SCSE requires extensive analysis, verification and validation activities of engineering artifacts, produced using different tools and in different formats. For most systems, a safety case must be developed, and often independently reviewed before the systems can be certified. However, existing SCSE activities require extensive manual efforts, this becomes a bottleneck, especially when (1) the complexity of systems inevitably grow; (2) systems are increasingly adaptive (they react to changing running contexts) and open (they connect to other systems) at runtime.

    To address the above challenge, my research is focused on adopting state of the art technologies to enable automated means for the activities in SCSE. I have had the honour to work with some great researchers and scientists to look at automated validation of safety cases, automated system safety analysis, automated verification of system behaviours, and trustworthiness of systems at runtime. My previous endavours have been leveraging Model Based Systems Engineering (MBSE) technologies due to the degree of automation they provide. I am currently looking at using Digital Twin technolgoies for the runtime monitoring and assurance of systems (and systems of systems). I am also looking at the possibility of leveraging Large Language Models (LLMs) to automate the development and assurance of systems. All comments are welcome! Email me if you have any questions.