面向嵌入式实时软件的需求规约语言及检测方法

舒风笛; 毋国庆; 李明树

首页> 中文期刊> 《软件学报》 >面向嵌入式实时软件的需求规约语言及检测方法

面向嵌入式实时软件的需求规约语言及检测方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.

著录项

来源
《软件学报》 |2004年第11期|1595-1606|共12页
作者
舒风笛; 毋国庆; 李明树;
展开▼
作者单位

中国科学院;

软件研究所;

北京;

100080;

武汉大学;

计算机学院;

计算机科学系;

湖北;

武汉;

430072;

中国科学院;

软件研究所;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
嵌入式实时软件; 需求规约语言; 需求规约检测; 可达图;

相似文献

中文文献
外文文献
专利

1. 面向特征的软件需求规约 [J] . 张国生 . 微电子学与计算机 . 2019,第11期
2. 面向服务组合的用户隐私需求规约与验证方法∗ [J] . 彭焕峰 ,黄志球 ,范大娟 . 软件学报 . 2016,第008期
3. 一个面向网络并行环境的需求规约语言 [J] . 李彤 ,柳青 ,孔兵 . 计算机工程 . 2000,第001期
4. 嵌入式实时软件需求规格说明的原型化检测方法 [J] . 王敏 ,毋国庆 ,朱立松 . 武汉大学学报：理学版 . 2001,第3期
5. 面向对象的分析,设计及实施直通车——面向对象的统一建模语言及工具 [J] . 廖永红 ,黄战 . 电脑与信息技术 . 2000,第005期
6. 面向嵌入式实时软件系统需求工程环境——SREE [C] . 舒风笛 ,王敏 ,毋国庆 . 2001全国软件技术研讨会 . 2001
7. 模糊语言及其在二语教学中的应用 [A] . 张玉荣 . 2006

面向嵌入式实时软件的需求规约语言及检测方法

摘要

著录项

相似文献

相关主题

期刊订阅