基于RUCM的嵌入式软件的可靠性和实时性需求建模方法
软件需求是用户对软件系统的功能、行为、性能、设计约束等方面的期望,也是系统必须提供的能力和必须遵从的条件.本文分析现阶段需求的各种描述方法,针对嵌入式软件需求复杂并且难以全面描述的问题,提出了一种易理解性和精确性的RUCM用例建模方法,该方法通过一个用例规范模板和对应的一套约束规则准确地捕获需求,同时突出系统质量的非功能属性(可靠性和实时性).最后,本文应用此方法对飞控系计算机系统进行需求建模,验证该方法的可行性.
嵌入式软件 系统可靠性 系统实时性 需求分析 建模方法
郭鹏 张亚棣 李亚晖 叶宏
中航工业西安航空计算技术研究所,陕西西安710068
国内会议
浙江丽水
中文
182-188
2013-09-01（万方平台首次上网日期，不代表论文的发表时间）