liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Verifikation av verktyget aspect analyzer
Linköping University, Department of Computer and Information Science.
2003 (Swedish)Independent thesis Basic level (professional degree)Student thesisAlternative title
Aspect analyzer tool verification (English)
Abstract [en]

Rising complexity in the development of real-time systems has made it crucial to have reusable components and a more flexible way of configuring these components into a coherent system. Aspect-oriented system development (AOSD) is a technique that allows one to put a system’s crosscutting concerns into"modules"that are called aspects. Applying AOSD in real-time and embedded system development one can expect reductions in the complexity of the system design and development.

A problem with AOSD in its current form is that it does not support predictability in the time domain. Hence, in order to use AOSD in real-time system development, we need to provide ways of analyzing temporal behavior of aspects, components and resulting system (made from weaving aspects and components). Aspect analyzer is a tool that computes the worst-case execution time (WCET) for a set of components and aspects, thus, enabling support for predictability in the time domain of aspect-oriented real-time software.

A limitation of the aspect analyzer, until now, were that no verification had been made whether the aspect analyzer would produce WCET values that were close to the measured or computed (with another WCET analysis technique) WCET of an aspect-oriented real-time system. Therefore, in this thesis we perform a verification of the correctness of the aspect analyzer using a number of different methods for WCET analysis. These investigations of the correctness of the output from the aspect analyzer gave confidence to the automated WCET analysis. In addition, performing this verification led to the identification of the steps necessary to compute the WCETs of a piece of program, when using a third party tool, which gives the ability to write accurate input files for the aspect analyzer.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2003. , 78 p.
Keyword [en]
Datalogi, real-time systems, worst-case execution time analysis, aspect-oriented software development, component-based software development
Keyword [sv]
National Category
Computer Science
URN: urn:nbn:se:liu:diva-1985ISRN: LITH-IDA-EX-ING--03/017--SEOAI: diva2:19312
Available from: 2003-10-30 Created: 2003-10-30

Open Access in DiVA

fulltext(1933 kB)323 downloads
File information
File name FULLTEXT01.pdfFile size 1933 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

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

Direct link