硕士研究生招收方向：

- 基于模型的系统工程：从事基于模型的系统工程领域的学习和研究，参与系统安全保障性研究工作，致力于开发国际领先的工业设计软件，致力于研究基于模型的数字孪生前沿技术，与业内专家进行沟通和交流（包括：剑桥大学、英国约克大学、卡耐基梅隆大学等）。基于模型的系统工程技术是一项应用广泛的软件方法，团队在该领域研究和相关国际标准制定等方面有相当程度的积累，希望将研究成果应用于道路数字孪生、精密仪器分析与制造、系统安全性保障工程等相关项目中。

本科专业：计算机科学与技术、人工智能、软件工程和应用数学等。

基础知识：模型驱动工程、面向对象编程、数据库技术等；编程能力；英语能力。

 

- 电磁学精密计量：从事电磁学精密计量仪器前沿技术的学习和研究，与国内顶尖科研院所进行沟通和交流。电磁学计量是电磁测量仪器、仪表和设备的研发基础，团队在该领域研究有一定积累，并与国内顶尖科研院所开展合作，希望将研究成果应用于国产化精密计量仪器等相关项目中。

本科专业：测控术与仪器、自动化和其他电类专业等。

基础知识：数模电、电路理论、嵌入式系统等；编程能力。

- 实时操作系统与RISC-V片上系统设计：从事操作系统和RISC-V片上系统的学习和研究，致力于为RISC-V开放架构提供功能安全、信息安全与实时性等全面的技术支持，开发、设计和验证基于RISC-V的中央处理器以及片上系统（SoC），与业内专家进行沟通和交流（包括：剑桥大学、Meta、英国约克大学等）。RISC-V架构是当前芯片架构领域的热点，团队在该领域有一定的技术积累，提出功能安全与信息安全的片上系统，填补国内相关领域的空白，并有望将研究成果应用于我国各领域的系统中。

本科专业：计算机科学与技术、人工智能和微电子等。

基础知识：操作系统、计算机体系结构、嵌入式系统等；编程能力；英语能力。

 

- 我们希望你能有明确的目标、足够的学习热情和充足的行动力，能我们一起做些有意义的事情！我们的团队正在快速成长，请感兴趣的同学联系我们！

研究方向：

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

- 基于模型的数字孪生模型与过程管理；

- 嵌入式系统工程，芯片设计与优化；

- 智能系统安全保障；

- 电磁精密计量；

教育经历：

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

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

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

企业工作经历：

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

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

- 2017年1月至今：英国BAE系统公司安全顾问；

- 2017年1月至今：英国劳斯莱斯（德比）公司安全顾问；

其他专业活动与服务：

- 系统工程国际委员会（INCOSE）委员。

- 德国质检部（TUV）认证 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.

- SPLASH/OOPSLA (CCF A类会议) 2022, 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

英国工程与物理科学研究委员会：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，参与

论文：

2023

R. Wei, Z. Jiang*, H. Mei*, K. Barmpis*, S. Foster, T. Kelly, Y. Zhuang. Automated Model Based Assurance Case Management Using Constrained Natural Language. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2023, Accepted. – 计算机学科TOP类期刊

Z. Jiang, X. Dai*, R. Wei*, I Gray, Z. Gu, Q. Zhao, S. Zhao*. NPRC-I/O: A NoC-based Real-Time I/O System with Reduced Contention and Enhanced Predictability. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2023, DOI: 10.1109/TCAD.2023.3288511. – 计算机学科TOP类期刊

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. Springer Formal 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.