硕士研究生招收方向：

- 基于MBSE的系统安全性保障工程：参与安全保障国际标准的制定，参与开发国际领先的工业设计软件，与业内专家沟通交流（包括：卡耐基梅隆，英国约克大学，剑桥大学等）。需求：对基于模型系统工程（MBSE）有一定了解，精通Java开发，精通NoSQL数据库，具有一定的英文水平。

- 电磁学精密计量：参与电学精密计量前沿的研究工作。需求：对模电数电有一定了解，了解单片机开发，了解嵌入式系统开发，对Simulink等软件有较深认识。

请感兴趣的同学联系人工智能学院。

研究方向：

- 基于模型的系统工程（MBSE）；

- 嵌入式实时系统工程；

- 高完整性系统工程；

- 安全关键度系统安全与质量保障；

- 智能系统人身安全与预期安全；

- 电磁精密计量；

教育经历：

- 2012 - 2016：英国约克大学（University of York），计算机科学（博士）

- 2007 - 2008：英国约克大学（University of York），软件工程（硕士）

- 2004 - 2007：肯特大学（University of Kent），计算机科学（本科）

企业工作经历：

- 2011年3月 - 2012年1月：摩托罗拉中国，软件工程师

- 2009年3月 - 2011年3月：英特尔中国研究院，软件工程师

- 英国BAE系统公司安全顾问、英国劳斯莱斯（德比）公司安全顾问、德国西门子公司安全顾问。

其他专业活动与服务：

- 德国质检部认证 ISO 26262 功能安全专家。

- Eclipse Foundation开源项目Eclipse Epsilon [1] 开发者。

- 英国“系统安全案例工作组”（Assurance Case Working Group）[2]成员，国际标准：“目标结构表示法”（Goal Structuring Notation - GSN）[3] 制定者。

- 美国“目标管理工作组”（Object Management Group）[4]成员，国际标准：“结构化安全案例” （Structured Assurance Case Metamodel）[5] 制定者，与卡耐基梅隆大学，洛克希德马丁，英国约克大学，NASA，共同制定完成。

- 美国“目标管理工作组”（Object Management Group）专家委员会成员。

- 英国“系统安全案例工作组”(Assurance Case Working Group）专家委员会成员。

- Springer Journal of Systems and Software (JSS - CCF B类期刊)审稿人

- Springer Journal of Software and Systems Modelling (SoSym - CCF B类期刊)审稿人

- SPLASH/OOPSLA (CCF A类会议) 2021, PC member, session chair.

[1]. https://www.eclipse.org/epsilon/

[2]. https://scsc.uk/

[3]. https://scsc.uk/gsn

[4]. https://www.omg.org/

[5]. https://www.omg.org/spec/SACM

项目：

欧盟科研委员会：DEIS (Dependability Engineering Innovation for Cyber-Physical Systems, Grant agreement: 732242)， 2017 - 2019，CI

英国工程与物理开云体育nba 委员会：DAASE (Dynamic Adaptive Software Engineering, REF: EP/J017515/1)，2016-2017，参与

欧盟科研委员会：MONDO (Scalable Modelling and Model Management on the Cloud, Grant agreement: 611125)，2013-2016，参与

论文：

2022

R. Wei, Z. Jiang*, X. Guo*, H. Mei, A. Zolotas, T. Kelly.Designing Critical Systems with Iterative Automated Safety Analysis. Proc. 59th IEEE/ACM Design Automation Conference (DAC), pp. 181-186, 2022.– 计算机学科A类期刊

Z. Jiang, P. Dong*, R. Wei*, Q. Zhao*, Y. Wang, D. Zhu, Y. Zhuang, N. Audsley.PSpSys: A Time-Predictable Mixed-Criticality System Architecture Based on ARM TrustZone. Journal of Systems Architecture (JSA), volume 123, 102368, 2022, DOI: 10.1016/j.sysarc.2021.102368.计算机学科A类期刊

F. Yan, S. Foster, I. Habli, R. Wei.Model-Based Gneration of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. Proc. 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp252-353, 2022, DOI:10.5220/0010847300003119.– CCF C

2021

Z. Jiang, R. Wei*, D. Pan*, Y. Zhuang, N. Audsley, I. Gray.BlueVisor: Time-Predictable Hardware Hypervisor for Many-core Embedded Systems. IEEE Transactions on Computers (TC), 2021, DOI: 10.1109/TC.2021.3125226.– 计算机学科TOP类期刊

Z. Jiang, S. Zhao*, R. Wei*, D. Yang, R. Paterson, N. Guan, Y. Zhuang, N. Audsley.Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), DOI:10.1109/TCAD.2021.3075422, 2021.–计算机学科TOP类期刊

Z. Jiang, X. Dai*, P. Dong*, R. Wei, D. Yang, N. Audsley, N. Guan.Towards An Analysable, Scalable, Energy-Efficient I/O Virtualisation for Mixed-Criticality Systems. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), DOI: 10.1109/TCAD.2021.3059566, 2021.–计算机学科TOP类期刊

2020

Z. Jiang, S. Zhao, P. Dong, D. Yang, R. Wei, N. Guan, N. Audsley.Re-thinking mixed-criticality architecture for automotive industry. Proc 38th International Conference on Computer Design (ICCD), 2020.– CCF B

S. Foster, Y. Nemouchi, M. Gleirscher, R. Wei, T. Kelly.Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. SpringerFormal Aspects of Computing, open access,DOI:https://doi.org/10.1007/s00165-021-00537-4,2020.– CCF B

R. Wei, A. Zolotas*, HH. Rodriguez, S. Gerasimou, DS. Kolovos, RF. Paige*.Automatic Generation of UML Profile Graphical Editors for Papyrus.Springer Journal of Software and Systems Modelling (SoSyM), open access, 2020.– CCF B

S. Zhao, W. Chang*, R. Wei*, W. Liu, N. Guan, A. Burns, AJ. Wellings.Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources.IEEE Transactions on Computers, 2020.–计算机学科TOP类期刊

W. Chang, R. Wei*, S. Zhao, AJ. Wellings, A. Burns.Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.ACM Transactions on Embedded Computing Systems(TECS), 2020– CCF B

S. Zhao, J. Garrido*, R. Wei*, A. Burns, A. Wellings, A. Juan.A Complete Run-Time Overhead-Aware Schedulability Analysis for MrsP Under Nested Resources.Elsevier Journal of Systems and Software (JSS), 159, 110449, 2020.–计算机学科A类期刊

2019

S. Kabir, I. Sorokos, K. Aslansefat, Y. Papadopoulos, Y. Gheraibia, J. Reich, M. Saimler, R. Wei.A Runtime Safety Analysis Concept for Open Adaptive Systems.Proc. International Symposium on Model-Based Safety and Assessment (IMBSA 2019), 332-346, 2019

R. Wei, TP. Kelly*, X. Dai, S. Zhao, R. Hawkins.Model Based System Assurance Using the Structured Assurance Case Metamodel.Elsevier Journal of Systems and Software (JSS), 154, 211-233, 2019.–计算机学科A类期刊

W. Chang, S. Zhao*, R. Wei*, A. Wellings, A. Burns.From Java to Real-Time Java: A Model Driven Methodology with Automated Toolchain.Proc. 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory of Embedded Systems (LCTES 2019), 2019.– CCF B

A. Garcia-Domingues, K. Barmpis*, D. Kolovos, R. Wei, R.Paige.Stress-Testing Remote Model Querying APIs for Relational and Graph-based Stores.Springer Journal of Software & Systems Modelling, 18(2), 1047-1075, 2019.– CCF B

2018

R. Wei, J. Reich*, T. Kelly, S. Gerasimou.On the Transition from Design Time to Runtime Model-Based Assurance Cases.Proc. 13th International Workshop on Models@Runtime, colocated with IEEE/ACM 21st International Conference on Model Driven Engineering Languages and Systems (MoDELS 2018), 2018.

A. Zolotas, R. Wei*, S. Gerasimou, HH. Rodriguez, D. Kolovos, R. Paige.Towards Automatic Generation of UML Profile Graphical Editors for Papyrus.Proc. European Conference on Modelling Foundations and Applications 2018 (ECMFA 2018), 2018.

N. Bonet, K. Garces, R. Casallas, M.E. Correal, R. Wei.Influence of Programming Style in Transformation Bade Smells: Mining of ETL Repositories.Journal of Computer Science Education, no. 1 (2018): 87-108.

2017

R. Wei, T. Kelly*, R. Hawkins, E. Armengaud.DEIS: Dependability Engineering Innovation for Cyber-Physical Systems.Proc. Federation of International Conferences on Software Technologies: Applications and Foundations, 409-416 (STAF 2017).

2016 and before

R. Wei, D. Kolovos*, A. Garcia-Domingues, K. Barmpis, R.Paige.Partial Loading of XMI Models.Proc. ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016.– CCF B

A. Garcia-Domingues, K. Barmpis*, D. Kolovos, R. Wei, R.Paige.Stress-Testing Centralised Model Stores.Proc. 12th European Conference on Modelling Foundations and Applications (ECMFA 2016), 2016.

R. Wei and D. Kolovos.An Efficient Computation Strategy for allInstances().Proc. 3rd International Workshop on Scalable Model-Driven Engineering (BigMDE 2015), 2015.

S. Shah, R. Wei, D. Kolovos, K. Barmpis, L. Rose, R. Paige.A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence.In Proc. ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014.– CCF B

R. Wei, D. Kolovos.Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs.Proc. 2nd International Workshop on Scalable Model Driven Engineering (BigMDE 2014), 2014.

D. Kolovos, R. Wei*, K. Barmpis.An Approach for Efficient Querying of Large Relational Datasets with OCL-based Languages.Proc. 2nd Extreme Modeling Workshop, ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013)， 2013.