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.

  • Rectification of Safety Hazard Where, because of the existence of a safety hazard, a site has been stopped for a defined period of time and Employees sent off site by agreement between Site Managers and any combination of Union Official/s, Health and Safety Committee, those people who remain on site to do rectification work will be paid at the rate of double time for all such work.

  • Litigation and Compliance ‌ (a) Except as disclosed in the Disclosure Letter, to the best of GLC’s knowledge, there are no actions, suits, claims or proceedings, whether in equity or at law or, any Governmental investigations pending or threatened: (i) against or affecting GLC or the GLC Subsidiaries or with respect to or affecting any asset or property owned, leased or used by GLC or the GLC Subsidiaries; or (ii) which question or challenge the validity of this Agreement, or the Amalgamation or any action taken or to be taken pursuant to this Agreement, or the Amalgamation; nor is GLC aware of any basis for any such action, suit, claim, proceeding or investigation. (b) There is not outstanding against GLC or the GLC Subsidiaries, any judgment, decree, injunction, rule, order or award of any court, Governmental entity, commission, board, bureau, agency, or arbitrator. (c) Each of GLC and the GLC Subsidiaries has conducted and is conducting its business in compliance with, and is not in default or violation under, and has not received notice asserting the existence of any default or violation under, any Law applicable to its business or operations, except for non-compliance, defaults and violations which would not, in the aggregate, have a Material Adverse Effect on GLC. (d) Neither GLC nor any of its assets, including the GLC Subsidiaries, is subject to any judgment, order or decree entered in any lawsuit or proceeding which has had, or which is reasonably likely to have, a Material Adverse Effect on GLC or which is reasonably likely to prevent GLC from performing its obligations under this Agreement. (e) To the best knowledge of GLC, each of GLC and the GLC Subsidiaries has duly filed or made all reports and returns required to be filed by it with any Government and has obtained all permits, licenses, consents, approvals, certificates, registrations and authorizations (whether Governmental, regulatory or otherwise) which are required in connection with its business and operations, except where the failure to do so has not had and will not have a Material Adverse Effect on GLC.

  • 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. (b) The Parties shall be able to demonstrate compliance with these Clauses. In particular, the data importer shall keep appropriate documentation on the processing activities carried out on behalf of the data exporter. (c) The data importer shall make available to the data exporter all information necessary to demonstrate compliance with the obligations set out in these Clauses and at the data exporter’s request, allow for and contribute to audits of the processing activities covered by these Clauses, at reasonable intervals or if there are indications of non-compliance. In deciding on a review or audit, the data exporter may take into account relevant certifications held by the data importer.

  • 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.

  • Function of Joint Health and Safety Committee All incidents involving aggression or violence shall be brought to the attention of the Joint Health and Safety Committee. The Employer agrees that the Joint Health and Safety Committee shall concern itself with all matters relating to violence to staff.

  • 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”).

  • Production of Witnesses; Records; Cooperation (a) After the Effective Time, 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. (b) If an Indemnifying Party chooses to defend or to seek to compromise or settle any Third-Party Claim, the other Party shall make available to such Indemnifying 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 such defense, settlement or compromise, or such prosecution, evaluation or pursuit, as the case may be, and shall otherwise cooperate in such defense, settlement or compromise, or such prosecution, evaluation or pursuit, as the case may be. (c) Without limiting the foregoing, the Parties shall cooperate and consult to the extent reasonably necessary with respect to any Actions. (d) Without limiting any provision of this Section 6.7, each of the Parties agrees to cooperate, and to cause each member of its respective Group to cooperate, with each other in the defense of any infringement or similar claim with respect any Intellectual Property and shall not claim to acknowledge, or permit any member of its respective Group to claim to acknowledge, the validity or infringing use of any Intellectual Property of a third Person in a manner that would hamper or undermine the defense of such infringement or similar claim. (e) The obligation of the Parties to provide witnesses pursuant to this Section 6.7 is intended to be interpreted in a manner so as to facilitate cooperation and shall include the obligation to provide as witnesses inventors and other officers without regard to whether the witness or the employer of the witness could assert a possible business conflict (subject to the exception set forth in the first sentence of Section 6.7(a)).

  • Office of Inspector General Investigative Findings Expert Review In accordance with Senate Bill 799, Acts 2021, 87th Leg., R.S., if Texas Government Code, Section 531.102(m-1)(2) is applicable to this Contract, Contractor affirms that it possesses the necessary occupational licenses and experience.

  • Search, Enquiry, Investigation, Examination And Verification a. The Property is sold on an “as is where is basis” subject to all the necessary inspection, search (including but not limited to the status of title), enquiry (including but not limited to the terms of consent to transfer and/or assignment and outstanding charges), investigation, examination and verification of which the Purchaser is already advised to conduct prior to the auction and which the Purchaser warrants to the Assignee has been conducted by the Purchaser’s independent legal advisors at the time of execution of the Memorandum. b. The intending bidder or the Purchaser is responsible at own costs and expenses to make and shall be deemed to have carried out own search, enquiry, investigation, examination and verification on all liabilities and encumbrances affecting the Property, the title particulars as well as the accuracy and correctness of the particulars and information provided. c. The Purchaser shall be deemed to purchase the Property in all respects subject thereto and shall also be deemed to have full knowledge of the state and condition of the Property regardless of whether or not the said search, enquiry, investigation, examination and verification have been conducted. d. The Purchaser shall be deemed to have read, understood and accepted these Conditions of Sale prior to the auction and to have knowledge of all matters which would have been disclosed thereby and the Purchaser expressly warrants to the Assignee that the Purchaser has sought independent legal advice on all matters pertaining to this sale and has been advised by his/her/its independent legal advisor of the effect of all the Conditions of Sale. e. Neither the Assignee nor the Auctioneer shall be required or bound to inform the Purchaser of any such matters whether known to them or not and the Purchaser shall raise no enquiry, requisition or objection thereon or thereto.

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