基于SOPN的网络系统故障检测.pdfVIP

塑塞：!!!! 兰±璺!璺生兰塾堂垒璺丝量整塑翌笪兰查金竺堂蔓L—————————————～ 基于SOPN的网络系统故障检测 魏青云周云娴周正康 (复旦大学计算机与通信实验室上海200433) 2衄蛆l@出血n。立du．￡n 捎要：本文形式化地定义赋端口型面向对象PeUl网(SOPN)，并利用SOPN构造计算机网络通信系统的 故障树模型。 关键词；面向对象，计算机网络，getri列，SOPN，故障树 l、前言 刚结通信系统以故障频繁而检任困难著称．故障扭i(faulttree)理论虽然是成熟的故障捡澳l手段，但难 以应用于网络通信系统。因为网络系统中的复杂构造以及繁多的并发行为，使得系统难以用简单的树状层 复杂的并发系统．本文提出一种利舟SOPN来构造网络系统故唇搴树的算法． 2．SOFN 一个好的面向对象系统模型应反映系统的对象静态特性(对象模型)．动态特性(动态模型)．数据 的变换与