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.
View Source

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.

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

  • Notification of Breach / Compliance Reports The Adviser shall notify the Trust’s CCO promptly 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 each Fund’s or the Adviser’s policies, guidelines or procedures with respect to the Fund. In addition, the Adviser shall respond to quarterly requests for information concerning the 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, 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 S▇▇▇▇▇▇▇-▇▇▇▇▇ Act. The Adviser will promptly notify the Trust in the event: (x) 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 (y) of an actual change in control of the Adviser resulting in an “assignment” (as defined in Section 15) that has occurred or is otherwise proposed to occur.

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