https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB, Järfälla, Sweden.ORCID iD: 0000-0002-8027-0611
2015 (English)In: CEUR Workshop Proceedings, 2015, Vol. 1499, p. 11-20Conference paper, Published paper (Refereed)
Abstract [en]

The complexity of vehicular embedded systems is continuously increasing and this can negatively a ect their development cost and time to market. One way to alleviate these issues is to anticipate analysis of system properties at design time for early architectural re- nements. In this paper, we present a licentiate work which aims at contributing to this e ort. In particular, considering the importance of timing constraints typical of vehicular embedded systems, we leverage Model-Driven Engineering for realizing an automatic approach which allows the developer to perform timing analysis on design models, without having to manually specify timing elements. The proposed approach, starting from a high-level model of the vehicular embedded application, generates a set of candidate models enriched with timing elements in a semi-automatic manner. Timing analysis is run on the generated models and, based on its results, the approach supports the selection of the best candidate model for a speci c, non-empty, set of timing constraints

Place, publisher, year, edition, pages
2015. Vol. 1499, p. 11-20
Keywords [en]
Vehicular Embedded Systems, Model-Driven Engineering, Component-Based Software Engineering, EAST-ADL
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-29236Scopus ID: 2-s2.0-84955461373OAI: oai:DiVA.org:mdh-29236DiVA, id: diva2:859268
Conference
Software Technologies: Applications and Foundations STAF 2015, 20-24 Jul 2015, L'Aquila, Italy
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded SystemsAvailable from: 2015-10-06 Created: 2015-09-29 Last updated: 2016-02-11Bibliographically approved
In thesis
1. Raising Abstraction of Timing Analysis through Model-Driven Engineering
Open this publication in new window or tab >>Raising Abstraction of Timing Analysis through Model-Driven Engineering
2015 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

 The complexity of software running on vehicular embedded systems is constantly

increasing and this negatively affects its development costs and time to

market. One way to deal with these issues is to boost abstraction in the form

of models to (i) ease the reasoning about the system architecture, (ii) automate

certain stages of the development, (iii) early detect flaws in the system architecture

through fundamental analysis and (iv) take appropriate countermeasures

before the system is implemented.

Considering the importance of timing requirements in the design of software

for vehicular embedded systems, in this licentiate thesis we leverage

Model-Driven Engineering for realizing a semi-automatic approach which allows

the developer to perform end-to-end delay timing analysis on design models,

without having to manually model timing elements and set their values.

The proposed approach, starting from a design model of an automotive

software functionality, automatically generates a set of models enriched with

timing elements whose values are set at generation time. End-to-end delay timing

analysis is run on the generated models and, based on the analysis results,

the approach automatically selects the generated models which better meet a

specific set of timing requirements.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2015
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 224
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-29486 (URN)978-91-7485-245-5 (ISBN)
Presentation
2015-12-11, Lambda, Mälardalens högskola, Västerås, 10:00 (English)
Opponent
Available from: 2015-11-17 Created: 2015-11-16 Last updated: 2018-01-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Bucaioni, Alessio

Search in DiVA

By author/editor
Bucaioni, Alessio
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 102 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf