航空机载嵌入式控制软件需求建模的形式化工程方法

嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。

一个集成化的软件需求建模环境的设计与实现

本文提出了一种基于企事业过程的软件需求建模技术,并设计和实现了基于企事业过程的软件需求建模工具EPSRMT的原型系统。

一种改进的软件工程需求建模框架

软件需求建模是软件工程中一个非常重要的环节,同时也是一个非常困难的环节。在统一建模语言UML的基础上,文章提出一种改进的软件工程需求建模框架,在此框架中,引入任务陈述和功能求精树的技术来确定用例,并给出了一个新的用例描述模板。开发人员利用该框架能够更详尽、更精确地获取软件系统的功能需求,并且利用该框架建立的高层次需求模型也比较容易细化为更详细的软件规格说明。

软件需求演化建模方法

该文在分析了与需求分析有关的基本问题之后,讨论了面向对象的软件需求分析方法,最后介绍了一种新型的面向对象需求分析方法,即ORDIT模型方法。

用例法分析嵌入式系统软件需求研究

用例法是常用的软件需求建模方法,但由于嵌入式系统传统意义上的用例不多,再加上用例法不要求确定整个软件的数据域,导致用例法很少用于分析嵌入式系统的软件需求。本文借鉴结构化激励响应法第一步“分解系统需求”和第四步“确定软件数据域”的做法,把使用嵌入式系统或受其影响的模块或机器,以及这些模块或机器的不同模式等作为用例角色,并通过对用例输入和输出分组、定义激励和响应、形成整个软件的《词汇表》和《数据字典》等步骤,获取和分析嵌入式系统软件的用例,进行需求建模。最后以一个通信模块配套软件为例,演示上述过程。