姓名：任爱华

出生年月：1957年8月出生

职称：北京航空航天大学计算机学院教授

从2008年起担任国家开放大学C语言程序设计课程主讲主编

教育背景：

1988.1在美国纽约州立大学获得硕士学位。

2001.3年在北京航空航天大学计算机系"计算机软件与理论学科"获得博士学位。

自2002以来从事CMM/CMMI的过程实施与改进的评估工作和研究工作，目前是美国卡耐基梅隆大学软件工程研究所授权的CMMI主任评估师，并在与之相关的项目管理工具的研制工作中进行了深入的研究, 为多家软件企业完成了基于CMMI的正式评估。

2005.10-2007.12 负责“基于CMMI理念的过程管理工具的研究与开发”，航空科学基金，正在进行中，已经基本完成。项目主持人，项目编号为2005ZJ51075

1999.1-2001.12 负责“基于扩展Petri网的多处理机操作系统开发”，国家自然科学基金， 超额完成，项目主持人，项目编号为69883002。

1996.10-1998.12: 负责“以面向对象PETRI网为基础的并发软件开发方法研究”，国家航空科学基金，通过部级鉴定，项目编号为96F51075. 获得99年度航空工业总公司科技进步三等奖，是项目主持人。

1995.7-1997.7参加“STEP为基础的CAD/CAM系统”，与北航720合作的863项目，负责图形系统开发，圆满完成，项目编号为8635119503001与221-2-120

1993.9-1995.9负责“基于面向对象的PETRI网并发软件开发方法及其支持工具”的研究，武汉大学国家重点实验室基金，圆满完成，项目编号为93008

1991.6-1993.6参加“基于PETRI网并发软件开发方法及其支持工具的研究”任务，获部级93年科技成果三等奖(承担“死锁检测”部分)

1990.6-1994.6参加国家“七五”、“八五”重点攻关项目“COSIX操作系统开发”(与中软总公司合作)，项目编号为8571230104.

1990.1-1990.6参加“网络环境MIS自动生成器”任务，获部级92科技成果三等奖(承担“统计图形软件”的开发部分)

1989-1990参加国防科工委项目“ADA源程序死锁检测”工作。

[1] 任爱华，刘又诚，“度量软件过程”，北京航空航天大学出版社，2002

[2] 任爱华，“计算机图形学”，北京航空航天大学出版社，2005

[3] 任爱华，“操作系统实用教程（第二版）”，清华大学出版社，2004

[4] 任爱华，李鹏，刘方毅，“操作实验指导” ，清华大学出版社，2004

[5] 任爱华,“操作系统辅导与提高” ，清华大学出版社，2004

[6] 任爱华，“计算机操作系统习题与解析”，科学出版社，2002年7月

[1]任爱华，“An Integrated Development Environment for Concurrent Software Developing Based on Object Oriented Petri Net”

The Fourth International Conference/Exhibition on High Performance Computing in Asia-Pacific Region(HPC-ASIA 2000国际会议论文集), IEEE Computer Society Press。

[2] 任爱华，焦晖，孙云峰，“基于面向对象PETRI网的移动式Agent系统”，航空学报，2003年,第24卷,第1期

[3] 任爱华，杜悦冬， “基于PETRI网结构的多处理机操作系统研究”，软件学报2001年,Vol.12,No.7

[4] 任爱华，周伯生等，“可视化过程建模语言VPML与PETRI网的等价性证明”，计算机工程与设计，2001，VOL.22,No.6

[5] 任爱华，金茂忠，“基于OOPN的实时软件开发方法与环境的研究”，北京航空航天大学学报，2001，第27卷，第4期

[6]任爱华，“Research on software developing for MPRT system based on OOPN ”， International Conference on Computer, Communication and Control Technologies (CCCT 03)/9th International Conference on Information Systems Analysis and Synthesis (ISAS03), VOL 3, PROCEEDINGS 483-487, 2003，ORLANDO, FLORIDA

[7] 石宏义，任爱华，“An object-oriented Petri nets based integrated development environment for grid-based applications”，GRID AND COOPERATIVE COMPUTING, PT 1, 3032: 809-812 2004

[8] 张迪，任爱华，“基于单向红外通讯协议的视频广播系统”，中山大学学报，2006.5

[9] 王菲，任爱华，“A configuration Management supporting system based on CMMI”, FIRST INTERNATIONAL MULTI-SYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS 2006),PROCEEDINGS,VOL 2 420-423,2006

[10] 林仕鼎，任爱华，“Linux内核在新型硬件平台上的实现”，北京航空航天大学学报，2003年29卷第2期

（1）度量软件过程 （研究生选修课）

（2）计算机操作系统（本科生必修课）

（3）计算机图形学 （本科生必修课）

（4）分布式操作系统 （留学研究生课程）

1、并发软件开发工具（航空基金资助的研究成果）

该工具在1999年获得中国航空工业总公司科技进步三等奖，排名第一。

工具简介：OOPN-IDE是基于Windows、Unix以及Linux操作系统平台的并发软件开发集成工具，适用于对具有并发、异步、分布式、并行性、不确定性和随机性的信息处理系统与控制系统的管理和控制，该工具用JAVA语言开发，其主要特点如下：

（1）以面向对象Petri网作为系统建模语言；

（2）跨不同的操作系统平台，具有多机协同建立系统模型的功能；

（3）提供四个主要功能：系统建模、系统模拟、系统运作和系统死锁检测

2、嵌入式操作系统（国家自然科学基金资助的研究成果）

该工具提供一个开发实时操作系统的可视化编成工具，可以生成一个基于面向对象Petri网的实施控制系统，并可固化在ROM之中。功能描述如下：

（1）以面向对象Petri网描述实时系统需求，针对不同的实时需求建立不同的Petri模型，通过固化在ROM中的执行程序来运行面向对象Petri网，从而达到执行实时系统的目的。

（2）利用面向对象Petri网图形的特点，通过图形方式描述需求，利用Petri网中的变迁transition中可以嵌入可执行代码的特点实现实时控制。

3、基于CMMI的过程管理工具（航空基金资助的研究成果）
该工具提供了项目管理、过程管理、工程管理以及支持过程的管理工具。主要是为软件企业实施过程改进提供支持。该工具采用JSP开发，基于J2EE的开发模式构建整个工具系统，提供的主要功能如下：

（1）项目管理功能

工作包分解结构的支持工具

项目计划描述工具

项目监控工具（进度监控、软件规模和工作量监控）

风险管理流程控制工具

量化项目管理工具

（2）过程管理功能

建立组织过程资产库

提供裁剪指南

提供软件生命周期模型

建立度量库

（3）工程管理功能

提供需求管理功能

提供需求开发基本工具

提供设计开发基本工具

提供产品集成过程指南

提供软件验证与确认基本工具

（4）支持过程

度量与分析基本工具

配置管理流程控制工具

产品与过程质量保证流程控制工具

供应商子合同管理工具

决策分析于解决方案流程控制工具

原因分析与解决方案流程控制工具