学科研究方向：软件工程，  计算机科学与技术

• 面向航空先进系统的智能计算、分析与验证；

• 基于模型的系统工程方法；

• 系统安全性建模与分析方法；

承担的科研项目情况：

1. 2023.01-2026.12:国家自然基金重点项目“叶企孙基金”

2. 2016.11-2019.11:工信部民机专项“十三五”重点项目

3. 2014.1-2019.1:国家重点基础研究发展计划项目(973)

4. 2012.1-2014.12 :国家自然科学基金

5. 2011.10-2015.12:“十二五”国防预研项目

6. 2015.11-2017.11: 工信部民机适航能力建设 专项

7. 2007.10-2009.10:航空基金(自由探索类)

8. 2007.9-2010.9: 教育部博士点基金项目

发表学术论文,出版专著情况：

[1]胡军,吕佳润,王立松,康介祥,王辉,高忠杰.一个机载软件需求形式化建模与分析实例研究[J].软件学报,2022,33(05):1652-1673.DOI:10.13328/j.cnki.jos.006554.

[2]胡建成,胡军,汪文轩,康介祥,王辉,高忠杰.一种面向领域自然语言需求的形式化需求模型生成方法研究[J].小型微型计算机系统,2021,42(08):1639-1648.

[3]汪文轩,胡军,胡建成,康介祥,王辉,高忠杰.一种面向形式化表格需求模型的测试用例生成方法[J].计算机科学,2021,48(05):16-24.

[4]祁健,胡军,谷青范,荣灏,展万里,董彦宏.一种AltaRica3.0模型中类的平展化方法[J].计算机科学,2021,48(05):51-59.

[5]展万里,胡军,谷青范,荣灏,祁健,董彦宏.基于模型的故障树自动生成方法[J].计算机科学,2021,48(12):159-169.

[6]张漾,胡军,王立松,康介祥,王辉,高忠杰.一种面向SCR需求模型的形式化验证方法研究[J].小型微型计算机系统,2022,43(01):193-202.

[7]陈朔,胡军,王立松.基于ANTLR的AltaRica 3.0模型平展化算法设计与实现[J].小型微型计算机系统,2020,41(07):1476-1487.

[8]陈朔,胡军,唐红英,石梦烨.一种AltaRica3.0模型到NuSMV模型的转换方法[J].计算机科学,2020,47(12):73-86.

[9]石梦烨,胡军,陈朔,唐红英,王立松.一个基于形式化方法的系统安全性建模分析实例研究[J].小型微型计算机系统,2020,41(02):327-332.

[10]唐红英,胡军,陈朔,石梦烨.面向SysML的系统安全性分析工具与实例研究[J].计算机科学,2020,47(05):284-294.

[11]胡军,张维珺,李宛倩.面向需求的安全关键系统形式化建模与验证方法研究[J].计算机工程与科学,2019,41(08):1426-1433.

[12]李宛倩,胡军,陈松,张维珺.面向SysML模型的安全性分析与验证方法[J].计算机科学,2019,46(11):100-108.

[13]张维珺,胡军,李宛倩,陈朔,石梦烨,唐红英.安全关键系统需求形式化建模分析实例研究[J].计算机科学与探索,2019,13(08):1295-1306.

[14]王明明,胡军,张维珺,李宛倩.基于模型的IMA时间资源配置验证方法研究[J].计算机技术与发展,2018,28(05):32-37.

[15]胡军,陈松,王明明.AltaRica 3.0模型到Promela模型转换与验证方法研究[J].计算机工程与科学,2017,39(04):708-716.

[16]徐正家. 面向特情改出的民机多模型切换控制技术研究[D].南京航空航天大学,2017.

[17]胡军,石娇洁,程桢,陈松,王明明.一种基于四变量模型的系统安全性建模与分析方法[J].计算机科学,2016,43(11):193-199+229.

[18] Hu Jun, Cheng Zhen, Shi Jiaojie, Ma Jingjing. “A modelling and test case generation method for UAV flight control software”. In: Journal of Computational Information System. 11:23(2015), 8595-8606.

[19] 胡军，程桢，石皎洁等.“基于模型转换的IMA可调度性验证方法”，《南京航空航天大学学报》，2015,(3):403-411。

[20] 胡军，马金晶，刘雪等. “模型驱动的安全关键系统重配置信息验证方法”，《计算机科学与探索》，2015(4):385-402.

[21] 徐丙凤、黄志球、胡军. “一种状态事件故障树的时间特性分析方法”, 《软件学报》， 2015,26(2):427-446.

[22] 胡军，袁翔，马金晶，等. “一种基于AADL的IMA系统配置信息的正确性检测方法”《南京航空航天大学学报》， 2014,46(6):920-930.

[23] 黄志球, 徐丙凤,阚双龙,胡军,陈哲. “嵌入式机载软件安全性分析标准、方法及工具研究综述”.《软件学报》，2014,25(2):200-218.

[24] 曲长亮, 胡军, 徐丙凤, 黄志球. “一种基于操作表达式模型的关键软件安全性验证方法研究”, 《小型微型计算机系统》，2014. No.7:1578-1584.

[25] 徐丙凤，胡军，黄志球，魏欧. “一种状态事件故障树的定量分析方法”，《电子学报》， 2013，41（8）：1480-1486.

[26] 徐丙凤、黄志球、胡军*. “面向适航认证的模型驱动机载软件构件的安全性验证”，《航空学报》， 2012，No.5, Vol.33 .796-808.

[27] Xu Bingfeng, Huang Zhiqiu, Hu Jun, Wei Ou, Zhou Yu.。 “Minimal Cut Sequence Generation for State Event Fault Trees”, in: Middleware doctoral symposium 2013。 2013：1-6.

[28] 刘万凤，胡军*. “陆空通话标准用语（英语）的语音指令识别技术研究”，《计算机科学》， 2013, 40(7):131-137.

[29] 张剑、胡军*、郭丽娟.“多核处理器架构下面向监控的软件运行时验证方法研究”，《小型微型计算机》，2012，No.1, Vol.33, pp.102-109.

[30] 郭丽娟、胡军*、张剑.“基于即时验证方法的T-CBESD工具扩展设计与实现”，《计算机科学》，2011, No.8,Vol.10, pp.145-151.

[31] 吴黎明、胡军*、徐丙凤. “无人机飞控软件系统建模与测试用例生成”，《计算机科学》，2012， No.7, Vol.39, pp. 112-118.

[32] 郑军、胡军*、黄志球、柯昌博. “综合模块化航电软件系统测试方法研究综述”，《计算机应用与软件》， 2012，No.5, Vol.29, pp. 163-168.

[33] Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu*, Min Yuan: Unified Modelling Functional and Non-Functional Aspect of Web Services Composition Using PTCCS. In: Int. Journal of Web Services Res. (JWSR) 8(4):47-80, 2011.

[34] 徐丙凤、胡军*、曹东、黄志球. “T-CBESD:一个构件化嵌入式软件设计模型验证工具”. 《小型微型计算机系统》, 2010 ，Vol.31,No(11),pp. 78-85.

[35] 徐丙凤、胡军*、曹东、黄志球. “构件化嵌入式软件设计模型非功能性质验证的工具实现”. 《计算机科学》, 2010,Vol.37,No.8,pp.156-163.

[36] 胡军*、黄志球、曹东、徐丙凤. “网构软件的资源自适应性的形式化分析与验证”. 《软件学报》, 2008, 19(5): 1186-1200.

[37] 胡军*、于笑丰、张岩、李宣东 、郑国梁. “构件式实时软件系统设计与场景式规约的一致性检验”.《软件学报》, Vol.17, No.1, 2006, pp.0048-0058.

[38] 胡军*、于笑丰、张岩、王林章 等. “检验基于场景规约的构件式设计”.《计算机学报》, Vol.29, No.4, 2006, pp. 1-14.

[39] Jun Hu*, Xuandong Li, Guoliang Zheng, Chenghua Wang. “Modelling and Analysis of Power Consumption for Component-Based Embedded Software”. In: Proceedings of 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC-06), pp795-804,LNCS 3824,Springer, 2006, Korean.

[40] Hu Jun*, Yu Xiaofeng, Zhang Yan, Zhang Tian. “Scenario-based Verification for Component-based Embedded Software Designs.” In：Proceeding of 34th International Conference on Parallel Processing Workshops , (ICPP 2005 Workshops), pp 240-247. IEEE CS Press, June 2005, Oslo, Norway.

[41] Hu Jun*, Yu Xiaofeng, Zhang Yan, Zhang Tian . “Scenario-based Verification for Real-time Component-based Embedded Software Designs. ”In: Proceedings of 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC-05), pp395-404,LNCS 3824,Springer, Dec.2005.

科研成果获奖及专利：

[1]胡军,祝凌锋. 一种面向NuXMV的安全关键系统状态转换图测试用例生成方法[P]. 江苏省：CN114595152A,2022-06-07.

[2]胡军,祁健. 一种可视化故障传播仿真方法[P]. 江苏省：CN113641458A,2021-11-12.

[3]王立松,周颖,胡军,汪圆圆. 基于形式化系统理论过程分析的安全需求生成方法[P]. 江苏省：CN107169636B,2020-12-29.

[4]蔡昕烨,汪欣,胡军,王立松. 一种面向大规模分布式综合模块化航电系统DIMA的多层次建模设计方法[P]. 江苏省：CN106156413B,2019-08-20.

[5]王立松,冯涛,胡军. 支持STPA方法分析UCA的电子表格工具的实现方法[P]. 江苏省：CN109800393A,2019-05-24.

[6]王立松,周颖,胡军,汪圆圆. 基于形式化系统理论过程分析的安全需求生成方法[P]. 江苏：CN107169636A,2017-09-15.

[7]蔡昕烨,汪欣,胡军,王立松. 一种面向大规模分布式综合模块化航电系统DIMA的多层次建模设计方法[P]. 江苏：CN106156413A,2016-11-23.

[8]胡军,陈松,仵志鹏. 面向AltaRica模型的系统安全性设计验证方法[P]. 江苏：CN105938502A,2016-09-14.

[9]胡军,王明明,程桢. 一种基于模型驱动的IMA系统时间资源配置验证方法[P]. 江苏：CN105843995A,2016-08-10.

[10]周宇,胡军,黄志球. 一种层次式时间自动机平展化算法[P]. 江苏省：CN102799521B,2015-05-20.

指导研究生情况：

从2007年开始，每年指导并毕业两到三名硕士研究生，其中多位研究生获得校级奖学金，并毕业后进入华为、中兴、百度以及霍尼韦尔等国内外知名企业公司工作，如：获得校优秀硕士毕业生并获得航天奖学金的徐丙凤（后继续攻读博士学位并于2013年毕业）等。