相册


基本信息 The basic information
姓名: 陆寅

学院: 计算机学院


学历: 博士研究生毕业

学位: 博士


职称: 讲师（高校）

职务:


学科: 计算机科学与技术





综合介绍 General Introduction
陆寅，博士，西北工业大学计算机学院讲师。1996年毕业于北京航空航天大学自动控制系，其后进入航空航天部第771研究所就职。2003年于西北工业大学取得计算机科学与技术工学硕士学位，2010年获得计算机科学与技术工学博士学位并留校任教。主要研究方向：嵌入式系统体系结构，嵌入式系统可靠性与安全性。目前主持和参加国家自然基金、国防预研、国家航空科学基金项目等六项。



荣誉获奖 Awards Information
2008年国防科学技术进步三等奖1项：空空导弹飞控系统的仿真测试





科学研究 Scientific Research
Selected Publications

[1] Lu Y, Miao K, Li Zh, et al. Research of Passive Mode Interaction in Pervasive Computing, Lecture Notes in Computer Science, vol. 6763, LNCS, pp. 220-229, 2011.
[2] Dong Y, He Y, Lu Y, et al. A Model Driven Approach for Device Driver Development, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS2017), 2017: 122-129.
[3] Lu Y, Dong Y, Wei X, et al. 3. A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS2018), 2018: 294-300.





社会兼职 Social Appointments
IEEE会员、中国家算机学会会员、中国计算机学会嵌入式系统专委会会员、中国计算机学会形式化方法专委会会员、陕西省计算机学会会员。





English Version