Software Assurance            Software Hardening            Autonomic Computing
MISRA and CodeSonar

INTRODUCTION:

We all have seen our Web browsers “unexpectedly close” and restart, which is usually more of an annoyance than a...

Static analysis essential for affordable safety critical software

INTRODUCTION:

Safety-critical software has hit the "unaffordable" wall due to increasing complexity and growing reliance on...

Step One: Security Assurance for IoT Devices - Security First Design

INTRODUCTION:

The Stuxnet malware was a wake-up call for embedded device security when it became public knowledge in 2010.  Its...

A Four-Step Guide to Security Assurance for IoT Devices

INTRODUCTION:

Powered by the forces of the cloud, connected endpoints, wireless technologies, and big data, the Internet of...