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 of Timing Analysis through Model-Driven Engineering
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Arcticus Systems AB . (Model-Based Engineering of Embedded Systems)ORCID iD: 0000-0002-8027-0611
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 Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-29486ISBN: 978-91-7485-245-5 (print)OAI: oai:DiVA.org:mdh-29486DiVA: diva2:871615
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: 2016-11-01Bibliographically 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, 9005-9020 p.Article 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 Science
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-29564 (URN)10.1109/ACCESS.2016.2641218 (DOI)000404270600034 ()
Available from: 2015-11-18 Created: 2015-11-18 Last updated: 2017-12-01Bibliographically approved
2. Exploring Timing Model Extractions at EAST-ADL Design-level Using Model Transformations
Open this publication in new window or tab >>Exploring Timing Model Extractions at EAST-ADL Design-level Using Model Transformations
2015 (English)In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113538, 596-600 p.Conference paper, Published paper (Refereed)
Abstract [en]

We discuss the problem of extracting control and data flows from vehicular distributed embedded systems at higher abstraction levels during their development. Unambiguous extraction of control and data flows is vital part of the end-to-end timing model which is used as input by the end-to end timinganalysis engines. The goal is to support end-to-end timing analysis at higher abstraction levels. In order to address the problem, we propose a two-phase methodology that exploits the principles of ModelDriven Engineering and Component Based Software Engineering. Using this methodology, the software architecture at a higher level is automatically transformed to all legal implementation-level models. The end-to-end timing analysis is performed on each generated implementation-level model and the analysis results are fed back to the design-level model. This activity supports design space exploration, modelrefinement and/or remodeling at higher abstraction levels for tuning the timing behavior of the system.

National Category
Computer Systems Embedded Systems
Identifiers
urn:nbn:se:mdh:diva-28111 (URN)10.1109/ITNG.2015.100 (DOI)000380407500099 ()2-s2.0-84936816996 (Scopus ID)978-1-4799-8827-3 (ISBN)
External cooperation:
Conference
12th International Conference on Information Technology : New Generations ITNG 2015, 13-15 Apr 2015, Las Vegas, United States
Projects
Femmva - Functional- and execution-models in modern electronic vehicle architecturesSynthesizing Predictable Software for Distributed Embedded Systems
Available from: 2015-06-08 Created: 2015-06-08 Last updated: 2016-09-01Bibliographically approved
3. Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering
Open this publication in new window or tab >>Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering
2015 (English)In: CEUR Workshop Proceedings, 2015, Vol. 1499, 11-20 p.Conference 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

Keyword
Vehicular Embedded Systems, Model-Driven Engineering, Component-Based Software Engineering, EAST-ADL
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-29236 (URN)2-s2.0-84955461373 (Scopus ID)
Conference
Software Technologies: Applications and Foundations STAF 2015, 20-24 Jul 2015, L'Aquila, Italy
Projects
SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems
Available from: 2015-10-06 Created: 2015-09-29 Last updated: 2016-02-11Bibliographically approved
4. 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, 63-72 p.Conference 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: 2017-11-30Bibliographically approved

Open Access in DiVA

fulltext(498 kB)73 downloads
File information
File name FULLTEXT01.pdfFile size 498 kBChecksum SHA-512
bcc6f9c4e6b7458051846ff907543188a0442d39f5af1846c8a02280d010aecbf439d5a19803ee966f244b054d5cbaf39989377a0352a6207a1b3cf940694aa9
Type fulltextMimetype application/pdf

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 73 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: 547 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