有限状态机是根据当前状态以及触发条件进行状态转换的一种机制，包含一组状态集（state）、一个起始状态（start state）、一组输入符号集（alphabet）、一个映射输入符号和当前状态到下一状态的 ...
对嵌入式软件的验证一般依赖于形式化的方法。
形式化的方法可以对嵌入式软件系统进行严格的规约，并可以对系统进行不同视角的验证。验证主要是分析系统是否具有期望的性质。常见的验证技术主 ...
引言
现在V型开发模式已成为使用最广的汽车软件开发流程标准。这一标准流程得到许多工具的支撑，有来自Mathworks的工具，如用于功能开发和仿真的 Matlab／Simulink／Stateflow，用于自动代码 ...
概览
使用Multisim，可以使学生融入学习氛围，通过动手实践巩固理论知识，还可以提供易于使用的交互式电路教学和学习环境。为教学目的而开发的Multisim包含多种特性，能协助教师授课，能为学 ...
概览
SPICE (针对集成电路的仿真程序)是加利福尼亚大学伯克莱分校开发的模拟电路仿真器，是作为CANCER (除射频电路外的非线性电路计算分析)程序的一部分进行开发的。
过去的50年中，众多 ...
由于嵌入式技术的发展，嵌入式Web服务器软件越来越大，对硬件的要求也相应地提高，但在工业现场的底层控制中，一般嵌入式系统的硬件配置都不是很高，导致了软件和硬件的冲突。本文就是对实际应 ...
引言
计算机编程语言的关键字就好比是它的灵魂，只有深入理解了它们的含义才能编写出优秀的代码。C语言以其简洁、高效和强大等特性成为嵌入式软件编程的首选语言，但是某些关键字，例如const ...
云计算大潮下的暗流----一个彻底的分布式网络
问题1：我的数字足迹遍布网络，没有一个整体解决方案能记录和管理。
博客搬家，不同即时交流工具上的聊天记录，不同网站的留言和回复提醒， ...
多态性是C++的一个重要特征。从广义上说，多态性是指一段程序能够处理多种类型对象的能力；具体地讲，多态性就是对不同对象发出同样的指令时，不同对象会有不同的行为。
如果程序员充分利用C ...
1 从过程到对象——类概念的引入
真实世界是由“对象”组成的，无论是动物、植物、工厂还是机器等，都是根据它们的特征，细分出来的对象类别。尽管在软件设计时，更多时候我们面对的是经过高 ...
引言
对于各种各样应用日益广泛的嵌入式系统而言，除了应用功能强大外，人机界面的美观也是吸引用户的重要方面。因此，越来越多的嵌入式系统开发人员希望：LCD上除了显示图案固定的菜单以 ...
1 概述
VxWorks是WindRiver公司开发的高性能实时嵌入式操作系统内核。在应用软件开发过程中经常会用到定时器。 VxWorks下要实现定时功能有2个途径：一，借助taskDelay函数实现；二，使用VxWo ...
