排序方式: 共有17条查询结果,搜索用时 215 毫秒
1.
本文介绍了液态模锻工艺过程单片机仿真控制系统的设计方法,包括液态模锻工艺程确立、逻辑量确立、硬件系统设计、MDS图的建立及软件实现,在工艺设备的逻辑性控制中应用MDS图控制结构设计的控制器可方便方便地实现PLC的控制功能,也可主便地实现其他娄字逻辑系统的控制功能。 相似文献
2.
3.
针对嵌入式系统下串口通信,引入I-Logix公司的Rhapsody开发工具和UML(统一建模语言),采用流行的软件开发模式,设计并实现了嵌入式系统下的串口通信。通过嵌入式串口实例的实现,阐述了UML的建模、设计和验证的可视化的开发方法,解决了嵌入式系统下基于UML模式的串口开发问题,对于UML模式的嵌入式系统开发具有重要的参考价值。 相似文献
4.
基于Petri网的UML状态图的形式化模型 总被引:6,自引:0,他引:6
提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质. 相似文献
5.
基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点. 相似文献
6.
软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性. 相似文献
介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图进行了分析.阐述了在软件模型的基础上,基于Vx Works 653操作系统(OS)的IMA应用开发过程,涉及到模块操作系统的构建、分区操作系统的构建、应用的构建以及综合的构建,其中,模块操作系统的构建涉及到核心操作系统Makefile的开发,分区操作系统的构建涉及到分区操作系统配置表以及其Makefile的开发,应用的构建涉及到应用源程序、应用配置表以及其Makefile的开发,综合的构建涉及到模块配置表以及其Makefile的开发,将应用加载到IMA模块上进行了功能测试,IMA应用运行状态与Harmony软件模型行为一致. 相似文献
8.
构造正则表达式的简化DFA算法 总被引:2,自引:0,他引:2
檀凤琴 《北京航空航天大学学报》1998,24(4):495-498
介绍了构造等价于给定正则表达式的简化确定有限自动机(DFA)的算法.方法是首先构造与正则表达式等价的非确定有限自动机(NFA), 这里省略了构造带ε动作的有限自动机的操作, 然后用状态树构造与该NFA等价的简化DFA.这个算法在计算机上已实现, 并且对输入的任意正则表达式, 都可以输出等价于正则表达式的简化DFA.该算法可以用于某些离散信息处理系统的设计与分析. 相似文献
9.
为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块:主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。 相似文献
10.
本文介绍了基于 Harmony 系统建模方法在新一代飞机综合数据管理系统的系统功能分析阶段的应用.采用了 Rhapsody 作为系统设计工具,首先在对系统需求进行分析的基础上,对系统创建用例图,然后针对每个用例,构建其活动图,并根据活动图生成相应的顺序图.在得到顺序图之后,生成系统与外部交互的端口、接口和事件,并以此创建该用例所对应块的状态图.最后通过对状态图进行执行,将执行生成的顺序图与之前的顺序图进行对比,从而对整个用例模型进行验证 相似文献