Title :
Model-based specification and validation of automotive electronics
Author :
Schultz, Torsten
Author_Institution :
Berner & Mattner Systemtechnik GmbH
Abstract :
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
Keywords :
Unified Modeling Language; automotive electronics; electronic engineering computing; ergonomics; formal specification; haptic interfaces; speech-based user interfaces; GUI prototype construction; UML specifications; automotive electronics; ergonomics; executable models; haptic control elements; model-based specification system; model-based validation system; off-the-shelf displays; speech dialog systems; usability; Automotive electronics; Displays; Electronic components; Graphical user interfaces; Haptic interfaces; Power system modeling; Prototypes; Speech; Unified modeling language; Usability;
Conference_Titel :
Model-Based Development of Computer-Based Systems and Model-Based Methodologies for Pervasive and Embedded Software, 2006. MBD/MOMPES 2006. Fourth and Third International Workshop on
Conference_Location :
Potsdam
Print_ISBN :
0-7695-2538-5
DOI :
10.1109/MBD-MOMPES.2006.19
