Vertical Safety Dependencies Sample Clauses

Vertical Safety Dependencies. In this subsection, we describe VerSaI, our approach for dealing with vertical safety dependencies. Xxxxxx [2] proposed a classification of safety-related demand-guarantee dependencies. The dependency classes are platform service failures, health monitoring, service diversity, and resource protection. Platform service failures focus on the detection or avoidance of platform failure, e.g., a value failure of a service signal larger than a specified threshold must be detected within a defined period of time. Health monitoring is the opposite of platform service failure. Application and execution failures get trapped and encapsulated by health monitoring. As an example, the platform has to detect and arbitrate an execution time overrun. Service diversity, also called dissimilarity or independence, aims at reducing the likelihood of common- cause systematic failures in redundant components. Service diversity focuses on the independence of input services, communication links, and output services. An example is the need to develop the analog input channel that is used to read the accelerator pedal in a different way to avoid an analog input value failure as a common-cause failure. Resource protection focuses on protection from interferences. We define interference as a cascading failure via a shared resource that potentially violates safety requirements. The interference propagates between several software components via a commonly used resource instead of a private resource for every software component, e.g., the torque monitoring component must be protected from interferences via the analog-to-digital converter software component that is shared with the FOC. The demands and guarantees are applied to a confidence attribute. The attribute states the integrity achieved by a guarantee or requested by a demand. Examples are the automotive safety integrity levels or the design assurance levels in avionics. In the case of an open system like the hybrid powertrain, it is possible to integrate new applications, e.g. torque monitoring, during the product’s lifetime. In such a scenario, we assume that the application developer has specified all the demands that are needed to guaranty safety from the application point of view and that the platform service developer has specified guarantees that can be given by the platform. Both guarantees and demands can be described using a semi-formal language such as VerSaI (Vertical Safety Interface) [2], which allows automated evalu...
Sample 1
AutoNDA by SimpleDocs

Related to Vertical Safety Dependencies

  • Electrical Safety Only UL approved items are permitted in Housing & Residence Life. Extension and multi-use cords must be heavy duty, single plug, and be UL approved. Altering or adapting electrical outlets and equipment and overloading circuits jeopardize safety and thus are not permitted.

  • Prescription Safety Glasses Prescription safety glasses will be furnished by the employer. The employer retains the authority to establish reasonable rules and procedures regarding frequency of issue, replacement of damaged glasses, limits on reimbursement costs and coordination with the employer's vision plan.

  • Safety Glasses 10.3.1 Where a teacher is considered to be working in an “eye danger” area, the teacher shall receive a personal issue of standard neutral safety glasses which shall remain the property of the employer.

  • ATM Safety It is important to be aware of your surroundings when using an ATM, especially at night. When you are using an ATM, you should secure any cash you withdraw before leaving the ATM. If you need to use an ATM at night, consider taking someone you know with you, and only use an ATM that is well-lit and unobstructed from view. If anything appears to be suspicious, do not use the ATM. Always call 911 in the event of an emergency or to report any suspicious activity. If you have any questions or comments about the safety of any of our ATMs, please call us on Oahu at (000) 000-0000 or 0-000-000-0000 from the neighbor islands, Guam, the CNMI or Continental U.S.

  • Occupational Health & Safety (a) It is a mutual interest of the parties to promote health and safety in workplaces and to prevent and reduce the occurrence of workplace injuries and occupational diseases. The parties agree that health and safety is of the utmost importance and agree to promote health and safety and wellness throughout the organization. The employer shall provide orientation and training in health and safety to new and current employees on an ongoing basis, and employees shall attend required health and safety training sessions. Accordingly, the parties fully endorse the responsibilities of employer and employee under the Occupational Health and Safety Act, making particular reference to the following:

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

  • Safety Footwear 1. The State will provide employees in the classifications listed in Section 7 below, and employees who are currently required to wear safety footwear by Department Work Rules, an allowance of one hundred twenty dollars ($120.00) for replacement of safety footwear.

  • Electrical appliance safety The Hirer shall ensure that any electrical appliances brought by them to the premises and used there shall be safe, in good working order, and used in a safe manner in accordance with the Electricity at Work Regulations 1989. Where a residual circuit breaker is provided the hirer must make use of it in the interests of public safety.

  • Child Safety Never leave a child unsupervised near a pool, not even for a second. During social gatherings at or near the pool, appoint a designated adult to protect young children from pool accidents. Children must be watched closely while swimming. Do not use floatation devices as a substitute for supervision. Toys can entice young children into the pool area. When not in use, clear the pool area of all toys.

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

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