Category Archives: real-time

formal methods considered harmful and more on soft real-time

Posted on December 15, 2007 by yodaiken

[fixed a couple of typos, Dec. 20 2007] John Regehr writes: On the other hand, there is plenty of useful work to be done on supporting time sensitive applications (I’ll just avoid saying “soft real-time”) even when no guarantees are … Continue reading →

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

Soft real-time and QOS (revised)

Posted on November 20, 2007 by yodaiken

[ revised version of an older post] “Soft real-time” is a perfect example of the “soft design” noted in an earlier post. There are perfectly good ways of characterizing quality of service (QOS) assurances precisely. Doug Jenson proposes one possible … Continue reading →

Posted in operating systems, real-time, rtlinux, software engineering | Leave a comment

OpenBSD developer notes king’s clothing is “virtual”

Posted on October 25, 2007 by yodaiken

Theo de Raadt explains why virtualization does not improve security. How about this: to improve security, you have to have a secure design, a marketing buzzword won’t do the trick. Anyone who has seriously looked that the current generation x86 … Continue reading →

Posted in data center, marketing, operating systems, real-time, security+fault-tolerance, software business, software engineering, software security | Leave a comment