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
Static Flow Analysis of the Action Language for Foundational UML
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-0401-1036
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-6571-0175
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. IS (Embedded Systems).ORCID iD: 0000-0001-5297-6548
Show others and affiliations
2018 (English)In: International Conference on Emerging Technologies and Factory Automation ETFA'18, 2018, p. 161-168Conference paper, Published paper (Refereed)
Abstract [en]

One of the major advantages of Model-Driven Engineering is the possibility to early assess crucial system properties, in order to identify issues that are easier and cheaper to solve at design level than at code level. An example of such a property is the timing behaviour of a real-time application, where an early indication that the timing constraints might not be met can help avoiding costly re-designs late in the development process. In this paper we provide a model-driven round-trip transformation chain for (i) applying a flow analysis to executable models described in terms of the Action Language for Foundational UML (Alf), and (ii) back-propagating analysis results to Alf models for further investigation. Alf models are transformed into the input format for an analysis tool that identifies flow facts, i.e., information about loop bounds and infeasible paths in the model. Flow facts can be used, for instance, when estimating the worstcase execution time for the analysed model. We evaluated the approach through a set of benchmark models of various size and complexity.

Place, publisher, year, edition, pages
2018. p. 161-168
Keywords [en]
UML, Alf, model-based analysis, timing analysis, flow facts, SWEET, model transformation, back-propagation
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-40881DOI: 10.1109/ETFA.2018.8502620ISI: 000449334500019Scopus ID: 2-s2.0-85057262142OAI: oai:DiVA.org:mdh-40881DiVA, id: diva2:1249236
Conference
International Conference on Emerging Technologies and Factory Automation ETFA'18, 04 Sep 2018, Torino, Italy
Projects
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applicationsTESTOMAT Project - The Next Level of Test AutomationAvailable from: 2018-09-18 Created: 2018-09-18 Last updated: 2019-01-24Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Malm, JeanCiccozzi, FedericoGustafsson, JanLisper, Björn

Search in DiVA

By author/editor
Malm, JeanCiccozzi, FedericoGustafsson, JanLisper, BjörnSkoog, Jonas
By organisation
Embedded SystemsMälardalen University
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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