【技术实现步骤摘要】
本专利技术涉及嵌入式系统需求规约，更具体的说是涉及一种复杂嵌入式软件系统的需求规约描述模板及生成方法。
技术介绍
1、嵌入式系统已经从单片微型计算机、微控制器、片上系统发展到网络化，其应用涉及智能家居、工业控制、交通管理、航空航天、汽车电子、轨道交通等领域，具有良好的发展前景。与此同时，嵌入式系统的规模及其需求的复杂度也在不断增加。例如，2007年一辆典型的高级汽车包含大约270个与驾驶员互动的功能，而到2010年，高级汽车包含的此类功能数量增至500多个。不仅如此，嵌入式系统需求复杂度还体现在连接设备的剧增。2010年全世界智能互联设备数量达到125亿台，而到2020年，这一数字已增至四倍。设备控制需求的复杂性给嵌入式软件系统的开发带来了巨大挑战。
2、对复杂软件系统开发而言，需求阶段是最容易出错而且出错代价最高的阶段，对嵌入式软件系统而言更是如此。嵌入式领域中有超过50％的错误发生在系统交付时，而且与需求的错误理解有关。导致软件灾难的需求问题可以分为两类，一类是对需求的错误理解、更新和实现，另一类是需求的不完整、不一致和...
【技术保护点】
1.一种复杂嵌入式软件系统的需求规约描述模板，其特征在于，包括声明部分、组合问题和原子问题；声明部分、组合问题和原子问题通过基本语句表示，基本语句包括声明语句、表达式与约束语句、时间无关控制语句和时间相关控制语句；声明部分包括周期声明、设备声明、存储声明和定时器声明；周期声明语句对嵌入式软件系统中的周期进行声明，设备声明语句用于描述嵌入式软件系统中的设备信息，存储声明用于描述嵌入式软件系统中的存储信息，定时器声明用于描述嵌入式软件系统中的定时器信息，声明部分通过声明语句进行声明；表达式与约束语句包括单变量定义语句、数组定义语句、计算表达式语句、赋值表达式语句、比较表达...
【技术特征摘要】
1.一种复杂嵌入式软件系统的需求规约描述模板，其特征在于，包括声明部分、组合问题和原子问题；声明部分、组合问题和原子问题通过基本语句表示，基本语句包括声明语句、表达式与约束语句、时间无关控制语句和时间相关控制语句；声明部分包括周期声明、设备声明、存储声明和定时器声明；周期声明语句对嵌入式软件系统中的周期进行声明，设备声明语句用于描述嵌入式软件系统中的设备信息，存储声明用于描述嵌入式软件系统中的存储信息，定时器声明用于描述嵌入式软件系统中的定时器信息，声明部分通过声明语句进行声明；表达式与约束语句包括单变量定义语句、数组定义语句、计算表达式语句、赋值表达式语句、比较表达式语句、布尔表达式语句和设计约束语句；单变量定义语句用来定义单个指定类型的变量数据，在规约中用于创建临时变量，数组定义语句用来定义单个指定类型的数组变量，在规约中用于创建临时变量，计算表达式语句用来描述算术运算，赋值表达式语句用来描述赋值操作，比较表达式语句用来描述比较操作，布尔表达式语句用来描述布尔逻辑，设计约束语句用来描述需求问题在设计实现时关于精度、空间、时间方面的约束信息；时间无关控制语句包括顺序语句、分支语句、循环语句、选择语句和并发语句；顺序语句描述两条语句按照先后顺序执行的逻辑关系，分支语句描述多条语句根据分支条件选择执行的逻辑关系，循环语句描述循环执行的逻辑关系，选择语句描述两组或多组语句之间选择一组语句执行的逻辑关系，并发语句描述两组或多组语句之间并发执行的逻辑关系；时间相关控制语句包括延迟语句、指定时间发生语句、连续条件满足执行语句；延迟语句表达了延迟等待指定时间后再继续执行的操作逻辑，指定时间发生语句表达了在周期特定时刻执行的操作逻辑，连续条件满足执行语句表达了布尔条件连续多个周期或者在指定时间长度内为真时，执行指定语句的操作逻辑；组合问题的描述语句表达问题名称、问题简称、子问题、子问题间关系和约束，组合问题由多个问题组合而成；原子问题的描述语句表达问题名称、简称、参数、i/o公式、交互流、满足的需求和设计约束，问题名称和简称用于唯一标识原子问题，参数用于描述所使用的设备、存储、物理量信息，不同模式的...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。