Freedom of choice

I am free to post, say whatever I want again, oh this is going to be fun...

Continue reading →

“Source Code is Relevant” – Test, but Verify

Earlier this month, an interesting decision was made regarding yet another lawsuit alleging Big Bowls of Spaghetti Code in a Car.      This time a Ford, from Ford Must Submit Source Code In Sudden Unintended Acceleration Case: Ford argued against turning...

Continue reading →

The Missing MISRA-C Rule…

Just some more proof I like to stir the pot in other forums, like this discussion I began in the Linkedin MISRA-C/C++ group. "The Missing MISRA-C Rule..." I've been meaning to write an article that looks in depth at the...

Continue reading →

Verifying what you write

I have three articles that I have written and just dying to hit the "publish" button on.  But I can't, they are not ready, like software, an engineer has to know when is when, and when is not.  I...

Continue reading →

Dealing with the Unpredictable and how MISRA helps – Part II

continued from Part I Dealing with the Unknown Reasonably In software engineering, decisions cannot always be purely rational, based soley on logic and facts . Its discomforting, but that's the way it is.  Just as an honest Doctor cannot always have all the answers upfront when...

Continue reading →

Dealing with the Unpredictable and how MISRA helps – Part I

In my last article Role of sequence points not being the point – and how MISRA helps I talked about a student's question regarding code that contained "Unspecified Behavior". In my answer I explained: your multiple choice question has nothing...

Continue reading →

Order of evaluation and how MISRA helps

This article is about tangental discussions and how the C language can get even the most seasoned engineers off centered, and how using a good MISRA-C tool can help get us back on point. I joined this discussion a...

Continue reading →

Soundy is the new Truthiness (when not MISRA-C 2012)

Static Code Analysis (SCA) technology has many flavors, and words can take on different nuances even though they have a specific meaning within mathematics for describing logical properties. SCA that enforces MISRA-C 2012 and properties of source code itself...

Continue reading →

An example why we need good tools

MISRA-C is only as good as the tools that enforce it and the activities of code inspection employed. Both go hand in hand as the ability of the tool to save developer review time as opposed to wasting...

Continue reading →

Runtime Checking & Testing vs. MISRA-C (Part II)

Continuation of discussion on run-time checking, or lack thereof in C and my advocacy of MISRA-C prevention being a key past of any solution. Continued from Part I. By my last count this thread was up to 237 responses....

Continue reading →

Runtime Checking & Testing vs. MISRA-C (part I)

As I mentioned in my introductory post, there are many conversations I find myself contributing to, mostly about software engineering for critical systems. I will start with a thread I just posted a response to in the Linkedin Plain Old C Programming group. The Original...

Continue reading →

On Being Very Loud and Clear with Systems Software Quality

Veriloud is about software verification before, during, above and beyond testing. There is much more to this, but for now let me introduce and explain the Veriloud blog. I continually find myself engrossed in conversations and debates fighting the belief that...

Continue reading →