Towards eCos autoconfiguration by static application analysis
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
Original language | English |
---|---|
Title of host publication | Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (ACoTA 2010) |
Pages | 35-44 |
Number of pages | 10 |
Publication status | Published - 2010 |
Peer-reviewed | Yes |
Externally published | Yes |
Publication series
Series | CEUR Workshop Proceedings |
---|---|
Volume | 688 |
ISSN | 1613-0073 |
Conference
Title | 1st International Workshop on Automated Configuration and Tailoring of Applications, ACoTA 2010 |
---|---|
Duration | 20 September 2010 |
City | Antwerp |
Country | Belgium |
External IDs
ORCID | /0000-0002-1427-9343/work/167216821 |
---|
Keywords
ASJC Scopus subject areas
Keywords
- Automatic Configuration, CTL, ECos, Model Checking, Software Product Lines, Static Analysis