Developing Dependable Automotive Embedded Systems using the EAST-ADL

• vehicle feature modeling including concepts to support product families
• concepts for defining variability in all parts of a model
• vehicle environment modeling to define context and perform validation
• structural and behavioral modeling of software and hardware entities in the
context of distributed systems.
• requirements modeling and tracing with all modeling entities
• other information part of the system description, such as a definition of
component timing and failure modes, necessary for design space exploration and
system verification purposes