Software Assurance            Software Hardening            Autonomic Computing
Static Analysis, Safety-Critical Railway Software, and EN 50128

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on...

Using Static Analysis to Improve IIoT Device Security

INTRODUCTION:

The Industrial Internet of Things is unique in that devices that compose industrial control systems are often...

How Static Analysis Improves Safety and Security for Multicore Platforms

INTRODUCTION:

Multicore processors are ubiquitous in embedded devices but still pose a challenge for developing...

The Role of Static Analysis in Management of Cybersecurity in Medical Devices

INTRODUCTION:

The FDA, recognizing the need for more robust security in medical devices, issued its guidance on managing...

How Static Analysis Can Accelerate Software Safety Certification

INTRODUCTION:

Software safety certification is both an old and new reality in the embedded systems world. Developers of...