mdh.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
A Model-based Approach for Vehicular Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8027-0611
2017 (English)Report (Other academic)
Place, publisher, year, edition, pages
Västerås: Mälardalen University, MRTC , 2017.
Series
MRTC Report, MDH-MRTC-321/2017-1-SE
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-37364OAI: oai:DiVA.org:mdh-37364DiVA: diva2:1161413
Available from: 2017-11-30 Created: 2017-11-30 Last updated: 2017-11-30Bibliographically approved
In thesis
1. A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems
Open this publication in new window or tab >>A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems
2017 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Considering the ubiquitousness of software in modern vehicles, its increased value and development cost, an efficient software development became of paramount importance for the vehicular domain. It has been identified that early verification of non functional properties of  vehicular embedded software such as, timing, reliability and safety, is crucial to efficiency. However, early verification of non functional properties is hard to achieve with traditional software development approaches due to the abstraction and the lack of automation of these methodologies.

 

This doctoral thesis aims at improving efficiency in vehicular embedded software development by minimising the need for late, expensive and time consuming software modifications with early design changes, identified through timing verification, which usually are cheaper and faster. To this end, we introduce a novel model-driven approach which exploits the interplay of two automotive-specific modelling languages for the representation of functional and execution models and defines a suite of model transformations for their automatic integration.

 

Starting from a functional model (expressed by means of EAST-ADL), all the execution models (expressed by means of the Rubus Component Model) entailing unique timing configurations are derived. Schedulability analysis selects the set of the feasible execution models with respect to specified timing requirements. Eventually, a reference to the selected execution models along with their analysis results is automatically created in the related functional model to allow the engineer to investigate them.

 

The main scientific contributions of this doctoral thesis are i) a metamodel definition for the Rubus Component Model, ii) an automatic mechanism for the generation of Rubus models from EAST-ADL, iii) an automatic mechanism for the selection and back-propagation of the analysis results and related Rubus models to design level and iv) a compact notation for visualising the selected Rubus models by means of a single execution model.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2017
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 250
National Category
Embedded Systems Software Engineering Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-37361 (URN)978-91-7485-366-7 (ISBN)
Public defence
2018-01-12, Gamma, Mälardalens högskola, Västerås, 10:15 (English)
Opponent
Supervisors
Available from: 2017-11-30 Created: 2017-11-29 Last updated: 2017-12-06Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Bucaioni, Alessio

Search in DiVA

By author/editor
Bucaioni, Alessio
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 3 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