【摘 要】
：
B方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在
【机 构】
：
合肥工业大学计算机与信息学院,合肥工业大学网络研究所
【基金项目】
：
本文获国家自然科学基金资助（70471046）
论文部分内容阅读
B方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上,要想进一步提高系统的可靠性,需要在软件开发中引入容错机制,使软件潜在的差错对可靠性的影响缩小到最低程度。本文将B方法应用于实时控制系统的容错设计,并通过变配电所的馈出实时控制系统这一实例的研究,阐述此方法从建立初始模型,精化到最终实现的开发步骤。
其他文献
本文介绍了一种基于Intel公司高性能I/O处理器的虚拟磁带库系统设计方法。在分析了虚拟磁带库功能架构的基础上,结合Intel公司I/O处理器的性能特点,提出了完整的系统实现方案
针对路面状况摄像检测过程中路面裂缝的图像分割问题,提出运用分形理论进行图像分割的方法。该方法根据路面裂缝图像的自相似性,通过对路面裂缝的分形特征进行聚类分析来识别
PLC控制技术已广泛应用于自动化控制的各个领域,本文详细介绍了一种煤矿井上胶带机的自动监控系统。该系统利用西门子s7—300型PLC控制核心,可与多种智能电子设备进行通信,实
本文把不对称规则采样SPWM法应用于三相AC/AC矩阵式变换器。详细推导出了应用不对称规则采样SPWM法三相AC/AC矩阵式变换器各种条件下的开关组合、各开关组合的通断时序和通断
该文设计了CPU与散热器之间界面传热实验装置,研究散热器承受不同压力条件下的界面传热规律,建立了CPU界面传热的热接触模型。研究结果表明该模型误差小于5%;随着接触压力和
本文在TDMA蜂窝系统网络模型的基础上,引入了节点之间直接进行通信的自组织通信模式,提出了一种基于TDMA蜂窝系统的混合网络模型:Hybrid-TDMA,重点介绍了这种网络模型中的几
本文针对一般非线性系统,构造了迭代学习观测器,基于该迭代学习观测器的状态和可调参数设计了输出反馈控制律,通过选择可调参数自适应调节律的适当形式,保证了整个系统的渐近
本文介绍了基于ARM微处理器的嵌入式近红外光谱仪器设计,并给出了仪器的软件和硬件的设计方案。设计应用了最先进的ARM嵌入式技术,利用ARM丰富的内部设备,实现了光谱数据的传
ADOX是由多个COM对象组成的对象模型,可以用来实现一系列以ADO无法单独实现的功能,以弥补BDE的不足,通过对Delphi ADOX的剖析与应用,实现了异地互联的信用卡收银系统。
在Ad hoc网络中提供服务质量(QoS)保障是一个复杂的系统问题,而媒体接入控制(MAC)协议是上层应用的服务质量能否得到最终保障的一个关键因素。在ADAPT的基础上,提出一种提供Q