See this document in CiteSeerX!

A Step towards Operating System Synthesis (1998)  (Make Corrections)  (3 citations)
Carsten Ditze



  Home/Search   Context   Related

 
View or download:
unipaderborn.de/sfb376/...Dit98a.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unipaderborn.de/s...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: . Experiences gained from the design of micro-kernel related to either high-performance or hard real-time computing have shown that customization plays a major role to enhance the performance of applications while maintaining a reusable and flexible software architecture. Our goal is to cover both fields by developing a customizable library operating system (Dreams 1 ) intended to be used as a basis for the synthesis of either application-specific run-time platforms or operating system... (Update)

Context of citations to this paper:   More

...by standard software development tools. Customizations are specified in a description file using a special configuration language [4]. The file is transformed by an interpreter tool of Dreams into a set of #define statements. Thus, the preprocessor is used to embed...

...from Software IP 7. 1 Towards Operating System Synthesis The overall goal for the design of the DREAMS library operating system [Ditze98] is to support the construction of an execution platform closely tailored to the needs of its application(s) With respect to embedded...

Cited by:   More
Towards Device Driver Synthesis - Lehmann (2002)   (Correct)
Software IP in Embedded Systems - Böke, Ditze, Eickerling, Glässer..   (Correct)
A Customizable Library to support Software Synthesis for Embedded.. - Ditze   (Correct)

Active bibliography (related documents):   More   All
0.3:   Communication and distribution tools for embedded.. - Dissaux, Pautet, al.   (Correct)
0.3:   From High-Level Specifications down to Software.. - Rust, Stappert..   (Correct)
0.2:   Constructing Generic Data-Farm Templates - Fleury, Downton, Clark (1999)   (Correct)

Similar documents based on text:   More   All
0.2:   An Application of Case-Based Instruction in Medical Domains - Fenstermacher   (Correct)
0.1:   DReaMS - Concepts of a Distributed REAl-Time Management System - Ditze (1995)   (Correct)
0.1:   Desing and Formal Verification of Strategies in.. - Geiger.. (1996)   (Correct)

Related documents from co-citation:   More   All
2:   PLX-Technology. PCI 9080 Data Book, 1.05 edition, 1998.
2:   Technical report (context) - Physical, Specification - 2001

BibTeX entry:   (Update)

C. Ditze. A step towards operating system synthesis. In Proc. of the 5th Annual Australasian Conf. on Parallel And Real-Time Systems (PART). IFIP, IEEE, 1998. (to appear). http://citeseer.ist.psu.edu/ditze98step.html   More

@misc{ ditze98step,
  author = "C. Ditze",
  title = "A step towards operating system synthesis",
  text = "C. Ditze. A step towards operating system synthesis. In Proc. of the 5th
    Annual Australasian Conf. on Parallel And Real-Time Systems (PART). IFIP,
    IEEE, 1998. (to appear).",
  year = "1998",
  url = "citeseer.ist.psu.edu/ditze98step.html" }
Citations (may not include all citations):
653   Object-Oriented Analysis and Design with Applications (context) - Booch - 1993
447   Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995  DBLP
400   safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
12   Chimera methodology: designing dynamically reconfigurable re.. - Stewart, Khosla - 1995
9   dynamic user customization of operating systems (context) - Liao, Tan et al. - 1996
7   Experiences designing and implementing Choices: an object-or.. (context) - Campbell, Islam et al. - 1993
5   Structuring operating systems using adaptive objects for imp.. (context) - Gopal, Islam et al. - 1995  ACM
4   DReaMS -- Concepts of a distributed real-time management sys.. - Ditze - 1995
4   Non-sequential processing: Bridging the semantic gap of the .. (context) - Verhulst - 1997
3   Supporting software synthesis for communication infrastructu.. (context) - Ditze, Boke - 1998
3   Applications User's Guide (context) - Missile, Redstone et al. - 1995
2   The QNX operating system (context) - Sastry, Demirci - 1995

Documents on the same site (http://www.uni-paderborn.de/sfb376/projects/b1/publications.html):   More
Systems Level Specification and Modelling of Reactive Systems.. - Glässer (1995)   (Correct)
WEB-supported Engineering of Computer-based Systems - Ditze, Kleinjohann.. (1998)   (Correct)
Intelligent Design Assistance with SEA - Heitbreder, Kleinjohann.. (1997)   (Correct)

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