| 面向嵌入式实时软件的需求规约语言及检测方法 |
| |
| 引用本文： | 舒风笛,毋国庆,李明树.面向嵌入式实时软件的需求规约语言及检测方法[J].软件学报,2004,15(11):1595-1606. |
| |
| 作者姓名： | 舒风笛 毋国庆 李明树 |
| |
| 作者单位： | 1. 中国科学院,软件研究所,北京,100080
2. 武汉大学,计算机学院,计算机科学系,湖北,武汉,430072 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.69873035, 60273026 (国家自然科学基金); the K.C. Wong Education Foundation, Hong Kong, China (香港王宽诚教育基金) |
| |
| 摘 要： | 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.
|
| 关 键 词： | 嵌入式实时软件 需求规约语言 需求规约检测 可达图 |
| 文章编号： | 1000-9825/15(11)1595 |
| 收稿时间： | 4/1/2004 12:00:00 AM |
| 修稿时间： | 2004年4月1日 |
An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods |
| |
| SHU Feng-Di,WU Guo-Qing and LI Ming-Shu.An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods[J].Journal of Software,2004,15(11):1595-1606. |
| |
| Authors: | SHU Feng-Di WU Guo-Qing and LI Ming-Shu |
| |
| Abstract: | |
| |
| Keywords: | embedded real-time software requirements specification language requirements specification checking reachability graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
