Combination of failures Sample Clauses

Combination of failures. Usually, a single failure is not enough to cause an unsafe situation. The typical case is one or several failure(s) causing a degraded mode, and in this degraded mode, another failure can lead to an unsafe situation. This is an example of modelization : Invariant1 : Safe=TRUE or P<-10 Invariant2 : degraded_mode=true => P<=-8 Event A Guard1 : yyy Action1 : P:=P-8 Action2 : degraded_mode:=true event-B Guard1 : degraded_mode=true Action1 : P:=P-8 Action2 : Safe:=FALSE The invariant1 is the safety property: the system is safe (Safe=True), or the probability is very low (10-10 is the safety objective). The invariant2 is required for the proof: one proof obligation is the proof of invariant1 after event-B: degraded_mode=true & P'=P-8 => P'<-10 To prove that, we must have information on P. This is why invariant2 has been introduced, and with this invariant, the proof obligation becomes: degraded_mode=true => P<=-8 degraded_mode=true & P'=P-8 => P'<-10 Which can be simplified as follows: P<=-8 & P'=P-8 => P'<-10 Which is trivial.
AutoNDA by SimpleDocs

Related to Combination of failures

  • Epidemic Failure Warranty Supplier warrants all Products against Epidemic Failure for a period of three years after DXC’s Acceptance. Epidemic Failure means the occurrence of the same failure, defect, or non-conformity with an Order in 2% or more of Products within any three-month period.

  • Reportable Events under Section III J.1.c. For Reportable Events under Section III.J.1.c, the report to OIG shall include:

  • Reportable Events Involving the Xxxxx Law Notwithstanding the reporting requirements outlined above, any Reportable Event that involves solely a probable violation of section 1877 of the Social Security Act, 42 U.S.C. §1395nn (the Xxxxx Law) should be submitted by Practitioner to CMS through the self-referral disclosure protocol (SRDP), with a copy to the OIG. If Practitioner identifies a probable violation of the Xxxxx Law and repays the applicable Overpayment directly to the CMS contractor, then Practitioner is not required by this Section III.G to submit the Reportable Event to CMS through the SRDP.

  • Reports of unusual occurrence The Contractor shall, during the Maintenance Period, prior to the close of each day, send to the Authority and the Authority’s Engineer, by facsimile or e- mail, a report stating accidents and unusual occurrences on the Project Highway relating to the safety and security of the Users and Project Highway. A monthly summary of such reports shall also be sent within 3 (three) business days of the closing of month. For the purposes of this Clause 15.4, accidents and unusual occurrences on the Project Highway shall include:

  • Reclassification of Position An employee shall not have her salary reduced by reason of a change in the classification of her position that is caused other than by the employee herself.

  • Repeat Violations Xxxxxxx agrees to comply with all regulatory requirements and acknowledges that repeat violations could result in increased penalties in the future.

  • Adjustment events In the event the General Partner (i) declares or pays a dividend on any Class of its outstanding REIT Shares in REIT Shares or makes a distribution to all holders of any Class of its outstanding REIT Shares in REIT Shares, (ii) subdivides any Class of its outstanding REIT Shares, or (iii) combines any Class of its outstanding REIT Shares into a smaller number of REIT Shares with respect to any Class of REIT Shares, then a corresponding adjustment to the number of outstanding Partnership Units of the applicable Class necessary to maintain the proportionate relationship between the number of outstanding Partnership Units of such Class to the number of outstanding REIT Shares of such Class shall automatically be made. Additionally, in the event that any other entity shall become General Partner pursuant to any merger, consolidation or combination of the General Partner with or into another entity (the “Successor Entity”), the number of outstanding Partnership Units of each Class shall be adjusted by multiplying such number by the number of shares of the Successor Entity into which one REIT Share of such Class is converted pursuant to such merger, consolidation or combination, determined as of the date of such merger, consolidation or combination. Any adjustment to the number of outstanding Partnership Units of any Class shall become effective immediately after the effective date of such event retroactive to the record date, if any, for such event; provided, however, that if the General Partner receives a Notice of Redemption after the record date, but prior to the effective date of such dividend, distribution, subdivision or combination, or such merger, consolidation or combination, the number of outstanding Partnership Units of any Class shall be determined as if the General Partner had received the Notice of Redemption immediately prior to the record date for such dividend, distribution, subdivision or combination or such merger, consolidation or combination. If the General Partner takes any other action affecting the REIT Shares other than actions specifically described above and, in the opinion of the General Partner such action would require an adjustment to the number of Partnership Units to maintain the proportionate relationship between the number of outstanding Partnership Units to the number of outstanding REIT Shares, the General Partner shall have the right to make such adjustment to the number of Partnership Units, to the extent permitted by law, in such manner and at such time as the General Partner, in its sole discretion, may determine to be appropriate under the circumstances.

  • Uncontrollable Events BISYS assumes no responsibility hereunder, and shall not be liable for any damage, loss of data, delay or any other loss whatsoever caused by events beyond its reasonable control.

  • Train Operator Events of Default The following are Train Operator Events of Default:

  • Reportable Events No such Employee Benefit Plan which is an Employee Pension Benefit Plan has been completely or partially terminated or been the subject of a Reportable Event as to which notices would be required to be filed with the PBGC. No proceeding by the PBGC to terminate any such Employee Pension Benefit Plan has been instituted or threatened; and

Time is Money Join Law Insider Premium to draft better contracts faster.