Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Merillon, and Laurent Reveillere. Toward Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages, in European Workshop on Operating Systems. 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Integrating Adaptation into the Development of.. - The Compose Group (2000) (Correct)
....Adaptation in systems software. Integrating our adaptation methodologies and tools into the development process of real size software systems can be achieved by proposing a new development process. Specifically, we propose a new approach to designing and structuring operating systems (OSes) [14]. This approach is based on DSLs and enables rapid development of robust OSes. Such approach is critically needed in application domain, like appliances, where new products appear at a rapid pace and needs are unpredictable. Our approach to developing systems software has been applied to the ....
G. Muller, C. Consel, R. Marlet, L.P. Barreto, F. Merillon, and L. Reveillere. Towards robust oses for appliances: A new approach based on domain-specific languages. In Proceedings of the ACM SIGOPS European Workshop 2000 (EW2000), Kolding, Denmark, September 2000.
Programming OS Schedulers with Domain-Specific Languages and.. - Barreto (2002) (1 citation) Self-citation (Muller Barreto) (Correct)
....of problems. The use of such a language simplifies programming, because solutions can be expressed in a way that is natural to the domain and because low level optimiza tions and domain expertise are captured in the language implementation rather than being coded explicitly by the programmer [9]. Recently, Barreto and Muller have presented Bossa, a DSL for programming schedulers [1] This language simplifies scheduler programming and allows the verification of critical safety properties of a scheduler at compile time Aspect Oriented Programming [7] has recently been introduced to ....
G. Muller, C. Consel, R. Marlet, L. P. Barreto, F. M erillon, and L. R eveill ere. Towards robust oses for appliances: A new approach based on domainspecific languages. In ACM SIGOPS European Workshop 2000.
Bossa: A Dsl Framework For Application-Specific . . . - Barreto, Muller (2001) Self-citation (Muller Barreto) (Correct)
....(DSL) A DSL is a high level language that provides appropriate abstractions, which captures domain expertise and eases program development. Implementing an OS using a DSL improves OS robustness because code becomes more readable, maintainable and more amenable to verification of properties [18]. Our target is to specialize process schedulers for an application with soft real time requirements that is able to specify adequate regulation strategies for its CPU requirements. We address neither multiprocessor scheduling nor distributed scheduling, although the framework can be extended for ....
G. Muller, C. Consel, R. Marlet, L.P. Barreto, F. M'erillon, and L. R'eveill`ere. Towards robust oses for appliances: A new approach based on domain-specific languages. In Proceedings of the ACM SIGOPS European Workshop 2000 (EW2000), pages 19--24, Kolding, Denmark, September 2000.
Back to the Future: A Retroactive Study of Aspect Evolution in - Operating System Code (2003) (Correct)
No context found.
Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Merillon, and Laurent Reveillere. Toward Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages, in European Workshop on Operating Systems. 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC