Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

Khalilov, Eldar; Ross, Jordan; Antkiewicz, Michał; Völter, Markus; Czarnecki, Krzysztof · 2016 · Crossref

DOI: 10.1007/978-3-319-47169-3_37

archive: archived pipeline: cataloged verified

Get this paper ↗ (DOI — opens at the source; we link to it, we don't host it)

Summary

The provided text is not the research paper titled "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners." Instead, it is the "EAST-ADL Domain Model Specification version V2.1.12," a technical standard document developed by the EAST-ADL Association and various automotive industry partners. Consequently, the text does not contain the research question, methodology, or results associated with the cited paper title. Rather, it serves as a comprehensive specification for the EAST-ADL (European Automotive Software Template for Architecture Description Languages) modeling language. The document outlines the formal structure and semantics of EAST-ADL, a language designed for the systematic modeling of automotive electric and electronic architectures. It is organized into ten parts covering structural constructs, behavioral constructs, variability, requirements, timing, dependability, generic constraints, and infrastructure. The specification defines specific modeling elements such as SystemModeling, FeatureModeling, FunctionModeling, and HardwareModeling. It details how to represent system levels (analysis, design, implementation), vehicle features, functional devices, hardware components (sensors, actuators, nodes), and their interconnections. A significant portion of the specification is dedicated to non-functional properties, particularly timing and dependability. The timing section defines constructs for events, timing constraints (such as delay, periodic, and synchronization constraints), and timing descriptions. The dependability section covers error modeling, safety constraints, safety requirements, and safety cases, reflecting the critical safety needs of automotive systems. The document also addresses variability through configuration decisions and feature configurations, allowing for the modeling of product lines and different vehicle variants. The significance of this document lies in its role as a standardized reference for automotive system architects and engineers. By providing a rigorous, formal definition of modeling elements and their relationships, EAST-ADL facilitates consistent communication, automated analysis, and tool interoperability in the development of complex automotive E/E architectures. The specification ensures that models can accurately capture structural, behavioral, timing, and safety aspects, supporting the verification and validation processes essential for automotive software and hardware integration. The document includes revision history indicating its evolution through various European research projects, highlighting its collaborative development within the automotive industry.

Provenance

The full processing record for this entry. Every stage of this paper's journey through the pipeline is logged — what ran, with which tool and model, how many attempts it took, and when it last completed.

Summary generated by qwen3.6-27b-nvidia on 2026-08-07; verification: verified.

Topics

Ranked by relevance to this paper. Hover a topic for its definition.

• odd communication