ГОСТ Р
ИСО/МЭК
ТО 10023-93
type TSCIQualily
is POFourTuple acluaHzedby CLTransitDelay, TCProtection.
Probability, TCPriprity using
sortnames
Bool for FBool
CLQOS for FourTuple
CLTransDelay for Element
TCProtection for Eleme»(2
Prob for Element3
TCPrlority for Element4
opiinames
CLQOSTransDclay for First
CLQOSProtection for Second
CLQOSProbability for Third
CLQOSPrioritv for Fourth
CLQOS for Tuple
endtype (* TSCIQuality ")
8.5.2
Параметры производительности
8.5.2.1
О б щ е ео п и с а н и е
Параметры производительности, составляющие компонент па-
раметрон КУ, имеют следующую структуру четверки:
TCPerformance-DelaysxFailuresXThroughputxRER,
что представлено в данном ниже определении. Определения ком
понентов даны в 8.5 2.2—8.5.2.5.
П р и м е ч а н и е — Вспомогательные определения КУ (см 85.5) полезны
для понимания определений параметра производительности, содержащегосяв
8 5 2 2 —Я5.2Л При первом чтении настоящего стандарта рекомендуется сначала
ознакомиться с 8-5.5.
type TCPerformance
is BasicTCPerforniance
opns
-It.......Ie... .gt_.
-ge.. : TCPerformance, TCPerformance —> Bool
eqns
forall
d. dl : Delays, f. fl : failures,’ t, tl: Throughput,r,
rl: TPRER, pf. pft : TCPerformance
ofsort Bool
Performance^, f. t, r) le Performance (dl, fl. tl, rl) =
(d ge dl) and (f ge ft) and (t le tl) and (r ge rl);