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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
2006 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Our main focus in this thesis is on providing guidelines, methods, and tools for design, configuration, and analysis of configurable and reusable real-time software, developed using a combination of aspect-oriented and component-based software development. Specifically, we define a reconfigurable real-time component model (RTCOM) that describes how a real-time component, supporting aspects and enforcing information hiding, could efficiently be designed and implemented. In this context, we outline design guidelines for development of real-time systems using components and aspects, thereby facilitating static configuration of the system, which is preferred for hard real-time systems. For soft real-time systems with high availability requirements we provide a method for dynamic system reconfiguration that is especially suited for resourceconstrained real-time systems and it ensures that components and aspects can be added, removed, or exchanged in a system at run-time. Satisfaction of real-time constraints is essential in the real-time domain and, for real-time systems built of aspects and components, analysis is ensured by: (i) a method for aspectlevel worst-case execution time analysis; (ii) a method for formal verification of temporal properties of reconfigurable real-time components; and (iii) a method for maintaining quality of service, i.e., the specified level of performance, during normal system operation and after dynamic reconfiguration.

We have implemented a tool set with which the designer can efficiently configure a real-time system to meet functional requirements and analyze it to ensure that non-functional requirements in terms of temporal constraints and available memory are satisfied.

In this thesis we present a proof-of-concept implementation of a configurable embedded real-time database, called COMET. The implementation illustrates how our methods and tools can be applied, and demonstrates that the proposed solutions have a positive impact in facilitating efficient development of families of realtime systems.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2006. , 237 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1005
Series
Keyword [en]
real-time systems, embedded systems, software components, aspect-oriented software, quality of service, worst-case execution time, database systems
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:liu:diva-5857ISBN: 91-85497-29-0 (print)OAI: oai:DiVA.org:liu-5857DiVA: diva2:21541
Public defence
2006-03-23, Visionen, Hus B, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Opponent
Supervisors
Available from: 2006-02-23 Created: 2006-02-23 Last updated: 2009-06-05

Open Access in DiVA

fulltext(2866 kB)2137 downloads
File information
File name FULLTEXT01.pdfFile size 2866 kBChecksum SHA-1
3ac9a06dde57a485b2cae10b95c5c96ecaa5013ac10c33c08997b775d9c28c84ab4db7a4
Type fulltextMimetype application/pdf

Authority records BETA

Tešanović, Aleksandra

Search in DiVA

By author/editor
Tešanović, Aleksandra
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Software Engineering

Search outside of DiVA

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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 2719 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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