Change search
ReferencesLink to record
Permanent link

Direct link
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
URN: urn:nbn:se:mdh:diva-13973OAI: diva2:477378
Subject / course
Computer Science
2011-06-28, 13:30 (English)
Available from: 2012-01-19 Created: 2012-01-13 Last updated: 2012-01-19Bibliographically approved

Open Access in DiVA

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

By organisation
School of Innovation, Design and Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 50 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: 57 hits
ReferencesLink to record
Permanent link

Direct link