Software Assurance            Software Hardening            Autonomic Computing
GrammaTech Blog

Static Analysis, Safety-Critical Railway Software, and EN 50128

Posted by Bill Graham on August 22, 2016

 

 

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on software for command, communication, and control. Due to the impact of errors and accidents in this environment, software is developed to strict standards such as EN 50128. The standard is very specific on the use of good programming practices, tools, and techniques. In this post, I’ll discuss how a static analysis tool like GrammaTech CodeSonar satisfies various EN 50128 requirements.

Related:

Read More

Topics: Safety, Static Analysis, CodeSonar, EN 50128

The Human Internet of Things (HIoT)

Posted by Laurel Stewart on August 18, 2016

 

Read More

Topics: Cyber Security, IoT

Understanding DARPA's Cyber Grand Challenge: Laundromat Edition

Posted by Amy Gale on August 15, 2016

 

Read More

Topics: Software Assurance, News, Autonomic Computing, Research, Software Hardening

Using Static Analysis to Improve IIoT Device Security

Posted by Bill Graham on August 08, 2016

 

INTRODUCTION:

The Industrial Internet of Things is unique in that devices that compose industrial control systems are often insecure due to limitations in their design and capability. On top of that, the protocols used to communicate are not secure, with a dangerous reliance on physical security (.e.g. keeping devices on a local network). System-level implementation of security is required as part of that secure software design and development. Static analysis tools are useful in improving software security and in this post, we’ll look at how that applies to IIOT devices.

Related:

Read More

Topics: Cyber Security, Static Analysis, IIoT

Tackling the Software Development Challenges of the Industrial Internet of Things (IIOT)

Posted by Bill Graham on August 02, 2016

 

 

INTRODUCTION:

The Internet of Things is coming to industrial systems in a big way (the “IIOT”). But IIOT isn't just IOT with an extra 'I' -- industrial systems differ greatly in architecture, power and performance, and intended application when compared with many consumer, medical, and other IoT systems. This post looks at the unique challenges of IIOT systems and the role of software development tools, including static analysis, in developing next-generation IIOT devices.

Related:

Read More

Topics: Cyber Security, Safety