买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

摘要：本发明公开了一种复杂嵌入式软件系统的需求规约描述模板及生成方法，应用于嵌入式系统需求规约技术领域。描述模板包括声明描述、组合问题描述和原子问题描述；其描述基本语句包括声明、表达式与约束、原子语句、时间无关和相关控制语句。生成方法包括声明生成、组合问题的生成和原子问题的生成；它以子问题图与情景图、数据字典、系统组成、设备库、需求追踪关系图为输入，按描述模板输出嵌入式软件需求规约。本发明根据嵌入式软件系统的需求特征，提供了复杂嵌入式软件系统的需求规约描述模板与生成方法，工程师运用此方法明确需求，提供详细的嵌入式软件系统需求描述，减少开发过程中的误解，从而减少修改，节省时间成本。

主权项：1.一种复杂嵌入式软件系统的需求规约描述模板，其特征在于，包括声明部分、组合问题和原子问题；声明部分、组合问题和原子问题通过基本语句表示，基本语句包括声明语句、表达式与约束语句、时间无关控制语句和时间相关控制语句；声明部分包括周期声明、设备声明、存储声明和定时器声明；周期声明语句对嵌入式软件系统中的周期进行声明，设备声明语句用于描述嵌入式软件系统中的设备信息，存储声明用于描述嵌入式软件系统中的存储信息，定时器声明用于描述嵌入式软件系统中的定时器信息，声明部分通过声明语句进行声明；表达式与约束语句包括单变量定义语句、数组定义语句、计算表达式语句、赋值表达式语句、比较表达式语句、布尔表达式语句和设计约束语句；单变量定义语句用来定义单个指定类型的变量数据，在规约中用于创建临时变量，数组定义语句用来定义单个指定类型的数组变量，在规约中用于创建临时变量，计算表达式语句用来描述算术运算，赋值表达式语句用来描述赋值操作，比较表达式语句用来描述比较操作，布尔表达式语句用来描述布尔逻辑，设计约束语句用来描述需求问题在设计实现时关于精度、空间、时间方面的约束信息；时间无关控制语句包括顺序语句、分支语句、循环语句、选择语句和并发语句；顺序语句描述两条语句按照先后顺序执行的逻辑关系，分支语句描述多条语句根据分支条件选择执行的逻辑关系，循环语句描述循环执行的逻辑关系，选择语句描述两组或多组语句之间选择一组语句执行的逻辑关系，并发语句描述两组或多组语句之间并发执行的逻辑关系；时间相关控制语句包括延迟语句、指定时间发生语句、连续条件满足执行语句；延迟语句表达了延迟等待指定时间后再继续执行的操作逻辑，指定时间发生语句表达了在周期特定时刻执行的操作逻辑，连续条件满足执行语句表达了布尔条件连续多个周期或者在指定时间长度内为真时，执行指定语句的操作逻辑；组合问题的描述语句表达问题名称、问题简称、子问题、子问题间关系和约束，组合问题由多个问题组合而成；原子问题的描述语句表达问题名称、简称、参数、IO公式、交互流、满足的需求和设计约束，问题名称和简称用于唯一标识原子问题，参数用于描述所使用的设备、存储、物理量信息，不同模式的原子问题拥有不同的参数定义；IO公式包括输入、输出以及处理逻辑；交互流描述原子问题中软件与设备等实体的交互过程；满足的需求记录原子问题对应需求描述问题图中的需求名称；设计约束用于描述软件开发人员在实现软件时应注意的精度、时间约束信息，原子问题为嵌入式系统中无法再分解的问题。

全文数据：

权利要求：

百度查询： 北京大学 华东师范大学 一种复杂嵌入式软件系统的需求规约描述模板及生成方法