嵌入式软件建模、实现与验证:研究与进展

• 作者: 于笑丰 张岩 李宣东 王林章 胡军 郑国梁
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 嵌入式软件 嵌入式系统 嵌入式建模 实时软件
• 年，卷（期）: 2005,（12）
• 页码范围: 16-23
• 页数: 8页
• 分类号: TP3
• 字数: 12502字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.12.003

摘要

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位.本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战.然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法.最后对嵌入式软件及其相关技术的发展进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机软件新技术国家重点实验室计算机科学与技术系	72	1417	20.0	36.0
2	王林章	南京大学计算机软件新技术国家重点实验室计算机科学与技术系	23	610	12.0	23.0
3	胡军	南京大学计算机软件新技术国家重点实验室计算机科学与技术系	25	260	9.0	15.0
4	于笑丰	南京大学计算机软件新技术国家重点实验室计算机科学与技术系	10	271	7.0	10.0
5	张岩	南京大学计算机软件新技术国家重点实验室计算机科学与技术系	29	494	12.0	22.0