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 Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.
2019 (English)Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. In this thesis work, we propose a set of transformation rules that take into consideration the EAST-ADL architectural model details and the behavioral specifications in Simulink, and generate a formal model, which can be verified UPPAAL model checker. Moreover, we implement these proposed transformation rules in a tool that automates them. The transformation rules proposed in this thesis work would be implemented for every EAST-ADL file with Simulink behavior specifications, generated by the MetaEdit+ tool. Properties like timing constraints, triggering and hierarchy in both EAST-ADL and Simulink have been considered by the transformation rules. Finally, the Brake-by-Wire case study is used to validate the tool and assess the mapping of the elements.

Place, publisher, year, edition, pages
2019. , p. 80
Keywords [en]
UPPAAL, EAST-ADL, Simulink, MetaEdit+, Timed Automata, Brake-by-Wire, Model-Driven Development, Model Checking
National Category
Software Engineering Other Electrical Engineering, Electronic Engineering, Information Engineering Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-42794OAI: oai:DiVA.org:mdh-42794DiVA, id: diva2:1291676
Subject / course
Computer Science
Presentation
2019-02-01, Västerås, 13:15 (English)
Supervisors
Examiners
Available from: 2019-03-12 Created: 2019-02-25 Last updated: 2019-03-12Bibliographically approved

Open Access in DiVA

MasterThesisVCollakuPShestani(3160 kB)98 downloads
File information
File name FULLTEXT01.pdfFile size 3160 kBChecksum SHA-512
589bd37cab727452251c0b37d0287f8690685963b77ab6aa971c310ceb7c03322b9b6e1d72dc6b1818914283fc8b1dbb5193e9d1e57190116c29df1be4360188
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Software EngineeringOther Electrical Engineering, Electronic Engineering, Information EngineeringComputer and Information Sciences

Search outside of DiVA

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

urn-nbn

Altmetric score

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