Inhaltsangabe
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Formal Refinement for Operating System Kernels
Beispielbild für diese ISBN
Formal Refinement for Operating System Kernels
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2912160254998
Neu kaufen
EUR 103,67
Versand:
EUR 3,45
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Refinement for Operating System Kernels
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs. 348 pp. Englisch. Bestandsnummer des Verkäufers 9781849966894
Neu kaufen
EUR 106,99
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Refinement for Operating System Kernels
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains the formal refinement of two small kernelsThe kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely for. Bestandsnummer des Verkäufers 4288797
Neu kaufen
EUR 92,27
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Refinement for Operating System Kernels
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 350. Bestandsnummer des Verkäufers 263065371
Beispielbild für diese ISBN
Formal Refinement for Operating System Kernels
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781849966894_new
Neu kaufen
EUR 136,03
Versand:
EUR 13,62
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Refinement for Operating System Kernels
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 350 4 Illus. Bestandsnummer des Verkäufers 5863876
Neu kaufen
EUR 152,04
Versand:
EUR 7,39
Von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Refinement for Operating System Kernels
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 350. Bestandsnummer des Verkäufers 183065361
Neu kaufen
EUR 152,57
Versand:
EUR 9,95
Von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Formal Refinement for Operating System Kernels
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Formal Refinement for Operating System Kernels | Iain D. Craig | Taschenbuch | xv | Englisch | 2010 | Springer | EAN 9781849966894 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 107145465
Neu kaufen
EUR 95,80
Versand:
EUR 70,00
Von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Formal Refinement for Operating System Kernels
Verlag:
Springer London, Springer London Okt 2010, 2010
ISBN 10: 1849966893
ISBN 13: 9781849966894
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. Bestandsnummer des Verkäufers 9781849966894
Neu kaufen
EUR 106,99
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Refinement for Operating System Kernels
Verlag:
Springer London, Springer London, 2010
ISBN 10: 1849966893
ISBN 13: 9781849966894
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9781849966894
Neu kaufen
EUR 112,94
Versand:
EUR 62,64
Von Deutschland nach USA
Anzahl: 1 verfügbar