Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach

[1]  Daniel Mahrenholz,et al.  An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family∗ , 2002 .

[2]  Wolfgang Schröder-Preikschat,et al.  Aspectizing a Web Server for Adaptation , 2007, 2007 12th IEEE Symposium on Computers and Communications.

[3]  Charles W. Krueger.  BigLever software gears and the 3-tiered SPL methodology , 2007, OOPSLA '07.

[4]  Olaf Spinczyk,et al.  Tailoring Infrastructure Software Product Lines by Static Application Analysis , 2007 .

[5]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

[6]  Wolfgang Schröder-Preikschat,et al.  On the Configuration of Non-Functional Properties in Operating System Product Lines , 2005 .

[7]  Leonard J. Bass.  Principles for Designing Software Architecture to Achieve Quality Attribute Requirements , 2006, SERA.

[8]  K. Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).

[9]  Charles W. Krueger,et al.  The 3-Tiered Methodology: Pragmatic Insights from New Generation Software Product Lines , 2007, 11th International Software Product Line Conference (SPLC 2007).

[10]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[11]  Gregor Kiczales,et al.  Using aspectC to improve the modularity of path-specific customization in operating system code , 2001, ESEC/FSE-9.

[12]  C. W. Krueger.  The 3-Tiered Methodology: Pragmatic Insights from New Generation Software Product Lines , 2007 .

[13]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .

[14]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[15]  Jochen Liedtke,et al.  On micro-kernel construction , 1995, SOSP.

[16]  Michal Antkiewicz,et al.  FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.

[17]  Danilo Beuche,et al.  On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project , 1999, ECOOP Workshops.

[18]  Felix Lösch,et al.  Optimization of Variability in Software Product Lines , 2007, 11th International Software Product Line Conference (SPLC 2007).

[19]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[20]  Mikolás Janota,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007, 11th International Software Product Line Conference (SPLC 2007).

[21]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[22]  Sergio Segura,et al.  FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.

[23]  Wolfgang Schröder-Preikschat,et al.  Configurable memory protection by aspects , 2007, PLOS '07.

[24]  Joseph R. Kiniry,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007 .

[25]  Bernd Freisleben,et al.  Supporting autonomic computing functionality via dynamic operating system kernel aspects , 2005, AOSD '05.

[26]  Horst Schirmeier,et al.  Tailoring Infrastructure Software Product Lines by Static Application Analysis , 2007, 11th International Software Product Line Conference (SPLC 2007).

[27]  Julio Cesar Sampaio do Prado Leite,et al.  Nonfunctional requirements: from elicitation to conceptual models , 2004, IEEE Transactions on Software Engineering.

[28]  Wolfgang Schröder-Preikschat,et al.  Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP , 2007, ACP4IS.

[29]  Gregor Kiczales,et al.  Back to the future: a retroactive study of aspect evolution in operating system code , 2003, AOSD '03.

[30]  Steve R. Kleiman,et al.  Interrupts as threads , 1995, OPSR.