嵌入式实时软件建模方法研究

罗浩; 张广泉; 陈冬火

首页> 中文期刊>苏州大学学报（自然科学版） >嵌入式实时软件建模方法研究

嵌入式实时软件建模方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.

著录项

来源
《苏州大学学报（自然科学版）》|2007年第2期|49-54|共6页
作者
罗浩; 张广泉; 陈冬火;
展开▼
作者单位

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

苏州大学,计算机科学与技术学院,江苏,苏州,215006;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
嵌入式实时软件; 建模; UML2.0顺序图; 时间自动机;

相似文献

中文文献
外文文献
专利

1. 一种基于CBSE的嵌入式实时软件建模方法研究 [J] . 夏苑 ,张为群 . 计算机科学 . 2005,第008期
2. 嵌入式实时软件的能耗建模与分析 [J] . 郭杰 . 电子测试 . 2016,第015期
3. 基于构件的嵌入式实时软件建模与分析 [J] . 张广泉 ,林苗 ,戎玫 . 计算机工程与科学 . 2008,第012期
4. 一种面向嵌入式实时软件的需求建模语言 [J] . 舒风笛 ,毋国庆 . 计算机科学 . 2005,第002期
5. 面向集控嵌入式实时软件的单元测试方法研究 [J] . 裴承艳 . 电子技术应用 . 2014,第012期
6. 基于构件的嵌入式实时软件建模与分析 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 基于UML和时间ER网的嵌入式实时软件建模与分析 [A] . 林苗 . 2008

嵌入式实时软件建模方法研究

摘要

著录项

相似文献

相关主题

期刊订阅