A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems
Hauke Stähle · 2016
The integration of further functionality into vehicles is hindered by the increasing system complexity. This work combines model-driven engineering with the event-based and data-centric communication paradigms to implement an automatic timing verification framework for changeable systems. This enables the flexible configuration of vehicles and other real-time critical systems in the sense of hardware and software – during the design and run-time with a selectable degree of approximation.