Category Archives: real-time

Marine One Blueprints via Pirates Bay

Posted on March 2, 2009 by admin

Goodness. The US blueprints for Marine1 show up in Iran. “What appears to be a defense contractor in Bethesda, Md., had a file-sharing program on one of their systems that also contained highly sensitive blueprints for Marine One,” Boback said. … Continue reading →

Posted in communications, real-time, security+fault-tolerance, software security, software security | Tagged | Leave a comment

Are threads evil? (updated)

Posted on February 25, 2009 by admin

This paper by Prof. Edward Lee explains something of why “threads” are such a painful abstraction.  As Prof. Lee notes, threads intrinsically create non-determinism and resource conflicts which we then attempt to “prune” via synchronization and complex tools. In an … Continue reading →

Posted in embedded systems, operating systems, real-time, rtlinux, software engineering | Tagged , , , , | 1 Comment

Happy new year and validation

Posted on December 28, 2007 by yodaiken

Updated below! Years ago I proposed the following code snippet as a minimal standard for a useful verification method. Still not quite there. /* you are not expected to understand this */ if(save()){ load_memory_management(); /* map in new current */ … Continue reading →

Posted in architecture, operating systems, real-time, security+fault-tolerance, software security | 3 Comments