(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