All Thought Leadership

Verification Horizons

3 Notable Formal-Related Conference Papers of 2014

January 06, 2015

2014 was an exciting year for formal verification to say the least, and below I call out a sampling of...

By Joe Hupcey III

Embedded Software

Embedded articles - medical systems, C function parameters, multitasking and Forth

January 05, 2015

Although I regard the New Year as a time to look forward, I am continuing my catch-up process of cataloging...

Embedded Software

A Christmas cracker

December 23, 2014

For most of my adult life, I have been a regular visitor to the United States. Even though I have...

Simulating the Real World

Domestic Hot Water Heating, ‘Wat-er’ Waste of Energy. Part 2: Warm-up

December 19, 2014

Sure, most modern homes have much more advanced water heating systems than a big tank with an electric heater element....

By Robin Bornoff

Embedded Software

Making a difference

December 18, 2014

I am sure that most people, like me, enjoy doing Good Things – helping others in one way or another....

Embedded Software

Embedded software security - are text strings a vulnerability?

December 16, 2014

As embedded systems become even more ubiquitous and complex, there is an increasing concern about security. The term means different...

Simulating the Real World

Domestic Hot Water Heating, 'Wat-er' Waste of Energy. Part 1: Pun Intended

December 15, 2014

Human technical prowess relies heavily on the conversion of energy from one form to another, to meet our needs. Physiological...

By Robin Bornoff

Verification Horizons

Latest Issue of Verification Horizons Available!

December 12, 2014

Just in time for Christmas and other year-end holidays, I am pleased to announce that the latest issue of Verification...

By Tom Fitzpatrick

Embedded Software

Embedded software development books

December 08, 2014

I am often asked where to get in-depth information about embedded software development. Commonly, the query comes from a student...