Timing verification of component-based vehicle software with rubus-ICE: End-user's experienceShow others and affiliations
2018 (English)In: Proceedings - International Conference on Software Engineering, IEEE Computer Society , 2018, p. 37-38Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
IEEE Computer Society , 2018. p. 37-38
Keywords [en]
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
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-40530DOI: 10.1145/3194095.3194103ISI: 000449622800007Scopus ID: 2-s2.0-85051495118ISBN: 9781450357371 (print)OAI: oai:DiVA.org:mdh-40530DiVA, id: diva2:1241242
Conference
ACM/IEEE 1st International Workshop on Software Qualities and Their Dependencies, SQUADE 2018, co-located with International Conference on Software Engineering, ICSE 2018, 28 May 2018
2018-08-232018-08-232020-10-22Bibliographically approved