Fault Model Sample Clauses

Fault Model. The controller replicas are considered to have independent faults, consisting of both crashes and delays. Crash faults are fail-stop, causing a replica to be faulty indefinitely until it is externally recovered. Delay faults are intermittent, i.e., a delay-faulty replica might turn non-faulty after the duration of the computation that was delayed. To simulate the bursty behavior of faults, we use the Xxxxxxx- Xxxxxx model [21]. The replica could be in one of two states: Good state (G) or Bad state (B). The transition probabilities from G to B and B to G are qB and qG, respectively. In state G, the replica is faulty with a probability pd, which simulates delay faults. The computation delay of a replica is drawn from Unavailability (1 − Ψ) 1 2 3 4 Number of Replicas (g) 10-4 10-3 10-2 Network Loss Probability (p) In order to put the availability improvement with Quarts into perspective, we analyze the mean-time-between-faults (MTBF) [23] of the RTCS. For the RTCS under study that sends setpoints every 20 ms, for g = 1, an availability of 0.9987 translates to an MTBF of 18.2 s. Using two replicas, Q AC PH PC 5 the protocols AC, PC and PH can increase the MTBF to 18.4 s, PH PC Q AC
AutoNDA by SimpleDocs

Related to Fault Model

  • Alternative Work Schedule An alternate forty (40) hour work schedule (other than five (5) uniform and consecutive eight (8) hour days in a seven (7) day period), or for hospital personnel an eighty (80) hour workweek in a fourteen (14) day period and other mutually agreed upon schedules that comply with applicable federal and state law. Employee work schedules normally include two (2) consecutive days off.

  • Alternative Work Schedules Alternative work schedule means an approved schedule for an Employee that deviates from the work week described in Section 1, Section 2, or a schedule that deviates from a worksite’s normal schedule. Employees who work a “shift work schedule” as part of a rotating group of individuals who must continuously maintain a 24-hour operation or facility are not eligible for an alternative work schedule.

  • Alternate Work Schedules Workweeks and work shifts of different numbers of hours may be established for overtime-eligible employees by the Employer in order to meet business and customer service needs, as long as the alternate work schedules meet federal and state law. When there is a holiday, employees may be required to switch from their alternate work schedules to regular work schedules.

  • Alternate Work Schedule An alternate work schedule is any work schedule where an employee is regularly scheduled to work five (5) days per week, but the employee’s regularly scheduled two (2) days off are NOT Saturday and Sunday.

  • Flexible Work Schedule A flexible work schedule is any schedule that is not a regular, alternate, 9/80, or 4/10 work schedule and where the employee is not scheduled to work more than 40 hours in the "workweek" as defined in Subsections F. and H., below.

  • Hardware Warranty A. RISK OF LOSS If you purchase any of the hardware Products directly from us, risk of loss or damage to hardware, will pass to you and acceptance will occur upon delivery to your “ship to” address or, if special shipping arrangements are agreed to, upon delivery to your carrier or designee. Title to hardware Products will pass from HPE to you upon full payment for or delivery of the Products, whichever is later. You agree to properly insure the Products for the benefit of HPE between the time risk of loss and damage pass and the time title passes.

  • Flexible Work Schedules (a) Academic Professional staff members throughout the University may have, as indicated below, flexible work schedules. For example, Academic Professionals often travel on University business and/or work evenings and weekends. A flexible work schedule is defined as having established working hours different from the standard 8:00 a.m. to 5:00 p.m. Monday through Friday schedule, to be followed by an employee for an agreed upon period of time.

  • Local Circuit Switching Capability, including Tandem Switching Capability 4.2.1 Local circuit switching capability is defined as: (A) line-side facilities, which include, but are not limited to, the connection between a loop termination at a main distribution frame and a switch line card; (B) trunk-side facilities, which include, but are not limited to, the connection between trunk termination at a trunk-side cross-connect panel and a switch trunk card; (C) switching provided by remote switching modules; and (D) all features, functions, and capabilities of the switch, which include, but are not limited to: (1) the basic switching function of connecting lines to lines, line to trunks, trunks to lines, and trunks to trunks, as well as the same basic capabilities made available to BellSouth’s customers, such as a telephone number, white page listings, and dial tone; and (2) all other features that the switch is capable of providing, including but not limited to customer calling, customer local area signaling service features, and Centrex, as well as any technically feasible customized routing functions provided by the switch. Any features that are not currently available but are technically feasible through the switch can be requested through the BFR/NBR process.

  • Packet Switching Capability 4.5.1 The packet switching capability network element is defined as the function of routing or forwarding packets, frames, cells or other data units based on address or other routing information contained in the packets, frames, cells or other data units.

  • SPECIAL TOOLS & TEST EQUIPMENT If the price stated on the Offer includes the cost of any special tooling or special test equipment fabricated or required by the Contractor for the purpose of filling this order, such special tooling equipment and any process sheets related thereto shall become the property of the City and shall be identified by the Contractor as such.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!