马峻岩 副教授

信息工程学院

头像

学位: 博士

毕业院校: 西北工业大学

邮件: majy@chd.edu.cn

电话:

出生年月:

办公地点: 信息工程学院605

个人资料

  • 学院: 信息工程学院
  • 性别:
  • 出生年月:
  • 职称: 副教授
  • 学位: 博士
  • 学历: 研究生
  • 毕业院校: 西北工业大学
  • 联系电话:
  • 电子邮箱: majy@chd.edu.cn
  • 通讯地址: 西安市南二环中段长安大学435信箱
  • 邮编: 710064
  • 传真:
  • 办公地址: 信息工程学院605
  • 教育经历:

    2007 - 2012,西北工业大学

    计算机科学与技术,博士


    2008 - 2010,ETH Zürich(苏黎世联邦理工学院)

    计算机科学与技术,联合培养博士


    2004 - 2007,西北工业大学

    计算机科学与技术,硕士


    2000 - 2004,西北工业大学

    计算机科学与技术,本科

个人简介

马峻岩,男,博士,副教授,硕士生导师,国际学生博士生导师,计算机科学与技术系副主任。主要从事嵌入式系统与软件、智能车路系统测试方面的研究。主持/参与国家自然科学基金、国家重点研发计划、交通部信息化重大专项、国家科技支撑计划等课题的研究工作。相关成果在《计算机学报》、《中国公路学报》、LCTES、IPSN、SenSys、ICSE、ISSRE等重要学术期刊或国际学术会议上发表。受邀担任《IEEE Transaction on Computers》、《计算机学报》、IEEE GLOBECOM、KIPS CUTE、IEEE ITSC、IEEE ISC2、IEEE RCAR等期刊及国际会议等的审稿专家。获得陕西省科学技术奖一等奖1项,发表学术论文40余篇,取得发明专利19项、实用新型专利10项。


社会职务

中国计算机学会(CCF)嵌入式系统专业委员会执行委员

中国计算机学会(CCF)软件工程专业委员会委员

中国计算机学会(CCF)会员

Association for Computing Machinery(ACM)学会会员

研究领域

1、自动驾驶系统安全性测试

2、物联网与嵌入式系统模糊测试

3、智能网联新型混合交通流仿真与评价


2024年拟招收自动驾驶与物联网方向研究生1名,要求通过CET-6考试。课题组科研环境良好,氛围融洽,注重学生理论与实践能力的培养。如果你对系统、软件分析与测试研究方向感兴趣,并有愿意在相关领域探索与深造,诚挚欢迎你的加入!

学硕招生代码:计算机科学与技术(081200
专硕招生代码:电子信息(085400),计算机、软件方向;交通运输(086100

特别联系方式WVd4bGVHMWhhbmxBY1hFdVkyOXQ=,b4$e64 10 encoding(请附个人简历)


调剂考生注意:本校调剂要求具有一定门槛(本科、报考均为“双一流”;只接受学硕调剂;外语+数学成绩不低于180分)请通过长安大学研招办确认自己符合调剂要求后,再与本人联系调剂事宜。


毕业生及就业去向

刘晨颖,智能网联交通流协同控制,陕汽集团

胡飞飞,微控制器固件模糊测试,陕汽集团

赵紫轩,自动驾驶多模式混合交通流,应用材料(Applied Materials China)

窦依依,智能网联交通流协同控制,河南中天高新智能科技股份有限公司

史静,知识图谱与智能车测试,中国建设银行

王卓,自动驾驶测试,比亚迪

周婉金,嵌入式软件运行时验证,上海合见工业软件集团有限公司

田叶凡,智能车路系统测试,中国农业发展银行研发中心

朱家宝,智能车路系统测试,同花顺研发中心

堵白雪,边缘计算与交通安全,中国农业发展银行研发中心

MOUSSA SALI,智能车路系统测试,长安大学博士研究生

许良,NLP与智能车测试,西安中兴通讯

李尚荣,物联网软件测试,西安兆芯集成电路有限公司

张佳雨,机器学习与智能车测试,杭州有赞科技有限公司

刘仟金,机器学习与交通安全,浦发银行研发中

李剑龙,三维场景语义分割,紫光展锐

李 易,物联网软件测试,西安兆芯集成电路有限公司

张 颖,机器学习与智能车测试,中国移动通信集团陕西有限公司

张 特,物联网软件故障检测,百度

王 瑾,物联网软件故障检测,浙江宇视科技有限公司


开授课程

数字逻辑54学时,本科,必修
Linux系统基础32学时,本科,选修
FPGA数字系统设计32学时,研究生,选修
软件分析与测试32学时,研究生,选修


科研项目

1、智能网联新型混合交通流协同控制,国家自然科学基金重点项目,参与

2、IVIS智能车路系统测试场景分析与提取,国家重点研发计划项目子课题,主持

3、IVIS 测试评估场景布设及优化方法研究,国家重点研发计划项目课题课题,参与

4、基于运行时技术的部署后传感器网络软件故障诊断研究,国家自然科学基金青年项目,主持

5、集成一体化车载通用感知终端设备的研发,国家物联网重大示范工程专题研究项目,参与

6、结合失效模式的情境感知车联网软件构造方法研究,国家自然科学基金青年项目,参与

7、商用智能网联汽车行为感知与综合服务平台研究及应用,陕西省重点研发计划,参与

8、危险品运输车辆识别跟踪技术及系统,国家重点研发计划项目课题课题,参与




论文

会议论文(*corresponding author/通讯作者

[24C1]  Zhongwen Feng, Junyan Ma*. TWFuzz: Fuzzing Embedded Systems with Three Wires. the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024), Copenhagen, Denmark. (CCF B)

[22C1]  Wanjin Zhou, Feifei Hu, Junyan Ma*. Improving Flexibility in Embedded System Runtime Verification with Python. the 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2022), Charlotte, USA.

[21C1]  Yefan Tian, Jiayu Zhang, Junyan Ma*, Baixue Du, Jiabao Zhu, Asad J. Khattak. Understanding Scenarios for Cooperative V2V Active Safety Applications Using Connected Vehicle Datasets. the 21th COTA International Conference of Transportation Professionals (COTA 2021), Xi’an, China.

[20C3]  Shangrong Li, Junyan Ma*, Yi Li. A Testbed for Hardware-assisted Online Profiling of IoT Devices. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW 2020), Seoul, Republic of Korea.

[20C2]  Jiayu Zhang, Liang Xu, Junyan Ma*, Ying Zhang, Shining Li, Asad Khattak. Understanding Scenarios for Cooperative V2V Active Safety Applications Using Connected Vehicle Datasets. the 20th COTA International Conference of Transportation Professionals (COTA 2020), Xi’an China.

[20C1]  Qianjin Liu; Liang Xu; Junyan Ma*, Efficient Tracking of Hazmat Transport Vehicles through Cooperative Edge Computing System. the 20th COTA International Conference of Transportation Professionals(COTA 2020), Xi’an China.

[19C1]  Yi Li, Junyan Ma*, Te Zhang. HATBED: A Distributed Hardware Assisted Testbed for Non-invasive Profiling of IoT Devices. In Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench 2019), Montreal, Canada.

[18C1]  Yi Li, Junyan Ma*, Te Zhang. HATBED: Hardware Assisted Tracing Testbed for Embedded Networked Sensor Systems. (Poster Abstract). In Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems (SenSys 2018), Shenzhen, China. (CCF B)

[17C1]  Junyan Ma, Jin Wang, Te Zhang. A Survey of Recent Achievements for Wireless Sensor Networks Testbeds. In Proceedings of 2017 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (IEEE CyberC 2017), Nanjing, China.

[11C1]  Junyan Ma, Xingshe Zhou, Shining Li, Zhigang Li. Connecting Agriculture to the Internet of Things through Sensor Networks. In Proceedings of the 2011 IEEE International Conference on Internet of Things (IEEE iThings 2011), Dalian, China.

[09C1]  Kay Römer, Junyan Ma. PDA: Passive Distributed Assertions for Sensor Networks. In Proceedings of the 8th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2009), San Francisc, USA. (CCF B)


期刊论文

[22J1]  马峻岩,田叶凡,赵祥模,王卓,柳有权.基于自然驾驶数据挖掘的二阶车辆与行人交互测试场景[J].中国公路学报,2022,35(03):139-152.

[20J2]  马峻岩,刘仟金,许良,惠飞,孙正良,袁立,赵祥模.基于边缘计算的危险品运输车辆跟踪预警方法[J].交通信息与安全,2020,38(05):120-128.

[20J1]  马峻岩,李易,李尚荣,张特,张颖.HATBED:分布式硬件辅助追踪物联网测试平台[J].计算机科学,2020,47(09):258-264.

[19J2]  马峻岩,张特,王瑾.基于任务转移概率的感知节点异常运行状态检测方法[J].北京邮电大学学报,2019,42(03):37-42.

[19J1] 马峻岩,张颖,李易,王瑾,张特.HA2:层次化的物联网感知设备固件异常分析技术[J].计算机工程与应用,2019,55(22):60-68.

[16J1]  郭兰英,马峻岩,赵祥模,惠飞,宁航.计算机硬件平台技术课程设置与改革[J].计算机教育,2016(12):21-23.

[15J1]  马峻岩,刘琴,孟强.RALMON:一种资源敏感的轻量级感知节点软件运行时监测框架[J].西北大学学报(自然科学版),2015,45(03):394-398.

[15J1]  马佳荣,赵祥模,马峻岩,王润民,孟强.基于VANET的高速公路事故消息快速广播机制[J].计算机工程,2015,41(11):8-12.

[14J1]  赵祥模,惠飞,史昕,马峻岩,杨澜.泛在交通信息服务系统的概念、架构与关键技术[J].交通运输工程学报,2014,14(04):105-115.

[13J1]  马峻岩,周兴社,李士宁.基于FSM的感知节点软件故障检测[J].北京邮电大学学报,2013,36(02):107-112.

[12J1]  马峻岩,周兴社,张羽,李士宁,李志刚.传感器网络调试研究综述[J].计算机学报,2012,35(03):405-422.


教材与著作

[1]FPGA嵌入式系统开发与实例》,西安电子科技大学出版社,2017,参编

[2]《微机原理与接口技术(2)——Win汇编、接口及设备驱动》,清华大学出版社,2015,参编

[3]《传感网原理与技术》,机械工业出版社,2014,参编


科技成果

部分授权发明专利(欢迎感兴趣的企业合作开展技术转化)

一种轻量级嵌入式系统运行状态检测方法(ZL 201910677912.5

针对深度嵌入式设备部署后难以实施异常检测问题(如高压电网监测等应用),利用嵌入式设备周期性运行特性,运用统计方法进行程序行为建模,并通过轻量化设计技术在深度嵌入式设备上有效实现程序执行过程中出现的异常行为检测,并准确定位异常序列。

一种感知节点异常运行状态检测方法及检测装置(ZL 201711140457.2

通过计算待检测任务序列的一步任务转移概率,并计算其与正常任务序列的一步任务转移概率的相似性,利用相似性判断状态是否存在异常;上述技术方案能够有效地检测到在程序执行过程中出现的异常行为,对于异常行为的定位和修复提供代码级的帮助。

一种基于车联网信标机制的高速公路交通检测方法(ZL 201310654292.6

通过在高速公路上建立虚拟检测区域,并在该虚拟检测区域内处理接收的信标消息完成对交通流的检测和道路实时交通状况的监控。

一种基于定向天线的十字路口车流检测方法(ZL 201510061094.8

本发明利用定向天线检测车流,克服传统蓝牙设置等方法易出现的相互干扰且检测范围狭窄的情况;定向天线其覆盖范围广,使得车流检测更加准确,且能够针对十字路口区域的车辆行驶转弯等特殊性,进行车流量的准确检测。

基于多源数据融合的危险品运输车辆预防跟踪系统及方法(ZL2019101818886)本发明通过路侧节点采集多源数据,通过边缘数据处理模块进行处理,本发明具有很强的抗外界干扰能力,跟踪系统的设备简单,成本较低,解决了卫星定位系统在特殊地形无信号、信号差、数据误差大等问题。有助于在交通管理部门的平台上实时展示危险品运输车辆的位置和身份等信息。
一种分布式环境下嵌入式硬件辅助追踪轨迹同步方法(ZL2019105284534)

本发明将多个分布式的嵌入式设备硬件辅助追踪提供的内部时间戳与网络NTP时间戳相关联,实现分布式嵌入式系统测试过程中多节点硬件辅助追踪轨迹的同步,进而为高精度的分布式嵌入式系统各种事件分析提供支撑。

部分授权实用新型专利

一种在线语音识别机器人(ZL2019207754084

一种集成无线自组网功能的城市路边停车位状态检测装置(ZL201720749558.9

一种基于蓝牙的匝道交通诱导装置(ZL201720750476.6

一种集成交通状态检测功能的匝道口交通诱导装置(ZL 201620324663.3

一种车载式酒驾检查装置(ZL   201520827833.5

一种路口交通信息检测装置(ZL201520293287.1

部分软件著作权

Contiki软件状态自动提取与资源自适应监测软件

泛在网络环境下面向多终端的交通信息发布系统

基于蓝牙的匝道交通车辆检测软件

感知节点异常运行状态检测软件(T2PAD)

基于多源数据融合的危险品运输车辆预防跟踪软件

分布式硬件辅助追踪物联网测试平台


荣誉奖励

科学奖励

2016年,陕西省科学技术奖一等奖,基于多源传感的危险品公路运输在途实时监测技术及应用(排名第8)

教学与学科竞赛

2023年中国研究生创“芯”大赛全国企业专项命题一等奖

2023年全国大学生集成电路创新创业大赛“航天微电子杯”西北赛区三等奖2项

2023年中国研究生电子设计竞赛西北赛区三等奖

2023年全国OnSite自动驾驶算法挑战赛“高速基本段赛”一等奖、“高速汇入汇出区赛”一等奖

2022年中国研究生创“芯”大赛全国三等奖

2022年中国研究生电子设计竞赛西北赛区二等奖

2020年中国研究生电子设计竞赛西北赛区三等奖

2019年全国大学生电子设计竞赛陕西赛区二等奖

2019年全国大学生电子设计竞赛陕西赛区二等奖

2019年长安大学教学成果一等奖“面向系统能力培养的主流计算平台新工科课程体系改革与实践”

2018年陕西大学生电子设计竞赛三等奖

2018年全国计算机仿真大奖赛全国三等奖

2018年中国“互联网+”大学生创新创业大赛陕西赛区三等奖

2017年全国大学生电子设计竞赛陕西赛区二等奖

2016年长安大学优秀毕业设计指导教师

2016年陕西大学生电子设计竞赛三等奖

2015年全国大学生交通科技大赛三等奖

2014年陕西大学生电子设计竞赛二等奖

2015年高校物联网应用创新大赛“编程挑战赛”全国三等奖

2015微软创新杯陕西省三等奖

工作经历

2012/07 ~ 今,长安大学,信息工程学院计算机科学系,专任教师

2008/11 ~ 2010/04,苏黎世联邦理工学院(ETH Zürich)计算机科学系,访问

2006/08 ~ 2006/10,英特尔中国研究中心(ICRC),编程系统实验室,实习