并发和实时系统的理论与应用
出自计算机科学国家重点实验室
| 研究方向 | |
|---|---|
| 并发和实时系统的理论与应用 | |
| 软件技术原理 | |
| 计算机图形学和人机交互理论与技术 | |
| 并行算法与并行软件 |
简介
研究以并发性、实时性和移动性为主要特征的计算现象，建立和发展描述并发系统和实时系统的行为与性质的模型、理论和逻辑；研究建立在这些模型、理论和逻辑上的技术和方法，探讨这些技术和方法在软件开发、网络系统、生命科学等领域的应用。
研究内容
- 并发系统、实时系统和混成系统的形式理论
- 自动机与逻辑、形式语义
- 模型检测、定理证明等形式验证方法
- 嵌入式系统的建模及验证
- 电子系统设计自动化
- 实时系统调度理论
在研项目
| 课题名称 | 负责人 | 起止时间 | 类别 |
|---|---|---|---|
| 高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究 | 李广元、詹乃军、周巢尘 | 2008.01-2011.12 | 重点基金参与 |
| 模型检测的理论、技术与工具 | 林惠民 | 2009.01-2011.12 | 重点基金 |
| 自动验证理论与技术 | 张文辉 | 2009.09-2012.09 | 软件所创新 |
| 并发系统的Petri网结构化分析与综合研究 | 焦莉 | 2010.01-2012.12 | 面上基金 |
