Regenerative Brake Sample Clauses

Regenerative Brake. This case study, built up from previous studies in ATESST, ATESST2, TIMMO projects and a physical implementation at VTEC, aims to provide a basis for the validation and demonstration of all EAST-ADL features relevant to MAENAD. Along with architecture modeling and related tool support, emphasis will be placed on the language enhancement through MAENAD for quality analysis, verification and validation. In particular, the following features will be explicitly evaluated: I. modeling and analysis of behaviors for requirements, architectural design, timing and dependability analysis; II. modeling for supporting ISO 2262 through representing safety goals, functional and technical safety concept and their formalization; III. automated test-case generation, test system modeling, and support for fault injection; IV. integration of compositional variability models and design-space specification; V. modeling and analysis of physical dynamics with multiple levels of abstraction; VI. modeling and analysis of selected part of the electrical architecture. The target system for the case study is the Brake-by-Wire (BBW) system in the context of a full electrical vehicle (FEV). Based on regenerative braking, the kinetic energy produced by braking is converted to electrical energy and stored in capacitor or/and battery. It is expected that a hardware implementation is pursued for the base brake functionality excluding regeneration. The model shall also be seen as the brake system representation of the common EV demonstrator.