个人简介
教育经历
2001.92005.12南京大学计算机软件与理论工学博士学位
1999.92002.3南京航空航天大学交通运输规划与管理工学硕士学位
1990.91994.6南京航空航天大学交通运输工学学士学位
工作经历
2006.3至今南京航空航天大学
2002.92006.3南京大学
1999.92002.8南京航空航天大学
1994.81999.8南京航空航天大学
1990.91994.8南京航空航天大学
科研项目
基于模型检测的综合模块化航电系统资源安全配置研究 (1015-HAB15024)
综合化系统构架的安全性组织问题 (1015-JBB14006)
基于模型检测的航空机载软件验证研究
IMA系统需求验证技术研究 (1015-DAB17007)
基于自然语言的软件需求形式化建模与验证技术研究 (1015-DAB19005)
基于形式化模型的安全性分析方法研究
标准陆空通话（英语）语音识别技术研究
构件化CPS系统设计的软件动态行为模型分析与验证方法研究
多容量受控的流量控制问题
主控型半双工广播式语音软件系统开发
嵌入式软件设计中非功能性质的形式分析与验证研究
构件化嵌入式软件设计的非功能性质分析与验证研究
构件化Cyber-Physical System软件设计的分析与验证研究
构件化Cyber-Physical System 软件设计的分析与验证研究
构件化信息-物理融合系统（CPS）的软件设计分析与验证技术研究
模型驱动的无人机飞控软件
基于接口自动机的嵌入式软件设计中非功能性质的分析与验证研究
授课信息
计算机科学导论 /2020-2021 /春学期 /32课时 /0.0学分 /16101320.04
计算机科学导论 /2020-2021 /春学期 /32课时 /0.0学分 /16101320
研究领域
计算机科学与技术， 软件工程， 网络空间安全
面向先进系统的智能计算与分析；
民机系统与软件建模与分析；
基于模型的系统工程；
复杂系统安全性建模与分析；
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
[1]魏欧,,等.面向DO-178C的襟缝翼控制系统需求的形式化描述.计算机科学,2018
[2]王立松,,等.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks.IEEE ACCESS,2018
[3]王立松,,等.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索.工业和信息化教育,2018
[4]一种AltaRica3.0模型到NuSMV模型的转换方法[J]..计算机科学
[5]基于ANTLR的AltaRica 3.0模型平展化算法设计与实现[J]..小型微型计算机系统
[6]面向需求的安全关键系统形式化建模与验证方法研究[J].计算机工程与科学
[7]面向SysML模型的安全性分析与验证方法.计算机科学
[8]安全关键系统需求形式化建模分析实例研究[J]..计算机科学与探索
[9]个基于形式化方法的系统安全性建模分析实例研究[J]..小型微型计算机系统,
[10]面向SysML的系统安全性分析工具与实例研究.计算机科学
[11]A Model Based Safety Analysis Framework for SysML and A Case Study
[12]A Case Study of Model-based Safety Analysis for an Aviation Software Specification
[13]A Case Study of Formal Model based System Safety Analysis in Aviation
[14]An ANTLR-based Flattening Framework for AltaRica 3.0 Model
[15]Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE,
[16]胡军,,等.Formal verification for AltaRica3.0 models based on SPIN.Int. Workshop Comput. Sci. Eng., WCSE,2017
[17]胡军,,等.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models.ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING,2018
[18]胡军,,等.安全关键系统需求形式化建模分析实例研究.计算机科学与探索,2018
[19]胡军,,胡军等.An ANTLR-based flattening framework for AltaRica 3.0 model.Int. J. Perform. Eng.,2019
[20]胡军,,胡军等.面向需求的安全关键系统形式化建模与验证方法研究.计算机工程与科学,2019
京公网安备 11010802027423号