Formal Refinement for Operating System Kernels

By: Iain D. Craig

Write A Review

Hardcover | 31 July 2007

At a Glance

Hardcover
352 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon. Bothkernelstooklessthanthreemonths'workingtimetoproduce(theactual time is rather hard to calculate because of frequent interruptions). Previous experience in re?ning kernels also paid o? in the sense that there was l- tle revision involved in their speci?cation or re?nement; the usual process of yo-yoing between levels of the derivation was absent. This appears to be an inevitable consequence of experience.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Operating Systems Computer Programming & Software Development Software Engineering

Introduction	p. 1
The Simple Kernel's Organisation	p. 11
A Simple Kernel	p. 19
The Separation Kernal	p. 203
A Separation Kernal	p. 211
Closing Thoughts	p. 317
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Refinement for Operating System Kernels

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Artificial Intelligence and Large Language Models

A Scientific Perspective

Applied Data Science in FinTech

Models, Tools, and Case Studies

Applied Data Science in FinTech

Models, Tools, and Case Studies

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Git : Pocket Guide

A Working Introduction

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Architectural Approach to Level Design

Second edition

Arduino For Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Design Patterns

Elements of Reusable Object-Oriented Software

Programming TypeScript

Making Your JavaScript Applications Scale

User Story Mapping

Discover the Whote Story, Build the Right Product

This product is categorised by