This paper describes a system-model-based verification method to support and accelerate the development of automotive batteries. Descriptive system architecture models, named system models, are typically created in early system design phases to enhance collaboration between all involved parties, to further specify the system, and to have a basis for further development ac-tivities, such as the definition of failure modes as a starting point for verification activities.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.