[Developer] uml

[Ben Leslie]

On Mon Apr 30, 2007 at 20:44:50 -0500, Jorge Torres wrote:
>Hi everyone,
>
>I was thinking about some UML/B-method thing I was reading, and a question
>poped up, has anyone seen a UML model of the L4 ukernel?,  I now about b
>verified of l4 pistachio, but I tried looking for uml model at google but no
>success,

Hi Jorge,

There is not a UML/B-method model the OKL4. Currently we are
undertaking a research project which is modelling a new L4 API
using the Isabelle. There is more information here:

http://www.ertos.nicta.com.au/research/l4.verified/

Cheers,

Ben