Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles

Fully Electric Vehicles (FEV) promise clear benefits to society. At the same time, the engineering of FEV introduces significant new challenges. FEV will be highly integrated and increasingly dependent on software and electronics. FEV systems will have more authority, share common components and rely less on mechanical backups. New complex power management and optimization algorithms are needed to ensure high performance, range of travel and low energy consumption.We argue that the challenges faced in the engineering of FEV are already partly met by EAST-ADL, an emerging automotive architecture description language (ADL) compliant with AUTOSAR, and that EAST-ADL is the appropriate vehicle for fully meeting these challenges. MAENAD will extend EAST-ADL with advanced capabilities to facilitate development of dependable, efficient and affordable FEV. The project will achieve language and tool support for:- Support for the ISO 26262 automotive safety standard, including a novel approach for automatic allocation of safety requirements to components of an evolving architecture- Effective model-based prediction of quality attributes of FEV such as the dependability and performance, via use of advanced, scalable, automated techniques.-Automated exploration of potentially huge design spaces to achieve better or optimal trade-offs among dependability, performance and cost.The scope of the modeling language and analysis focuses on the system structure and dynamics, in terms of physical, computational and communication components, their composition and interactions.To achieve those objectives, MAENAD will exploit and further develop the present state of the art in model-based design, assessment and optimization technologies. In addition, MAENAD will propose an overall design methodology for FEV and evaluate its application via a realistic case study on an innovative FEV system which represents a current design challenge.