水声通信是实现水下通信的主要手段，随着水声技术的不断发展，在水下形成立体的通信网络必将成为这一学科发展的方向。由于水下环境的特殊性和复杂性，在水下搭建通信网络需要巨大的投入，其可靠性、精确度、安全性和保全性等问题也将直接影响到水下通信的成败。如果在整个通信网络搭建完成之后才开始评估网络的功能和性能，需要重复进行复杂和困难的实验；同时弥补网络的缺陷将需要极大的代价。在这种情况下，如果可以在网络正式使用之前验证并确认其性能，就可以预先提高网络质量，并大幅减少投入。由于受到我国水下通信网络研究现状的限制，目前尚不能将先进的验证与确认技术直接应用于水下通信网络。然而，一种可行的替代方法是将这些技术应用于其它可用的、与水下通信网络极为相似的通信网络（例如本文中所选用的空中交通管制通信系统），研究和改进验证与确认的技术，待条件成熟时再将其应用于真实的水下通信网络上。本文首先介绍了半形式化的验证与确认技术，着重研究了选用的两种方法：故障树分析法和Petri网分析法；同时详细叙述了本文的研究对象：在实时离散模拟系统和航空模拟网络之间的高层架构网关。为了实现在系统的开发早期阶段（例如需求和设计阶段）便对系统进行验证与确认，引入了该系统的系统需求和设计文档以支持分析，上述工作为后续模型的建立奠定了基础。在此基础上，建立了系统模型并叙述了其逻辑和具体建模思想，利用所建立的模型对系统进行了定性、定量评估分析和动态模拟。最后，基于对系统模型的评估，提出了几种能够提高系统安全性和保全性的规避方法。并对半形式化验证与确认技术最终应用在水声通信网络上的可行性进行了展望。