Type safety Clause Samples
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.
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 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 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 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 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 Alias J2289 - Parked Off Plug IDLE/Storage Operation Status Addressed Status Comment Part of Design Methodology Checklist for FEVs (see chapter 5 of D2.2.1). Type «Safety» Priority M...