导师姓名：胡军
性别：男
人气指数：73

所属院校：南京航空航天大学
所属院系：计算机科学与技术学院
职称：副教授
导师类型：硕导
招生专业：软件工程、计算机科学与技术、网络空间安全


通讯方式 :
办公电话：=86-**
电子邮件：hujun@nuaa.edu.cn


个人简述 :
?

科研工作 :
发表学术论文,出版专著情况：

[3]Hu Jun*, Shi Jiaojie, Cheng Zhen. “A model-transformation framework from SCR to Altarica models for system specification and designs”. In: 35th IEEE/AIAA Digital Avinoics System Conference 2016 (Abstract accepted).
[4]胡军*，仵志鹏，陈松等，“面向AltaRica模型的嵌入式系统安全性验证方法”. 《计算机科学与探索》，2016年（已录用）.
[5]胡军*，石皎洁，程桢等，“一种基于四变量模型的系统安全性建模与分析方法”.《计算机科学》，2016年（已录用）
[6]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.
[7]胡军*，程桢，石皎洁等.“基于模型转换的IMA可调度性验证方法”，《南京航空航天大学学报》，2015,(3):403-411。
[8]胡军*，马金晶，刘雪等. “模型驱动的安全关键系统重配置信息验证方法”，《计算机科学与探索》，2015(4):385-402.
[9]徐丙凤、黄志球、胡军*. “一种状态事件故障树的时间特性分析方法”, 《软件学报》， 2015,26(2):427-446.
[10]胡军*，袁翔，马金晶，等. “一种基于AADL的IMA系统配置信息的正确性检测方法”《南京航空航天大学学报》， 2014,46(6):920-930.
[11]黄志球, 徐丙凤,阚双龙,胡军*,陈哲. “嵌入式机载软件安全性分析标准、方法及工具研究综述”.《软件学报》，2014,25(2):200-218.
[12]曲长亮, 胡军*, 徐丙凤, 黄志球. “一种基于操作表达式模型的关键软件安全性验证方法研究”, 《小型微型计算机系统》，2014. No.7:1578-1584.
[13]徐丙凤，胡军*，黄志球，魏欧. “一种状态事件故障树的定量分析方法”，《电子学报》， 2013，41（8）：1480-1486.
[14]徐丙凤、黄志球、胡军*. “面向适航认证的模型驱动机载软件构件的安全性验证”，《航空学报》， 2012，No.5, Vol.33 .796-808.
[15]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.
[16]刘万凤，胡军*. “陆空通话标准用语（英语）的语音指令识别技术研究”，《计算机科学》， 2013, 40(7):131-137.
[17]张剑、胡军*、郭丽娟.“多核处理器架构下面向监控的软件运行时验证方法研究”，《小型微型计算机》，2012，No.1, Vol.33, pp.102-109.
[18]郭丽娟、胡军*、张剑.“基于即时验证方法的T-CBESD工具扩展设计与实现”，《计算机科学》，2011, No.8,Vol.10, pp.145-151.
[19]吴黎明、胡军*、徐丙凤. “无人机飞控软件系统建模与测试用例生成”，《计算机科学》，2012， No.7, Vol.39, pp. 112-118.
[20]郑军、胡军*、黄志球、柯昌博. “综合模块化航电软件系统测试方法研究综述”，《计算机应用与软件》， 2012，No.5, Vol.29, pp. 163-168.
[21]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.
[22]徐丙凤、胡军*、曹东、黄志球. “T-CBESD:一个构件化嵌入式软件设计模型验证工具”. 《小型微型计算机系统》, 2010 ，Vol.31,No(11),pp. 78-85.
[23]徐丙凤、胡军*、曹东、黄志球. “构件化嵌入式软件设计模型非功能性质验证的工具实现”. 《计算机科学》, 2010,Vol.37,No.8,pp.156-163.
[24]胡军*、黄志球、曹东、徐丙凤. “网构软件的资源自适应性的形式化分析与验证”. 《软件学报》, 2008, 19(5): 1186-1200.
[25]胡军*、于笑丰、张岩、李宣东 、郑国梁. “构件式实时软件系统设计与场景式规约的一致性检验”.《软件学报》, Vol.17, No.1, 2006, pp.0048-0058.
[26]胡军*、于笑丰、张岩、王林章 等. “检验基于场景规约的构件式设计”.《计算机学报》, Vol.29, No.4, 2006, pp. 1-14.
[27]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.
[28]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.
[29]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.

科研成果获奖及专利：
**2.8-一种基于四变量模型的系统安全分析方法
**6.5-一 种基于模型驱动的IMA系统时间资源配置验证方法
**6.7-面向AltaRica模型的系统安全性设计验证 方法
承担的科研项目情况：
(1)2016.11-2019.11(已获批):工信部“十三五”重点项目
(2)2014.1-2019.1:国家重点基础研究发展计划项目(973)
(3)2012.1-2014.12 :国家自然科学基金
(4)2011.10-2015.12:“十二五”国防预研项目
(5)2015.11-2017.11: 工信部民机适航能力建设 专项
(6)2007.10-2009.10:航空基金(自由探索类)
(8)2007.9-2010.9: 教育部博士点基金项目