Towards eCos autoconfiguration by static application analysis
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010) |
Seiten | 35-44 |
Seitenumfang | 10 |
Publikationsstatus | Veröffentlicht - 2010 |
Peer-Review-Status | Ja |
Extern publiziert | Ja |
Publikationsreihe
Reihe | CEUR Workshop Proceedings |
---|---|
Band | 688 |
ISSN | 1613-0073 |
Konferenz
Titel | 1st International Workshop on Automated Configuration and Tailoring of Applications, ACoTA 2010 |
---|---|
Dauer | 20 September 2010 |
Stadt | Antwerp |
Land | Belgien |
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