导读:本文包含了嵌入式状态机论文开题报告文献综述及选题提纲参考文献，主要关键词:需求建模语言,实时,嵌入式软件,形式化定义
嵌入式状态机论文文献综述
单锦辉,张路,王金波,张涛[1]（2019）在《实时嵌入式软件时间抽象状态机的扩展》一文中研究指出针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。(本文来源于《北京大学学报(自然科学版)》期刊2019年02期）
王海珍[2]（2017）在《嵌入式系统内的UML状态机和框架技术分析》一文中研究指出将UML状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态机相比,UML状态机描述出来的嵌入式系统体现出了图形可视、逻辑通顺以及结构清晰等特征。本文以Quantum Platform框架为例,展开了嵌入式系统的相关应用分析。(本文来源于《数字技术与应用》期刊2017年02期）
王春武,程礼邦,刘春玲,王立忠[3]（2016）在《状态机在嵌入式系统设计中的应用》一文中研究指出为了使嵌入式系统软件更易于编写,并且提高可维护性,本文将有限状态机引入到嵌入式系统设计中。以工程实例为背景,首先利用程序流程图对算法进行描述,然后提出了状态机建模的基本步骤和使用方法,最后通过对比得出了状态机在描述算法上的优势。(本文来源于《单片机与嵌入式系统应用》期刊2016年09期）
楼伟刚[4]（2014）在《UML状态机与框架技术在嵌入式系统中的应用》一文中研究指出嵌入式系统中运用UML状态机和框架复用技术,在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统有限状态机,用UML状态机描述的嵌入式系统具有高度结构化、逻辑清晰、图形可视等特点。以基于Quantum Platform框架在嵌入式系统的应用为例,介绍了一种基于UML状态机的图形化建模开发和代码自动生成方法。该方法基于Quantum Platform框架以及相关开发组件,具有快速开发、方便调试、多平台移植、支持底层8位/16位低端单片机等特点。(本文来源于《软件导刊》期刊2014年05期）
孙宏军,张亚洲,刘建[5]（2013）在《层次化状态机架构的嵌入式手操器软件设计》一文中研究指出引入层次化状态机的软件编程思想,应用到嵌入式手操器软件设计中。根据程序执行状态将系统划分为不同状态,并根据相关程度进行分层,便于主程序的管理和调度,使所有的任务能在较短的时间内执行完毕,以满足实时性要求。同时,界面显示采用改进的基于二叉树链表菜单设计方法,用一维数组代替链表结构,使整体设计减少了有限资源的消耗,显示功能更加条理、高效。(本文来源于《单片机与嵌入式系统应用》期刊2013年11期）
方质彬,曲景阳[6]（2013）在《采煤机嵌入式状态监测系统设计》一文中研究指出为了实现采煤机的状态监测,使采煤机能够长时间处于最佳运行状态,结合当今电子领域研究热点嵌入式技术,本文提出了一种基于嵌入式L i n u x的采煤机状态监测系统设计方案,研究了电牵引采煤机状态监测系统的总体设计、工作原理和软硬件实现,结果表明:该系统设计能够较好实现采煤机的状态监测,具有一定的实用价值。(本文来源于《可编程控制器与工厂自动化》期刊2013年10期）
高阳,左效斌,陈洪法[7]（2012）在《恒压供水变频器的嵌入式状态监测系统设计》一文中研究指出针对目前被广泛用于恒压供水的工业变频器,设计了一种基于ARM9芯片和嵌入式Linux操作系统的变频器状态监测系统。该监控系统具有良好的可靠性和交互性,能够实现变频器状态的实时监控,并且便于扩展实现数据存储及无线通信。(本文来源于《自动化应用》期刊2012年06期）
汤思榕[8]（2012）在《基于状态机的嵌入式集成开发环境的设计与实现》一文中研究指出随着嵌入式应用的快速发展，嵌入式软件开发变得越来越复杂，代码量越来越大,涉及到的硬件也越来越多样化。而且目前市场上针对每种不同的硬件不同的公司都有自己的一套独立集成开发环境。这些情况无疑大大增加了程序开发人员在针对不同硬件进行嵌入式开发的时间和成本。由此本文提出了基于状态机的图形化嵌入式集成开发环境。开发环境是一个基于Eclipse开发平台集成了编辑、编译、仿真调试于一身的嵌入式开发环境，能够支持目前主流嵌入式处理器包括ARM、SPARC、DSP。本文在详尽的分析了UML状态图的模型语义，设计并实现了支撑状态机运行的平台框架后，将状态图映射成运行于该平台框架的源代码。通过对CDT的编译系统进行分析，并在其上实现了对ARM、SPARC、DSP的编译支持实现它们相应的错误分析器及二进制文件解析器。进一步的，本文对CDT的调试框架及其源码进行分析，详细的阐述了CDT调试的CDI模型，介绍CDT与GDB的通信协议，设计与实现寄存器管理与故障注入管理功能模块为开发环境集成带有仿真调试功能的调试器。考虑到开发环境将来在自动化测试方向的发展，本文还通过解析UML状态图的映射代码，给出了构建应用程序的控制依赖图和数据依赖图的详细算法，最后完成程序依赖图的构建，为集成开发环境后期的自动化测试提供基础。最后对开发环境进行了测试，在开发环境里对一个实际的工程进行状态图建模，并针对不同的处理器进行编译和仿真调试，取得了较好的效果。(本文来源于《哈尔滨工业大学》期刊2012-06-01）
何剑宇,刘兢兢[9]（2012）在《有限状态机建模在嵌入式按键设计中的应用》一文中研究指出为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。(本文来源于《沈阳师范大学学报(自然科学版)》期刊2012年02期）
赵刚[10]（2012）在《面向嵌入式系统中量子框架的状态机代码生成技术的研究与实现》一文中研究指出随着软件技术的不断发展和革新，模型驱动软件开发(Model Driven SoftwareDevelopment, MDSD)的方法以模型和代码生成为核心驱动整个软件开发的过程，先天就具备高效和可靠等优势，是目前软件工程领域内重要的研究方向。同时，嵌入式应用发展迅速，需求越来越复杂，嵌入式软件开发需要更加可靠和有效的开发方法和建模技术。本文以模型驱动软件开发为基础，以应用于嵌入式软件开发领域的优秀的事件驱动的量子框架作为代码生成的目标平台，以类图和展现系统动态特性的UML状态机图为建模语言，主要关注于如何将代码生成和状态机应用到面向嵌入式系统及量子框架的软件开发中。本文在详细分析了量子框架，以及基于量子框架的应用软件的代码结构的基础上，使用代码生成技术，设计并实现了由展现系统业务逻辑的动态和静态模型到面向量子框架的应用程序代码的映射规则。最后对本文中所有的映射规则进行了全面测试，测试结果符合预期目标。(本文来源于《西安电子科技大学》期刊2012-04-01）
嵌入式状态机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
将UML状态机以及框架技术应用到嵌入式系统当中,不仅可以提高系统的开发效率,同时还可以确保系统运行的可靠性。与传统的有限状态机相比,UML状态机描述出来的嵌入式系统体现出了图形可视、逻辑通顺以及结构清晰等特征。本文以Quantum Platform框架为例,展开了嵌入式系统的相关应用分析。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
嵌入式状态机论文参考文献
[1].单锦辉,张路,王金波,张涛.实时嵌入式软件时间抽象状态机的扩展[J].北京大学学报(自然科学版).2019
[2].王海珍.嵌入式系统内的UML状态机和框架技术分析[J].数字技术与应用.2017
[3].王春武,程礼邦,刘春玲,王立忠.状态机在嵌入式系统设计中的应用[J].单片机与嵌入式系统应用.2016
[4].楼伟刚.UML状态机与框架技术在嵌入式系统中的应用[J].软件导刊.2014
[5].孙宏军,张亚洲,刘建.层次化状态机架构的嵌入式手操器软件设计[J].单片机与嵌入式系统应用.2013
[6].方质彬,曲景阳.采煤机嵌入式状态监测系统设计[J].可编程控制器与工厂自动化.2013
[7].高阳,左效斌,陈洪法.恒压供水变频器的嵌入式状态监测系统设计[J].自动化应用.2012
[8].汤思榕.基于状态机的嵌入式集成开发环境的设计与实现[D].哈尔滨工业大学.2012
[9].何剑宇,刘兢兢.有限状态机建模在嵌入式按键设计中的应用[J].沈阳师范大学学报(自然科学版).2012
[10].赵刚.面向嵌入式系统中量子框架的状态机代码生成技术的研究与实现[D].西安电子科技大学.2012