|
|||||
|
|
| 基于构件的嵌入式实时软件建模与分析 | |
| 引用本文： | 张广泉,林苗,戎玫.基于构件的嵌入式实时软件建模与分析[J].计算机工程与科学,2008,30(12):137-141. |
| 作者姓名： | 张广泉 林苗 戎玫 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院,江苏,苏州,215006 2. 闽江学院数学系,福建,福州,350108 3. 暨南大学深圳旅游学院,广东,深圳,518053 |
| 基金项目： | 江苏省高校自然科学研究项目，重庆市自然科学基金资助项目 |
| 摘 要： | 嵌入式实时软件具有严格的时间要求，任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此，在软件开发早期，对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法，该方法不仅可以检测出需求模型中的时间冲突，有助于保证嵌入式实时软件时间约束的正确性，而且也也使得分析结果具有可复用、可扩展的优点。 |
| 关 键 词： | 嵌入式实时软件 UML 时间ER网 组合时间分析 |
Research on the Component-Based Modeling and Analysis of Embedded Real-Time Software |
|
| ZHANG Gnang-quan,LIN Miao,RONG Mei.Research on the Component-Based Modeling and Analysis of Embedded Real-Time Software[J].Computer Engineering & Science,2008,30(12):137-141. | |
| Authors: | ZHANG Gnang-quan LIN Miao RONG Mei |
| Affiliation: | ZHANG Guang-quan1,LIN Miao2,RONG Mei3 |
| Abstract: | The embedded real-time software has strict timing constraints,and it is beneficial to analyze timing constraints as early as possible to build dependable software systems.The paper proposes an approach to modeling and analyzing embedded real-time software with the guidance of component technology.With the approach,we can check the conflicts of the given timing constraints in software systems at an early phase.In addition,not only the component models but the analysis results can be reused for developing another relevant embedded real-time software. |
| Keywords: | embedded real-time software UML time ER net compositional timing analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |