mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Integrating formal analysis techniques into the Progress-IDE
Mälardalen University, School of Innovation, Design and Engineering. (Formal Modelling and Analysis of Embedded Systems)
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. Previous work in the field proposes use of the Priced Timed Automata framework for verification of such properties. The thesis outlines the main points where the current toolchain should be extended in order to allow formal analysis of modeled components. Result of the work is a prototype, which minimizes the manual efforts of system designer by model to model transformations and provides seamless integration with existing tools for formal analysis.

Place, publisher, year, edition, pages
2011. , 78 p.
Keyword [en]
behavioral modeling, component-based software engineering, formal analysis, REMES, ProCom, tool-chain
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-13973OAI: oai:DiVA.org:mdh-13973DiVA: diva2:477378
Subject / course
Computer Science
Presentation
2011-06-28, 13:30 (English)
Uppsok
Technology
Supervisors
Examiners
Available from: 2012-01-19 Created: 2012-01-13 Last updated: 2012-01-19Bibliographically approved

Open Access in DiVA

fulltext(921 kB)59 downloads
File information
File name FULLTEXT01.pdfFile size 921 kBChecksum SHA-512
012ade35443f0d1ffcc741e7372175f871b6170fa48dfa867f205eeb55ebe1b88ad9392b7aa70d73e01a3c22ed3214b8cda1d78ea8edf2f99f5534f4a50d6395
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Software Engineering

Search outside of DiVA

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

Total: 61 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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