排序方式： 共有3条查询结果，搜索用时 0 毫秒
1
1.
形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用。以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模块的软件设计及使用形式化分析技术在软件开发过程中的应用步骤,为形式化技术在类似产品的开发过程中的应用提供了一定的借鉴。 相似文献
2.
IP存储在IP网络中传输块级数据,使得服务器可以通过IP网络连接SCSI设备。网络连接则是以IP和以太网为骨干。iSCSI是存储数据通过ip网络传输的两种主要方法之一,运行在现有的以太网。介绍了iSCSI产生的技术背景,其实现原理、实现方式及优势以及网络存储技术的最新发展。 相似文献
3.
嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法. 相似文献
1