Systems software technology and business
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.
See our announcement and press reports .
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 impediment and tollgate. Users are interested in direct links to documents, not in operating systems [...]
FSMLabs is about to make a major change in direction – with a focus on “enterprise” computing. Some of what we plan to do is brand new – for example, we have new ways of speeding up “black-box” trading in financial markets. Some is old – Cort Dougan worked on high speed MPI years ago [...]
David Elliot Bell has an interesting essay on the US government and software security – little “inside baseball”, but informative. He cites my critique of MILS. One of Bell’s points, which is briefly mentioned in my note, is that composition is harder than many imagine. Systems A and B may meet some security level individually, [...]
Jim Gray disappeared and I hope he will reappear unharmed. I met him once at a Supercomputing show when Cort Dougan and had just been snubbed by the AIX developers at the PowerPC booth who explained that the Linux PowerPC port Cort had just written was beneath their contempt. Gray came up to us and [...]