基于RTEMS的软件容错系统设计研究
基于RTEMS的软件容错系统设计研究...
基于RTEMS的软件容错系统设计研究...
单片机应用技术选编10 目录 第一章 专题论述1.1 嵌入式系统的技术发展和我们的机遇(2)1.2 一种新的电路设计和实现方法——进化硬件(8)1.3 从8/16位机到32位机的系统设计(13)1.4 混合SoC设计(18)1.5 AT24系列存储器数据串并转换接口的IP核设计(23)1.6 低能耗...
实现电动机的软启动控制,modbus通信,LCD带字库显示,软件容错和抗干扰设计不错...
可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...