Formal Refinement for Operating System Kernels

Description

Formal Refinement for Operating System Kernels

Publisher: Springer
Number Of Pages: 352
Publication Date: 2007-07-27
Sales Rank: 2925093
ISBN / ASIN: 1846289661
EAN: 9781846289668
Binding: Hardcover
Manufacturer: Springer
Studio: Springer

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense.

Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken.

Filetype: RARed PDF
Password: none
Filesize: 2.462.816 Bytes

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Formal Refinement for Operating System Kernels" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1353
2. Formal Refinement for Operating System Kernels
3. Formal Refinement for Operating System Kernels
4. Formal Refinement for Operating System Kernels
5. [share_ebook] [request_ebook] Professional Penetration Testing: Creating and Operating a Formal Hacking Lab
6. Intermediate System Administration for the Solaris 10 Operating System (Official Course)
7. [share_ebook] Intermediate System Administration for the Solaris 9 Operating System (SA-239) and (SA-299)
8. Advanced System Administration for the Solaris 9 Operating System (CDS-299)
9. Intermediate System Administration for the Solaris 9 Operating System (CDS-239)
10. Formal Logical Methods for System Security and Correctness
11. Operating System Principles
12. Operating System Concepts
13. Operating System Concepts
14. Operating System Security
15. Programming the Be Operating System
16. Distributed Operating System