Network Design and Traffic Recovery Procedures for Survivable Wide Area Packet Networks

这个通信协议的研究项目侧重于研究通信协议的形式化建模，涵盖协议规范、验证、测试和性能等领域。该项目的目标是提供从规范到测试的所有这些领域的配方技术的统一，并增加在同一种配方中研究性能的能力。目前用于正式指定协议的方法与用于验证协议的逻辑正确性的方法不同。验证公式和一致性测试生成公式之间也存在差距。本项目的研究旨在缩小这两个差距，从而为通信协议的设计提供一种从规范到验证再到测试的更综合的方法。此外，研究的目的是允许人们在设计的早期阶段调查协议的性能，再次使用与规范和验证相同的制定技术。＊＊＊

9506039 Miller This research project in communication protocols focuses on the study of formal modeling of communication protocols which spans the areas of protocol specification, verification, testing and performance. Goals of the project are to provide a unification of the formulation techniques across all of these areas from specification to testing and to add the capability of studying performance within the same kind of formulation. Currently the approaches used to formally specify a protocol are different from those used to verify the logical correctness of a protocol. There is also a gap between the verification formulations and the conformance test generation formulations. The research studies in this project are aimed at closing these two gaps and thereby providing a more integrated approach to the design of communication protocols from specification to verification to testing. In addition, the studies aim to allow one to investigate the performance of the protocol at an early stage of the design, again using the same formulation techniques as in specification and verification. ***