This may be of interest to some on the list. They claim to have designed
the new RTOS using formal methods.
http://www.altreonic.com/content/opencomrtos-project-book-ready-review
"There is also a general assumption that trustworthy means complex and
large. Great was the surprise however when we discovered it resulted in
the opposite. The RTOS was measured to be up to 10 times smaller. This
means less resources and less power are needed. So, to make the world
less energy-hungry, use formal methods."
I have no affiliation to Altreonic, beyond reading their mailings.
_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc
