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
Architecture-Based Verification of Software-Intensive Systems
Mälardalen University, School of Innovation, Design and Engineering.
2010 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Development of software-intensive systems such as embedded systems for telecommunications, avionics and automotives occurs under severe quality, schedule and budget constraints. As the size and complexity of software-intensive systems increase dramatically, the problems originating from the design and specification of the system architecture becomes increasingly significant. Architecture-based development approaches promise to improve the efficiency of software-intensive system development processes by reducing costs and time, while increasing quality. This paradox is partially explained by the fact that the system architecture abstracts away unnecessary details, so that developers can concentrate both on the system as a whole, and on its individual pieces, whether it's the components, the components' interfaces, or connections among components. The use of architecture description languages (ADLs) provides an important basis for verification since it describes how the system should behave, in a high level view and in a form where automated tests can be generated. Analysis and testing based on architecture specifications allow detection of problems and faults early in the development process, even before the implementation phase, thereby reducing a significant amount of costs and time. Furthermore, tests derived from the architecture specification can later be applied to the implementation to see the conformance of the implementation with respect to the specification. This thesis extends the knowledge base in the area of architecture-based verification. In this thesis report, an airplane control system is specified using the Architecture Analysis and Description Language (AADL). This specification will serve as a starting point of a system development process where developed architecture-based verification algorithms are applied.

Place, publisher, year, edition, pages
2010. , 86 p.
Keyword [en]
architecture-based verification, software-intensive systems, uppaal, modelling and verification, aadl, junit, conformance
National Category
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-8917OAI: oai:DiVA.org:mdh-8917DiVA: diva2:301461
Presentation
(English)
Uppsok
Technology
Supervisors
Examiners
Available from: 2010-03-17 Created: 2010-03-03 Last updated: 2010-03-17Bibliographically approved

Open Access in DiVA

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

By organisation
School of Innovation, Design and Engineering
Computer Science

Search outside of DiVA

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