Towards operating system synthesis

MaRDI QIDQ2724196zbMATH OpenFDO

Authors Carsten Ditze

Publication date 10 July 2001

zbMATH Keywords

library of customizable operating system services

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)

Cited in

(6)

• Extensionability in operating systems by the integration of a higher language
• Integrate online model checking into distributed reconfigurable system on chip with adaptable OS services
• A mixed level simulation environment for stepwise RTOS software refinement
• Subject-oriented operating system developement based on system predicate classes
• scientific article; zbMATH DE number 4112468 (Why is no real title available?)
• Architecture design of embedded operating system based on heterogeneous dual-core processor

This page was built for publication: Towards operating system synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2724196)