Early synthesis of timing models in AUTOSAR-based automotive embedded software systems
Autor(en): | Iyenghar, P. Huning, L. Pulvermueller, E. |
Herausgeber: | Hammoudi, S. Pires, L.F. Selic, B. |
Stichwörter: | Advanced driver assistance systems; Automobile drivers; Automotive industry; Automotive Systems; AUTOSAR; Budget control; Computer software selection and evaluation; Development stages; Early verification; Embedded Software; Embedded systems; Model transformation; Model-based Timing Analysis; Software quality; Systems analysis; Timing Analysis; Timing circuits; Timing requirements, Software design; Unified Modeling Language; Unified Modeling Language (UML); Verification, Automotive embedded software systems | Erscheinungsdatum: | 2020 | Herausgeber: | SciTePress | Journal: | MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development | Startseite: | 26 | Seitenende: | 38 | Zusammenfassung: | Development of AUTOSAR-based embedded systems in Unified Modeling Language (UML) tools is an emerging state-of-the-art practice in the automotive industry. In case of such automotive systems with strict timing requirements (e.g. advanced driver assistance systems), not only the correctness of the computation results is important, but also their timeliness. This necessitates comprehensive and early verification and validation procedures to ensure desired software quality without overshooting the budget. The main input required for such timing analysis, in specialized timing analysis tools, is the AUTOSAR-timing model corresponding to the timing annotated AUTOSAR-design model. Thus, synthesis of such a timing analysis model from AUTOSAR-based design model (developed in UML tools), early in the development stages, constitutes an important step and a research gap. Towards this direction, this paper presents a systematic approach for extraction and synthesis of timing analysis model from AUTOSAR-based embedded system design models developed in UML tools. A prototype of model transformations for the synthesis of timing models and its evaluation in an automotive use case are presented. Copyright © 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved. |
Beschreibung: | Conference of 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020 ; Conference Date: 25 February 2020 Through 27 February 2020; Conference Code:158681 |
ISBN: | 9789897584008 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85082985430&partnerID=40&md5=345a7f8733e2c26c9184622a06c022d8 |
Zur Langanzeige
Seitenaufrufe
24
Letzte Woche
0
0
Letzter Monat
1
1
geprüft am 21.05.2024