Safety demonstration and formal proof Sample Clauses

Safety demonstration and formal proof. The complete list of safety properties gives a formal definition of safety, whereas very often (both in contracts and technical documents) safety definition is implicit and/or vague: it is usually encapsulated in a phrase like "the system shall not cause injuries nor fatalities". However, a railway system cannot fulfil that requirement in all circumstances: earthquake, terrorism, vandalism, etc may cause accidents that cannot be avoided. So one of the main outputs of the modelization is agreement on a common, explicit and formal definition of safety between all partners of a project: customer, co- contractors, sub-contractors, certification bodies, transportation authorities.... Then, once safety is formally defined, the aim of the model is to prove the safety properties. This implies that the model shall also contain all possible failures, in order to prove the safety properties in all cases, including degraded modes, combination of failures, etc. But with failures (for instance, loss of the brakes), it appears that safety properties don't hold anymore. And, indeed, the goal of the safety validation is not to demonstrate that no combination of errors can lead to an unsafe situation: The goal is to show that all combinations of errors leading to unsafe situations are improbable. Therefore, we have to introduce probabilities of failures and set up a safety critical objective: the typical value for that is "unsafe situation rate < 10^-9/h" The proof of the model ensures that this objective is met, in all modelized cases.
AutoNDA by SimpleDocs

Related to Safety demonstration and formal proof

  • Cooperation on forestry matters and environmental protection 1. The aims of cooperation on forestry matters and environmental protection will be, but not limited to, as follows: (a) establishing bilateral cooperation relations in the forestry sector; (b) developing a training program and studies for sustainable management of forests; (c) improving the rehabilitation and sustainable management of forest with the aim of increasing carbon sinks and reduce the impact of climate change in the Asia-Pacific region; (d) cooperating on the execution of national projects, aimed at: improving the management of forest plantations for its transformation for industrial purposes and environmental protection; (e) elaborating studies on sustainable use of timber; (f) developing new technologies for the transformation and processing of timber and non-timber species; and (g) improving cooperation in agro-forestry technologies. 2. To achieve the objectives of the Article 149 (Objectives), the Parties may focus, as a means of cooperation and negotiations on concluding a bilateral agreement on forestry cooperation between the two Parties. Such collaboration will be as follows: (a) exchanges on science and technology as well as policies and laws relating the sustainable use of forest resources; (b) cooperation in training programs, internships, exchange of experts and projects advisory; (c) advice and technical assistance to public institutions and organizations of the Parties on sustainable use of forest resources and environmental protection; (d) facilitating forest policy dialogue and technical cooperation under the Network of Sustainable Forest Management and Forest Rehabilitation in Asia- Pacific Region, initiated at the 15th Asia Pacific Economic Cooperation (APEC) Meeting; (e) encouraging joint studies, working visits, exchange of experiences, among others; and (f) others activities mutually agreed.

  • Litigation and Compliance (a) There are no actions, suits, claims or proceedings, whether in equity or at law or, any Governmental investigations pending or threatened:

  • Documentation and compliance (a) The data importer shall promptly and adequately deal with enquiries from the data exporter that relate to the processing under these Clauses.

  • Compliance with Federal and State Work Authorization and Immigration Laws The Contractor and all subcontractors, suppliers and consultants must comply with all federal and state work authorization and immigration laws, and must certify compliance using the form set forth in Section 7 (“Georgia Security and Immigration Compliance Act Affidavits”). The required certificates must be filed with the Owner and copied maintained by the Contractor as of the beginning date of this contract and each subcontract, supplier contract, or consultant contract, and upon final payment to the subcontractor or consultant. State officials, including officials of the Georgia Department of Audits and Accounts, officials of the Owner, retain the right to inspect and audit the Project Site and employment records of the Contractor, subcontractors and consultants without notice during normal working hours until Final Completion, and as otherwise specified by law and by Rules and Regulations of the Georgia Department of Audits and Accounts.

  • Notification of Breach / Compliance Reports The Adviser shall notify the Trust immediately upon detection of (i) any material failure to manage any Fund in accordance with its investment objectives and policies or any applicable law; or (ii) any material breach of any of the Funds’ or the Adviser’s policies, guidelines or procedures. In addition, the Adviser shall provide a quarterly report regarding each Fund’s compliance with its investment objectives and policies, applicable law, including, but not limited to the 1940 Act and Subchapter M of the Code, as applicable, and the Fund’s policies, guidelines or procedures as applicable to the Adviser’s obligations under this Agreement. The Adviser agrees to correct any such failure promptly and to take any action that the Board may reasonably request in connection with any such breach. Upon request, the Adviser shall also provide the officers of the Trust with supporting certifications in connection with such certifications of Fund financial statements and disclosure controls pursuant to the Xxxxxxxx-Xxxxx Act. The Adviser will promptly notify the Trust in the event (i) the Adviser is served or otherwise receives notice of any action, suit, proceeding, inquiry or investigation, at law or in equity, before or by any court, public board, or body, involving the affairs of the Trust (excluding class action suits in which a Fund is a member of the plaintiff class by reason of the Fund’s ownership of shares in the defendant) or the compliance by the Adviser with the federal or state securities laws or (ii) an actual change in control of the Adviser resulting in an “assignment” (as defined in the 0000 Xxx) has occurred or is otherwise proposed to occur.

  • Safety Boots Each employee, after 3 months’ continuous service, will be reimbursed (on production of a receipt), the cost of one pair of safety boots (approved by the employer), in each year, to a maximum of $110.00. Wet Weather All protective clothing such as wet weather jackets, safety helmets, welding jackets, welding xxxxxxx, welding gauntlets, rubber boots, etc, (which remain the property of the Company), will be supplied on all occasions deemed necessary.

  • Compliance with Consensus Policies and Temporary Policies Registry Operator shall comply with and implement all Consensus Policies and Temporary Policies found at <xxxx://xxx.xxxxx.xxx/general/consensus-­‐policies.htm>, as of the Effective Date and as may in the future be developed and adopted in accordance with the ICANN Bylaws, provided such future Consensus Polices and Temporary Policies are adopted in accordance with the procedure and relate to those topics and subject to those limitations set forth in Specification 1 attached hereto (“Specification 1”).

  • Inspection and Testing Each Constructing Entity shall cause inspection and testing of the Interconnection Facilities that it constructs in accordance with the provisions of this section. The Construction Parties acknowledge and agree that inspection and testing of facilities may be undertaken as facilities are completed and need not await completion of all of the facilities that a Constructing Entity is building.

  • Production of Witnesses; Records; Cooperation (a) After the Effective Time, except in the case of a Dispute between Parent and SpinCo, or any members of their respective Groups, each Party shall use its commercially reasonable efforts to make available to the other Party, upon written request, the former, current and future directors, officers, employees, other personnel and agents of the members of its respective Group as witnesses and any books, records or other documents within its control or which it otherwise has the ability to make available without undue burden, to the extent that any such person (giving consideration to business demands of such directors, officers, employees, other personnel and agents) or books, records or other documents may reasonably be required in connection with any Action in which the requesting Party (or member of its Group) may from time to time be involved, regardless of whether such Action is a matter with respect to which indemnification may be sought hereunder. The requesting Party shall bear all costs and expenses in connection therewith.

  • Required Confidentiality Claim Form This is a requirement of the TIPS Contract and is non-negotiable. TIPS provides the required TIPS Confidentiality Claim Form in the "Attachments" section of this solicitation. Vendor must execute this form by either signing and waiving any confidentiality claim, or designating portions of Vendor's proposal confidential. If Vendor considers any portion of Vendor's proposal to be confidential and not subject to public disclosure pursuant to Chapter 552 Texas Gov’t Code or other law(s) and orders, Vendor must have identified the claimed confidential materials through proper execution of the Confidentiality Claim Form. If TIPS receives a public information act or similar request, any responsive documentation not deemed confidential by you in this manner will be automatically released. For Vendor documents deemed confidential by you in this manner, TIPS will follow procedures of controlling statute(s) regarding any claim of confidentiality and shall not be liable for any release of information required by law, including Attorney General determination and opinion. Notwithstanding any other Vendor designation of Vendor's proposal as confidential or proprietary, Vendor’s submission of this proposal constitutes Vendor’s agreement that proper execution of the required TIPS Confidentiality Claim Form is the only way to assert any portion of Vendor's proposal as confidential.

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