Monthly Archives: February 2007

Difference between theory and practice in security and reliability.

Posted on February 25, 2007 by yodaiken

Theory of how F-22 Fighter software is going to be made bulletproof. Practice. Update: More practice (noted by Ben_k on Bruce Schneier’s weblog). Update2: See this paper and this one.

Posted in embedded systems, operating systems, real-time, security+fault-tolerance, software engineering | Leave a comment

Goodbye to all that

Posted on February 22, 2007 by yodaiken

See our announcement and press reports .

Posted in software engineering | Leave a comment

Operating system interfaces are what you bump into…

Posted on February 19, 2007 by yodaiken

Operating system interfaces are what you bump into when you are trying to do your work. There is no need for workaday users to see an operating system interface at all; the current OS interface is bureaucratic bloat, an unnecessary … Continue reading →

Posted in operating systems, software business, software engineering | Leave a comment