Model-based specification and validation of automotive electronics

摘要

RAVENNA is a model-based specification system for electronic components in the field of bodywork and infotainment. Powerful tools are used to systematically record requirements and then supplement these with symbolic UML specifications. Executable models, simple integration of off-the-shelf displays, haptic control elements and speech dialog systems all facilitate the efficient construction of GUI prototypes. These are used for specification purposes and permit validation in early-stage usability and ergonomics analyses.