+49 8122 559170

Safety-critical Railway Software

Agentur Lorenzoni Latest articles Details

Published by by Beate Lorenzoni

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

Using Static Analysis to Improve IIoT Device Security

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. This paper discusses how a static analysis tool like GrammaTech CodeSonar satisfies various EN 50128 requirements.

Source-Code Compliance

The EN 50128 standard is very clear on using good programming techniques such as modularity, components, structure, and object-oriented programming. It also requires the use of design and coding standards, and language subsets such as MISRA C. In fact, these coding standards are mandatory for higher safety-integrity levels SIL 3 and 4. Static analysis tools such as GrammaTech CodeSonar are very good for enforcing coding standards, whether commonly-used standards such as MISRA C or customized versions specific to your application.

Static Analysis

The EN 50128 standard is specific about the use of static analysis tools “using a customizable set of Coding Standards, Control Flow and Data Flow Analysis Rules” and is highly recommend for SIL 1 to 4. Interestingly, the EN 50128 says: “Use the inter-procedural Control Flow Analysis module to find variables in use before being initialized, buffer overflows, resource leaks etc.” As this is a highly recommended practice, it’s clear that static analysis is an important part of the safety critical development toolkit. 

Satisfying EN50128 Requirements

The following table (pls. refer to the attached pdf-file) illustrates how specific EN 50128 requirements are met with a static analysis tool such as CodeSonar. In many cases the techniques/practices are highly recommended, if not mandatory, at the most critical levels.

Supporting Certification

An important part of satisfying the requirements for EN 50128 is not just compliance but documentation to support proof of compliance. Automated software tools, including static analysis, provide reporting that supports the certification effort, and with the additional benefits of risk mitigation and developer time savings, the use of automated tools means quicker time-to-market and development dollars saved. 

Certified Tools

GrammaTech CodeSonar is an EN 50128 certified tool, which means that an independent certification body, TÜV SÜD Saar GmbH in this case, has analyzed the functionality of the tool and its development process and certified that it satisfies the requirements to be used in developing safety-critical software. Why is this important? Tools that are used in the development of safety-critical software must be documented and their results analyzed. Tools that are not certified require further scrutiny from the certification bodies, possibly increasing workload and risk on the development team.

Static analysis tools have an important role to play in safety-critical software development. The EN 50128 standard for railway software systems is clear in its requirements and highly recommends static analysis for any system SIL 1 or above. Supporting the certification process with certified tools reduces risk, costs, and time.

(Author: Marc Brown, VP Business Development, GrammaTech, Inc.)

About GrammaTech, Inc.

About GrammaTech

GrammaTech tools are used by software developers worldwide, spanning a myriad of industries including avionics, automotive, government, medical, and other applications where reliability, safety, and security are paramount. Born from research carried out at Cornell University, GrammaTech continues to advance the science of software assurance, software hardening, and autonomic computing, providing techniques and technology for software teams to produce safer and more resilient software. More information about GrammaTech can be found here.

Go back

About us

Mutual trust is everything – which is why we maintain open, honest and cooperative partnerships. We look at things from the client's perspective. This allows us to speak credibly and competently on our clients’ behalf and to provide the best possible support. We also relish the challenge of developing integrated communication concepts and drive issues forward.

Contact

PR Ageny Lorenzoni GmbH
Landshuter Str. 29
85435 Erding
Germany
 
Ph: +49 8122 55917-0
Fax: +49 8122 55917-29
eMail: pr@lorenzoni.de

Latest article

Rutronik Launches New Career Platform

The demand for qualified specialists is higher than ever. As a result, companies are proactively trying to recruit suitable employees, because the traditional approach using job advertisements stopped being an effective way of attracting applicants a long time ago. This is why Rutronik launched its new career platform www.rutronik-careers.com.

Read more …