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-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (Model-Based Engineering of Embedded Systems)ORCID iD: 0000-0002-8027-0611
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: urn:nbn:se:mdh:diva-37361ISBN: 978-91-7485-366-7 (print)OAI: oai:DiVA.org:mdh-37361DiVA, id: diva2:1161159
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: 2018-01-13Bibliographically approved
List of papers
1. A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL
Open this publication in new window or tab >>A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL
Show others...
2017 (English)In: IEEE Access, E-ISSN 2169-3536, ISSN 2169-3536, p. 9005-9020Article in journal (Other academic) Published
Abstract [en]

According to the Model-Driven Engineering paradigm, one of the entry requirements when realising a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model transformations, for automating manipulations of models. In this context, we present a metamodel definition for the Rubus Component Model, an industrial solution used for the development of vehicular embedded systems. The metamodel includes the definition of structural elements as well as elements for describing timing information. In order to show how, using Model-Driven Engineering, the integration between different modelling levels can be automated, we present a model-to-model transformation between models conforming to EAST-ADL and models described by means of the Rubus Component Model. To validate our solution, we exploit a set of industrial automotive applications to show the applicability of both the Rubus Component Model metamodel and the model transformation.

National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-29564 (URN)10.1109/ACCESS.2016.2641218 (DOI)000404270600034 ()2-s2.0-85025171666 (Scopus ID)
Available from: 2015-11-18 Created: 2015-11-18 Last updated: 2018-03-12Bibliographically approved
2. Anticipating Implementation-Level Timing Analysis for Driving Design-Level Decisions in EAST-ADL
Open this publication in new window or tab >>Anticipating Implementation-Level Timing Analysis for Driving Design-Level Decisions in EAST-ADL
Show others...
2015 (English)In: CEUR Workshop Proceedings, Vol. 1487, 2015, p. 63-72Conference paper, Published paper (Refereed)
Abstract [en]

The adoption of model-driven engineering in the automotive domain resulted in the standardization of a layered architectural description language, namely EAST-ADL, which provides means for enforcing abstraction and separation of concerns, but no support for automation among its abstraction levels. This support is particularly helpful when manual transitions among levels are tedious and error-prone. This is the case of design and implementation levels. Certain fundamental analyses (e.g., timing), which have a significant impact on design decisions, give precise results only if performed on implementation level models, which are currently created manually by the developer. Dealing with complex systems, this task becomes soon overwhelming leading to the creation of a subset of models based on the developers experience; relevant implementation level models may therefore be missed. In this work, we describe means for automation between EAST-ADL design and implementation levels to anticipate end-to-end delay analysis at design level for driving design decisions.

National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-29550 (URN)2-s2.0-84955247113 (Scopus ID)
Conference
International Workshop on Modelling in Automotive Software Engineeringco-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. September 27, 2015
Available from: 2015-11-17 Created: 2015-11-17 Last updated: 2018-02-27Bibliographically approved
3. Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain
Open this publication in new window or tab >>Handling Uncertainty in Automatically Generated Implementation Models in the Automotive Domain
Show others...
2016 (English)In: 42nd Euromicro Conference series on Software Engineering and Advanced Applications SEAA 2016, 2016, p. 173-180Conference paper, Published paper (Refereed)
Abstract [en]

Models and model transformations, the two core constituents of Model-Driven Engineering, aid in software development by automating, thus taming, error-proneness of tedious engineering activities. In most cases, the result of these automated activities is an overwhelming amount of information. This is the case of one-to-many model transformations that, e.g. in designspace exploration, can potentially generate a massive amount of candidate models (i.e., solution space) from one single model. In our scenario, from one design model we generate a set of possible implementation models on which timing analysis is run. The aim is to find the best model from a timing perspective. However, multiple implementation models can have equally good analysis results. Therefore, the engineer is expected to investigate the solution space for making a final decision, using criteria which fall outside the analysis’ criteria themselves. Since candidate models can be many and very similar to each other, manually finding differences and commonalities is an impractical and errorprone task. In order to provide the engineer with an expressive representation of models’ commonalities and differences, we propose the use of modelling with uncertainty. We achieve this by elevating the solution space to a first-class status, adopting a compact notation capable of representing the solution space by means of a single model with uncertainty. Commonalities and differences are thus represented by means of uncertainty points for the engineer to easily grasp them and consistently make her decision without manually inspecting each model individually.

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-32852 (URN)10.1109/SEAA.2016.32 (DOI)000386649000027 ()978-1-5090-2819-1 (ISBN)
Conference
42nd Euromicro Conference series on Software Engineering and Advanced Applications SEAA 2016, 31 Aug 2016, Cyprus, Cyprus
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems
Available from: 2016-09-30 Created: 2016-08-24 Last updated: 2017-11-30Bibliographically approved
4. Technology-preserving transition from single-core to multi-core in modelling vehicular systems
Open this publication in new window or tab >>Technology-preserving transition from single-core to multi-core in modelling vehicular systems
Show others...
2017 (English)In: Lecture Notes in Computer Science, vol. 10376, Springer Verlag , 2017, p. 285-299Chapter in book (Refereed)
Abstract [en]

The vehicular industry has exploited model-based engineering for design, analysis, and development of single-core vehicular systems. Next generation of autonomous vehicles will require higher computational power, which can only be provided by parallel computing platforms such as multi-core electronic control units. Current model-based software development solutions and related modelling languages, originally conceived for single-core, cannot effectively deal with multi-core specific challenges, such as core-interdependency and allocation of software to hardware. In this paper, we propose an extension to the Rubus Component Model, central to the Rubus model-based approach, for the modelling, analysis, and development of vehicular systems on multi-core. Our goal is to provide a lightweight transition of a model-based software development approach from single-core to multi-core, without disrupting the current technological assets in the vehicular domain.

Place, publisher, year, edition, pages
Springer Verlag, 2017
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10376 LNCS
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-36203 (URN)10.1007/978-3-319-61482-3_17 (DOI)000434211900017 ()2-s2.0-85025117384 (Scopus ID)9783319614816 (ISBN)
Conference
19 July 2017 through 20 July 2017
Available from: 2017-08-10 Created: 2017-08-10 Last updated: 2018-06-21Bibliographically approved
5. A Model-based Approach for Vehicular Systems
Open this publication in new window or tab >>A Model-based Approach for Vehicular Systems
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:nbn:se:mdh:diva-37364 (URN)
Available from: 2017-11-30 Created: 2017-11-30 Last updated: 2017-11-30Bibliographically approved

Open Access in DiVA

fulltext(1098 kB)91 downloads
File information
File name FULLTEXT01.pdfFile size 1098 kBChecksum SHA-512
a062e352651458c194a56fed07ecb33659880be47ad99ce35b9f310759502c8e9962c6d16e1189d0d4999da69170b3176f9bf38539ab69fffde7a584603cb010
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Bucaioni, Alessio
By organisation
Embedded Systems
Embedded SystemsSoftware EngineeringComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 91 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

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