Type safety Sample Clauses

Type safety. The key aspects of the J&s language are formalized in an object calculus. This calculus has some similarities with other formal se- mantics that support family inheritance, e.g., Jx [28], Tribe [10], and vc calculus [18], and especially the J& calculus [30, 31]. The most notable differences come from adding sharing. The soundness of the calculus is proved using subject reduction and progress [51]. Due to the space limit, this section only sketches the formaliza- tion of the language and the proof. See the companion technical report [36] for details. an expression e, modeling the main method. A class declaration L
Sample 1
AutoNDA by SimpleDocs
Type safety. Priority Medium Description The EV development methodology shall include the defining the vehicle operational modes according to those required by the standard and eventually justify the possible discrepancies. Derived from • 4SG#0018: J2289 4SG#0107: J2289 - Key-on discharge Alias J2289 - Key-on discharge Status Addressed Status Comment Part of Design Methodology Checklist for FEVs (see chapter 5 of D2.2.1). Type «Safety» Priority Medium Description The EV development methodology shall include: - Assessment of battery capability to match the vehicle demand (range, supply of auxiliary equipment) - Designing means to detect and limit the overdischarge of individual cells - Providing fault protection devices (fuses, fast contactors). Derived from • 4SG#0018: J2289 4SG#0110: J2289 - Key-on Regen operation Alias J2289 - Key-on Regen operation Status Addressed Status Comment Part of Design Methodology Checklist for FEVs (see chapter 5 of D2.2.1). Type «Safety» Priority Medium Description The EV development methodology shall include: - the assessment of the compliance of the voltage with the limits during regeneration - the design of means to avoid drive component overvoltage occurrence during regeneration - the verification of the compliance with current and voltage profiles - design means to limit battery current and voltage during regeneration according to the specified profiles. Derived from • 4SG#0018: J2289 4SG#0113: J2289 - Key-on charge Alias J2289 - Key-on charge Status Addressed Status Comment Part of Design Methodology Checklist for FEVs (see chapter 5 of D2.2.1). Type «Safety» Priority Medium Description The EV development methodology shall include: - the verification that all charge system components match w.r.t. electrical characteristics - the design of the charge algorithm to be performed with the battery supplier. Derived from • 4SG#0018: J2289 4SG#0116: J2289 - Key-Off Parked Off Plug Operating Alias J2289 - Key-Off Parked Off Plug Operating Status Addressed Status Comment Part of Design Methodology Checklist for FEVs (see chapter 5 of D2.2.1). Type «Safety» Priority Medium Description The EV development methodology shall include: - the realization the energy management to prevent excessive discharge due to vehicle equipment operating in key-off mode - the verification of the energy behavior in key-off mode by simulation/calculation - the design of charge algorithm with the battery supplier. Derived from • 4SG#0018: J2289 4SG#0118: J2289 - Park...
Sample 1

Related to Type safety

  • Fire Safety 9.5.1 Residents found in violation of the following fire safety stipulations not only put themselves at risk but also jeopardizes the safety of the entire community.

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

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

  • JOB SAFETY 13.1 It shall be the policy of the Employer that the safety of employees, the protection of work areas, the adequate training in necessary safety practices, and the prevention of accidents are a continuing and integral part of its everyday responsibilities.

  • Road Safety While developing the Asian Highway network, Parties shall give full consideration to issues of road safety. Xxxxx XXX

  • Health & Safety (a) The Employer and the Union agree that they mutually desire to maintain standards of safety and health in the Home, in order to prevent injury and illness and abide by the Occupational Health and Safety Act as amended from time to time.

  • Site Safety Buyer shall comply with all federal, state, and local safety regulations and standards applicable to the Site and to the Equipment on which Siemens will perform the Services. Siemens shall not be obligated to commence or perform Services unless Buyer’s Site complies with all applicable safety requirements. In the event Buyer’s Site safety is non- compliant, Siemens may suspend the Services until such time as Buyer corrects the non-compliance. To the extent Siemens incurs additional time and expense as the result of Buyer’s non-compliance, Siemens shall be entitled to an equitable adjustment in the schedule, price and other affected provisions of the Agreement.

  • Aviation safety (1) Each Contracting Party may request consultations at any time concerning the safety standards maintained by the other Contracting Party in areas relating to aeronautical facilities, flight crew, aircraft and the operation of aircraft. Such consultations shall take place within thirty (30) days of that request.

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

  • Food Safety A. The SFA shall comply with food safety inspection requirements as prescribed by USDA for its facilities and shall ensure that all state and local regulations are being met by the selected FSMC preparing or serving meals at any SFA facility.

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