【技术实现步骤摘要】
本专利技术涉及。
技术介绍
实时嵌入式系统在制造工业、通信、汽车、航空航天、消费类产品等领域得到了越来越广泛的应用。但是，实时嵌入式系统的开发通常十分复杂，所以在开发前期，要对整个系统建立相应的模型进行抽象。这样有助于实时系统软件的开发，能够很好地控制系统的复杂性。在实时嵌入式系统开发过程中，经常会用到UML状态机图(SMD)，它是一种半形式化的模型，这样在实时嵌入式系统开发的初期，设计者就不能很好的对设计模型进行分析和验证。为了解决这个问题，我们需要将SMD转化为形式化的自动机模型，并利用现有工具对转化结果进行分析验证。这样在系统设计初期就可以发现系统的一些错误和不足，有利于系统更好更快地开发。自动机是一类形式化的建模语言，有很多现有的包括Uppaal在内的模型检验工具进行支撑。利用支撑工具我们可以方便的对已有自动机模型进行模拟，分析及验证工作。(Uppaal可以用来对被转换时间自动机网络模型的实时系统进行建模、校验和验证。它是由瑞典Uppsala大学的信息技术学院和丹麦Aalborg大学的计算科学学院联合开发的)
技术实现思路
本专利技术目的是，鉴于上述问题，本...
【技术保护点】
一种带并发的状态机图转换到自动机的方法，其特征是包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机，该自动机产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location和三个transition；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果；步骤11中，自动机的名字可根据任意定义；所述location为自动机中的节点，transition为自动机中的迁移。
【技术特征摘要】
1.一种带并发的状态机图转换到自动机的方法，其特征是包括步骤如下 步骤10 :输入一个UML状态机图； 步骤11 :生成一个名字为go的自动机，该自动机产生一个go信号量； 步骤12 :对状态机图的每个状态声明一个整型全局变量； 步骤13 :对状态机图的每个迁移声明一个自动机； 步骤14 :每个自动机添加两个location和三个transition ； 步骤15 :根据UML状态图的迁移,完善所添加的location和transition ； 步骤16 :所有产生的自动机，构成转换结果； 步骤11中，自动机的名字可根据任意定义； 所述location为自动机中的节点，transition为自动机中的迁移。2.根据权利要求1所述的带并发的状态机图转换到自动机的方法，其特征是步骤10中， 所构造的模型符合以下形式 该模型包括一个根节点Region,每个Region都要有个Name节点，在Region里可以有若干个State和Transition，同时还允许添加局部变量声明，允许根据需要添加参数节点；所述Region代表一个状态图的范围，Name为状态图的名字，State为状态图中的节点，Transition为状态图中的迁移； 设计一个状态机图的过程包括 步骤200 :用eclipse运行状态机图编辑器； 步骤201 :右键单击根节点，新建一个或多个Region ； 步骤202 :右键单击Region节点,仓Il建系统中所需要的State节点，同时为每个State节点命名，如果State节点有时限变量，则跳转到步骤203，否则跳转到步骤204 ； 步骤203 :右键单击State节点，增加时限变量节点，并设置初始值； 步骤204 :右键单击Region节点，仓Il建系统中所需要的Transition节点，同时为每个Transition节点命名及指定源和目标状态； 步骤205 :右键单击Region节点，增加局部变量声明节点； 步骤206 :右键单击Region节点，增加参数节点； 步骤207 :右键单击Region节点，增加名字节点； 步骤208 :右键单击根节点，增加全局变量声明节点； 步骤209 :右键单击根节点，增加系统模型声明节点； 步骤210 :结束本次状...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。