面向嵌入式实时软件的需求规约语言及检测方法 | |
舒风笛 ; 毋国庆 ; 李明树 | |
刊名 | 软件学报 |
2004 | |
卷号 | 15期号:11页码:1595-1606 |
关键词 | 嵌入式实时软件 需求规约语言 需求规约检测 可达图 |
其他题名 | an embedded real-time software oriented requirements specification language and checking methods |
中文摘要 | 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行. |
收录类别 | cscd |
语种 | 中文 |
CSCD记录号 | CSCD:1789919 |
公开日期 | 2010-07-05 |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/2775] |
专题 | 软件研究所_互联网软件技术实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 舒风笛,毋国庆,李明树. 面向嵌入式实时软件的需求规约语言及检测方法[J]. 软件学报,2004,15(11):1595-1606. |
APA | 舒风笛,毋国庆,&李明树.(2004).面向嵌入式实时软件的需求规约语言及检测方法.软件学报,15(11),1595-1606. |
MLA | 舒风笛,et al."面向嵌入式实时软件的需求规约语言及检测方法".软件学报 15.11(2004):1595-1606. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论