Safety as Invariant Sample Clauses

Safety as Invariant. We now briefly describe how safety requirements for verification are formalised. A safety requirement can be described in terms of situations the Interlocking Model should prevent from happening. In formal verification, safety requirements are typically expressed as invariant state properties. A state property is a predicate over states in the formal model; i.e., it is a formal expression that is true of some states and false of others. A state property formally describes a situation by referring to the value of state variables. For example, if the formal model contains objects train(1), …, train(n) representing trains, and objects track(1), …, track(m) representing track segments, then a train object can have a property called occupies which takes its value from track(1), …, track(n). A state property formalising that no two trains occupy the same track segment can then be expressed as: Λ1 ≤ i < j ≤ n train(i).occupies ≠ train(j).occupies. An invariant state property holds at a state q in a formal model if the property holds in all states reachable from q, where a state q' is reachable from q if in the formal model there exists an execution path from q to q'. For example, if a state property S formally expresses that a track segment is occupied by at most one train, then the invariant “always S” holds at the initial state in the formal model if S is true of every state that can be reached during an execution of the formal model. An invariant can also be specified by stating what should not happen. For example, if the state property H formally expresses the hazard that two or more trains occupy the same track segment, then the invariant “always not H” holds in the formal model if in all reachable states, H is false.
Sample 1
AutoNDA by SimpleDocs

Related to Safety as Invariant

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

  • Technical Standards Applicable to a Wind Generating Plant i. Low Voltage Ride-Through (LVRT) Capability A wind generating plant shall be able to remain online during voltage disturbances up to the time periods and associated voltage levels set forth in the standard below. The LVRT standard provides for a transition period standard and a post-transition period standard.

  • MATERIAL SAFETY DATA SHEETS Contractor is required to ensure Material Safety Data Sheets (“MSDS”) are available, employees are trained in the use of MSDS, and MSDS are in a readily accessible place at the Site. This requirement applies to all materials with an associated MSDS per the federal “Hazard Communication” standard or employees’ Right-to-Know laws. Contractor is also required to ensure proper labeling and training on any substance brought onto the Site and that any person working with the material (or who is subject to possible exposure by use of the material or contact with the material), is informed of the possible and/or real hazards of the substance, and follows proper handling and protection procedures.

  • Material Safety Data Sheet Seller shall provide to Buyer with each delivery any Material Safety Data Sheet applicable to the work in conformance with and containing such information as required by the Occupational Safety and Health Act of 1970 and regulations promulgated thereunder or its State approved counterpart.

  • COUNTY’S QUALITY ASSURANCE PLAN The County or its agent will evaluate the Contractor’s performance under this Contract on not less than an annual basis. Such evaluation will include assessing the Contractor’s compliance with all Contract terms and conditions and performance standards. Contractor deficiencies which the County determines are severe or continuing and that may place performance of the Contract in jeopardy if not corrected will be reported to the Board of Supervisors. The report will include improvement/corrective action measures taken by the County and the Contractor. If improvement does not occur consistent with the corrective action measures, the County may terminate this Contract or impose other penalties as specified in this Contract.

  • Safety Program The Contractor shall design a specific safety program for the Work for the site(s). The Contractor shall establish and require all Subcontractors to establish reasonable safety programs. The Contractor shall also submit its standard monthly safety reports to the Owner and Design Professional. No imposition of responsibility on the Contractor for safety under this Contract shall relieve any subcontractor of its responsibility for safety of persons or property on or near the Project Site. The Contractor shall include in his plant he names of the person in charge of Safety.

  • HEALTH AND SAFETY AT WORK The Supplier shall undertake its obligations arising hereunder and in all Contracts in accordance with the OHSAS 18001 Occupational Health and Safety Management System or equivalent. Both parties shall take all necessary measures to ensure the health and safety of the other party’s employees and agents visiting their premises. The Supplier shall notify the Authority of any use of substances listed under COSHH regulations or the Montreal Protocol in the provision of the Services.

  • SAFETY AND ACCIDENT PREVENTION In performing work under this Contract on State premises, Contractor shall conform to any specific safety requirements contained in the Contract or as required by law or regulation. Contractor shall take any additional precautions as the State may reasonably require for safety and accident prevention purposes. Any violation of such rules and requirements, unless promptly corrected, shall be grounds for termination of this Contract in accordance with the default provisions hereof.

  • Safety Compliance Comply with Site safety programs, as they apply to RPR, and if required to do so by such safety programs, receive safety training specifically related to RPR’s own personal safety while at the Site.

  • Safety and Compliance The Company commits to make all management and employees aware of all the changes to the Occupational Health and Safety Act and Regulations. This should be done via training courses and or union seminars. The conducting of the training and or seminars shall be at times convenient to the company.

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