|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
1 of 7 people found the following review helpful:
5.0 out of 5 stars
micro C/OS specification using Z,
By kaizen (Japan) - See all my reviews
This review is from: Formal Models of Operating System Kernels (Hardcover)
This book include FIFO queues, process tables and semaphores in chapter 2. In chapter 3, operating system, micro C/OS is described using objective Z schemata rather than Z.
Z is ISO/IEC standards.ISO/IEC 13568:2002 Information technology -- Z formal specification notation -- Syntax, type system and semantics. And related standard is followint. ISO/IEC 10165-4:1992/Amd 3:1998 Guidelines for the use of Z in formalizing the behaviour of managed objects . I am no Z specialist nor OS specialist. And I do not have Z( and objective Z) translator to C language. So I cannot understand main part of this book. So I request my colleague to rewrite this Z example to be utilized B methods. Also I request another colleague to write TOPPERS/SSP(smallest set profile) specification using Z. It should be rewrite to be utilised B methods. This is the first book who can start to formally designe and evaluate the architecture of operating system. |
|
Most Helpful First | Newest First
|
|
Formal Models of Operating System Kernels by I. Craig (Hardcover - November 14, 2006)
$109.00 $66.09
In Stock | |
 
| ||
