论文部分内容阅读
嵌入式系统是软硬件高度紧密结合的系统。近年来,随着互联网、物联网的发展,嵌入式系统的地位也越来越重要,嵌入式系统的软件设计的封闭式的开发方式已经越来越不适应当前应用环境的需要。软件产品线方法是提高嵌入式软件的开发效率和质量方面的较好选择。面向特征的领域分析方法(FODA)的提出使得特征分析逐渐成为软件产品线领域建模的主流,特征作为贯穿软件生命周期、跨越问题空间和解空间的一阶实体,能够同时被领域专家、用户和开发者所理解。特征模型是捕获领域需求的重要模型,传统特征建模方法一般是从系统的外延提取特征,未对特征详细定义,因此不适用于具有实时性、高效性的嵌入式系统。本文研究嵌入式产品线建模方法,将特征的概念在嵌入式领域进行扩展,并在领域分析和特征建模的相关研究工作中引入领域本体作为特征建模的基础,以应对嵌入式领域复杂的多变性,并将需求分析与系统设计进行融合。本文主要研究工作如下:首先,提出一种基于本体的领域需求获取方式。使用主观分解方法将问题领域分解为多个子问题领域,并使用自顶向下的逐步求精方法精细化为多个原子需求,使用领域概念来描述原子需求,从而满足分析过程的简易性和精确性;其次,构建了一种适用于嵌入式产品线的特征建模方法。结合嵌入式产品的特点,对特征进行定义为概念、属性及特征之间的关系组成,从内涵和外延两方面来进行特征的描述,并规范其建模过程,从而解决特征无法清晰定义的问题,相比传统特征建模方法更明确、描述更清晰,更有利于后期嵌入式产品特征的映射及实现;再次,实现了从特征模型到产品实例的自动转换机制。采用特征关系代数描述特征之间的关系,实现特征模型形式化描述,并对最终形成的特征实例进行一致性和完备性的检测。最后,将本文所介绍的特征建模方法及特征模型的关键技术应用到嵌入式产品线——无创呼吸机领域,验证了本文的建模方法及相关技术是有效的。