基于状态机的嵌入式软件设计

来源 :2001嵌入式系统及单片机国际学术交流会 | 被引量 : 0次 | 上传用户：luohz09

【摘要】

：

本文研究了状态机理论在嵌入式软件设计中的应用.首先分析了嵌入式设备的特点及其与环境交互的复杂性.这种复杂的交互行为导致了其软件设计的复杂性.然后从理论和实例两方面

【作者】

：

段榕金刚张继永

【机构】

：

海军计算技术研究所(北京)

【出处】

：

2001嵌入式系统及单片机国际学术交流会

【发表日期】

：

2001年期

【关键词】

：

状态机嵌入式软件设计适应市场需求理论与环境交互嵌入式设备交互行为质量应用生产结构

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文研究了状态机理论在嵌入式软件设计中的应用.首先分析了嵌入式设备的特点及其与环境交互的复杂性.这种复杂的交互行为导致了其软件设计的复杂性.然后从理论和实例两方面分别讨论了状态机可有效地解决所出现的软件设计问题,可以使我们从宏观上把握复杂嵌入式软件的总体结构.最后得出结论:利用状态机理论有助于嵌入式软件设计,可以高效、高质量地生产出适应市场需求的嵌入式软件.

其他文献

一种有效群签名体制

Chaum在文献[1]中提出群签名的概念.他允许群成员之一代表这个群体对消息进行匿名的签名.如果以后出现争议,设定的群管理员可以打开签名并确定签名者身份.本文基于DSA体制建

会议

(Z<,p<'m>>)<'t>→(Z<,p<'n>>)<'t>上函数的扩散性

本文研究了(Z)→(Z)(P为素数)上函数的扩散性,给出了(Z)→(Z)上完全扩散函数的计数,得到了分块的大小对函数扩散性的影响,解决了(Z)→(Z)上置换函数的扩散度分布情况.

会议

完全扩散函数扩散性置换函数分布情况扩散度计数

延迟1步弱可逆半输入存储有限自动机的结构

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自

会议

延迟弱可逆半输入存储有限自动机刻划自治研究误差显表达式传播问题状态图组成结构构成

如何激发少数民族大学生学习的积极性

如何激发少数民族大学生学习的积极性?其主要方法是:充分发挥教师的主导作用,端正少数民族大学生的学习态度,树立正确的学习观;选择适宜的教学方法,实施启发式教育,培养少数

期刊

少数民族大学生学习积极性

Galois和Z<,m>环上一类逻辑函数的设计和分析

本文给出了Galois和Z环上一类具有好的密码性质的逻辑函数的设计和分析.分别给出了函数满足平衡性、相关免疫性和扩散准则的充分必要条件.

会议

逻辑函数相关免疫性设计和分析密码性质扩散准则平衡性

弹性函数的构造与计数

本文研究在容错分布计算、量子密码学中的密钥分配以及流密码中的随机序列产生等领域都有着广泛应用的一类多输出布尔函数——弹性函数,它是熟知的相关免疫函数的特殊情况—

会议

裁剪Linux技术分析

本文介绍了嵌入式Linux系统在工业控制方面的应用,讨论了Linux作为嵌入式操作系统的优点以及存在的问题.然后针对裁剪出一个Linux嵌入式操作系统所必须面临的问题做了深入而

会议

嵌入式操作系统实时模块内核进程设备驱动程序

基于主/从单片机的高速多通道智能数据采集系统

本文提出了一种基于主/从单片机的智能数据采集系统,可以完成Windows95下多通道数据的高速同步采集.整套系统成本低,体积小,安全可靠,实现了对多通道信号的高性能采集.

会议

单片机高速多通道智能数据采集系统多通道信号多通道数据系统成本同步采集体积小高性能安全

一类可加流密码的渐近密钥疑义度率

本文研究一类二元可加流密码,称为r-型流密码,证明了在明文为二元无记忆信源输出的情况下,r-型(0

会议

可加流密码渐近密钥无记忆信源疑义度证明输出熵率

Win9X到WinCE上应用程序移植的研究

嵌入式系统领域的新趋势推动了新的嵌入式软件开发工具的发展.微软公司的The Embedded Visual Basic 3.0开发环境可以充分利用VB的开发经验,构造基于Windows CE的移动和嵌入

会议

Visual Basic开发环境嵌入式应用程序应用程序移植软件开发工具嵌入式系统微软开发经验数据库移动性能构造方法

基于状态机的嵌入式软件设计

与本文相关的学术论文