基于状态图和构件的嵌入式系统软件设计及其可靠性分析

发布时间：2021-12-31 05:13

　　嵌入式系统已经获得了广泛的应用,但是目前使用的嵌入式软件的开发方法仍旧比较落后。本文提出了一种基于状态图和构件的嵌入式软件开发方法,使用状态图建模来描述系统的动态行为,构建应用程序的框架,而软件功能的具体实现是通过组装构件来完成。并将这种方法运用到控制器局域网（Controller Area Network,CAN）节点的软件实现中,其中构件使用的是飞思卡尔提供的XGATE Lib构件库中的构件。阐述了一种基于场景的可靠性分析方法,用于分析基于构件的软件可靠性,并将这种方法用于分析前面设计的CAN节点的软件可靠性。本文首先阐述了状态图和构件在嵌入式软件开发中的应用,包括状态图和构件技术应用在嵌入式软件开发中的原因,UML中的状态图的使用方法以及状态图开发工具VisualSTATE简介。详细阐述了CAN节点的硬件设计。CAN节点主要包括CAN总线消息的发送和接收模块、用于获取协调世界时（Universal Time Coordinated,UTC）的全球定位系统（Global Position System,GPS）模块和用于显示信息的LCD模块。使用状态图和构件技术实现了CAN节点的软... 

【文章来源】：天津大学天津市 211工程院校 985工程院校 教育部直属院校

【文章页数】：72 页

【学位级别】：硕士

【部分图文】：

状态机元素-8-

图2-5带有迁移描述的状态图isualSTATE介绍isualSTATE是IAR公司开发的一个集成化的开发工具，其可以设计基于状态机理论的嵌入式应用[35]。VisualSTATE覆盖了嵌入式产品发步骤：图形化的设计、快速的原型生成、自动代码的生成、系统和开发文档的自动生成。isualSTATE的主要特点：于UML状态机的图形化设计。成的开发环境，包括图形化的设计界面和测试工具，以及图形（或）对应的代码和文档生成器。设计模型进行规范性验证，检查系统的逻辑性、一致性，查找出系者错误，比如死锁，从未用到的输入，系统不可达状态等。供图形化的测试和验证工具，用于静态和动态的系统分析。

分”电压形式出现的[46]。如图3-1所示。图3-1 CAN总线的位数值3.2.2 MSCAN模块简介MC9S12XEQ512的CAN模块是符合Motorola的MSCAN12规范的，也符

【参考文献】：
期刊论文
[1]基于MDA的构件开发方法的研究[J]. 许峰,王志坚.  计算机应用与软件. 2009(11)
[2]基于UML的CAN总线监控软件建模研究[J]. 曾倩,袁海文,张莉.  中国测试. 2009(05)
[3]基于构件软件的可靠性评估模型[J]. 邓勇进,王海军.  电子产品可靠性与环境试验. 2009(03)
[4]基于构件的NHPP类软件可靠性增长模型的研究[J]. 侯春燕,崔刚,刘宏伟,杨孝宗.  计算机科学. 2009(04)
[5]基于模型驱动的软件开发模式研究[J]. 黄书强.  微电子学与计算机. 2009(04)
[6]层次状态机在集群设备中的应用[J]. 肖涛森,罗克露.  微计算机信息. 2008(36)
[7]协调世界时UTC:历史和未来[J]. 魏娜.  测绘科技情报. 2008 (04)
[8]机器人程序设计中的状态转换方法[J]. 王明顺.  东北大学学报(自然科学版). 2008(02)
[9]模型驱动的嵌入式系统设计[J]. 吴一帆,张毅玲,周世安.  空间控制技术与应用. 2008(01)
[10]统一建模语言状态图的Petri网模型及其分析方法[J]. 郭峰.  计算机集成制造系统. 2007(07)



本文编号：3559681