Towards eCos autoconfiguration by static application analysis

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

  • Horst Schirmeier - , Technische Universität (TU) Dortmund (Autor:in)
  • Matthias Bahne - , Technische Universität (TU) Dortmund (Autor:in)
  • Jochen Streicher - , Technische Universität (TU) Dortmund (Autor:in)
  • Olaf Spinczyk - , Technische Universität (TU) Dortmund (Autor:in)

Abstract

System software product lines such as the embedded real-time operating system eCos are a state-of-the-art solution for application scenarios with a very low hardware resource profile. Being highly configurable at compile time, eCos can be tailored to the application in terms of inclusion or exclusion of fine-grained operating system features. The mandatory manual feature selection is carried out by the developer who knows the functionality essential for the application. This process requires profound knowledge of the feature semantics, is very time-consuming, and, in particular, error-prone-most probably resulting in a resource suboptimal or even dysfunctional operating system variant. The contribution of this article is an approach to automate the eCos configuration process to a major degree, therefore reducing the outlined disadvantages significantly. A thorough examination of configurable eCos features exhibits four feature categories of varying complexity: By applying standard model checking techniques and static analysis of the application source code, we show that for at least two feature categories the configuration decisions can be taken automatically. Complementing the approach with configlets-highly eCos specific analysis code-a third category is shown to be also coverable.

Details

OriginalspracheEnglisch
TitelProceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010)
Seiten35-44
Seitenumfang10
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa
Extern publiziertJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band688
ISSN1613-0073

Konferenz

Titel1st International Workshop on Automated Configuration and Tailoring of Applications, ACoTA 2010
Dauer20 September 2010
StadtAntwerp
LandBelgien

Externe IDs

ORCID /0000-0002-1427-9343/work/167216821

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Automatic Configuration, CTL, ECos, Model Checking, Software Product Lines, Static Analysis