嵌入式Web服务器中有限状态机的设计与实现

摘要

本文基于Webit为平台的嵌入式Web服务器,服务器接口采用的是SSI机制,使客户端通过Web服务器访问并控制嵌入式设备.将有限状态机引用到嵌入式Web服务器中,用状态机的状态表示服务器完成HTTP连接所处的各个状态,状态的变迁用状态表形式表示.通过有限状态机响应客户端的连接,使服务器的任务变的有序和有效.有限状态机在嵌入式Web服务器中的应用,使Web服务器能创建可靠的应用程序,并可在任何情况下做出确定的响应.用有限状态机实现HTTP协议,便于协议的模块化和渐进性开发,增强了程序的灵活性.

目录

文摘

英文文摘

独创性声明及学位论文版权使用授权书

第一章引言

1.1课题提出的背景

1.2课题的提出

1.3论文的结构

第二章技术背景

2.1嵌入式系统和嵌入式Internet技术

2.1.1嵌入式系统

2.1.2嵌入式Internet技术

2.2嵌入式Web服务器

2.2.1嵌入式Web服务器VS通用Web服务器

2.2.2嵌入式Web服务器系统模型

2.3 TCP/IP协议

第三章协议的形式化模型

3.1有限状态机

3.1.1有限状态机的基本概念

3.1.2状态转移函数的表现形式

3.2协议的有限状态机模型

3.2.1协议实体的FSM模型

3.2.2协议系统的FSM模型

3.2.3网络协议的开发过程

第四章有限状态机在EWS中的实现

4.1嵌入式Web服务器总体构建

4.1.1嵌入式Web服务器的结构

4.1.2嵌入式应用接口技术

4.2 HTTP协议

4.3嵌入式Web服务器中有限状态机的设计策略

4.4有限状态机实现HTTP协议

4.4.1实现机制

4.4.2实现的软件和硬件环境

4.4.3 HTTP连接的实现

第五章性能测试与评价

5.1协议测试

5.1.1测试环境

5.1.2测试内容

5.2性能评价

第六章总结与展望

参考文献

致谢

科研经历