Timing verification of component-based vehicle software with rubus-ICE : End-user's experience

• This paper discusses an end-user's experiences of utilizing timing analysis tools to verify predictability of distributed embedded systems in the vehicle industry. The analysis tools are plug-ins for an industrial tool suite, namely Rubus-ICE, that is based on the principles of model-based engineering (MBE) and component-based software engineering (CBSE). These plug-ins implement various state-of-the-art timing analyses including response-time analysis and end-to-end data-path analysis. The experiences discussed in this paper provide a useful feedback in terms of usability and validity of assumptions to the tools provider as well as to the academia.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)

Nyckelord

Automotive software

CBSE

End-to-end timing analysis

MBE

Embedded systems

Molecular beam epitaxy

Regression analysis

Timing circuits

Component-based software engineering

Distributed embedded system

Model-based engineering

Response-time analysis

Timing Analysis

Timing verification

Verification

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)