摘要
时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.
Timing requirement as a key element in the embedded systems is becoming more and more important. However, at present, there is an integration problem between multiple environment time description and single software time description in timing requirements. On the basis of the environment based functional requirements, this paper proposes a multiform time require ments modeling approach trying to provide a solution to the integration problem at the require- ment level. A multiform time requirement model is built by adding multiform time description to environment elements for supporting this approach. A timing requirements modeling process guided by the requirement model is also presented for helping timing requirements description on the basis of functional requirements. Steps from timing requirements to timing requirement specification are also given. Following these steps, requirements analysts can obtain the timing requirements specification easily.
出处
《计算机学报》
EI
CSCD
北大核心
2013年第1期88-103,共16页
Chinese Journal of Computers
基金
国家自然科学青年基金(61202104
60903021)
国家自然科学重点基金(61170084)
国家"九七三"重点基础研究发展规划项目基金(2009CB320702)
国家"八六三"高技术研究发展计划项目基金(2011AA010101)
教育部博士点基金(20120076120016)
创新群体(61021004)
浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK30)资助~~
关键词
时间需求
多形态时间
基于环境建模
嵌入式系统
timing requirements
multiform time
environment based modeling
embedded systems