The standard EN 50657:2017 specifies the process and technical requirements for the development of software for programmable electronic systems for use in rolling stock applications. The standard adapts EN 50128:2011 for the application in the Rolling Stock domain, but is shares a lot in common including the definition of the Software Integrity Levels (SIL).
For our static analysis tool QA-MISRA, our tool Qualification Support Kit (QSK) automatically executes a full tool qualification verification test suite on the installed tool configuration and generates the necessary reports for EN 50128 / 50657 tool qualification.
EN 50128 is a functional safety standard used in the rail industry. It provides requirements for developing, deploying, and maintaining railway software. This includes applications for communication, signaling, and processing systems.
This methodology handbook provides detailed explanations on how to fully satisfy requirements of EN 50128:2011 (Software for communication, signaling and processing systems) and EN 50657:2017 (Software for rolling stock applications) with a SCADE model-based development approach to achieve safe and reliable software, while promoting an efficient model-based development and verification strategy.
The handbook introduces the EN 50126, EN 50128, EN 50657, and EN 50129 standards before presenting the optimization of the software development and verification processes that can be achieved with the SCADE toolchain and methodology. SCADE tools support the automated production and verification of a large part of the development lifecycle elements. The effect of using the SCADE toolchain is presented in terms of savings in the development and verification activities, following a step-by-step approach and considering the objectives that must be met at each step.
Reach EN 50128 compliance effectively and efficiently with Parasoft C/C++test and its automated software testing tool suite. For over 30 years, Parasoft has been helping organizations meet rigorous standards through required best practices like requirements traceability, static code analysis, dynamic analysis, unit testing, software metrics, software on-host or on-target hardware verification and validation, full structural code coverage, functional/black box testing, and interface testing.
Accompa is one of the best requirements engineering tools. It helps users to capture, track and manage requirements for any products & projects. It is cloud-based which means there is no need to download or install
*I would like to receive access to the free online material on demand and agree that Axivion GmbH may use my data to promote its offer, including by e-mail and telephone. For this purpose Axivion GmbH will use my address and contact data as well as data to prove my consent. The provision of my data is in return for receiving the access. I have the right to revoke my consent at any time with effect for the future. The following contact option, among others, is available for this purpose: in...@axivion.com. Further information on the handling of personal data by Axivion GmbH can be found here: Data protection declaration.
let elements = document.querySelectorAll('.element > div:not(:last-child)');let checkboxes = jQuery("input.check-download");let download = [];elements.forEach(function(elem) elem.style.cursor = 'pointer'; elem.addEventListener("click", function() elem.closest('.element').querySelector('input.check-download').checked = !elem.closest('.element').querySelector('input.check-download').checked; download = checkboxes.filter(":checked").map(function() return jQuery(this).closest('.element').find('.download-title').find('p').text(); ).get(); console.log(download.length > 0); if (download.length > 0 && !document.querySelector('#optcheck').checked) document.querySelector('#optcheck').click(); document.querySelector('#optcheck').checked = true; else if (download.length == 0 && document.querySelector('#optcheck').checked) document.querySelector('#optcheck').click(); document.querySelector('#optcheck').checked = false; console.log(download); document.querySelector('#download').setAttribute('value', download.join(', ')); ););
3 Scope The inspection program Assessment of Safety Cases has been established for the organisation unit Inspection Body (IS) of TuMotus GmbH and it is binding for the employees working on assessments of Safety Cases (SBS) in the department Safety Assessments (SB). It is also freely available to third parties IS GS1530 Stand 24. Sep Page 3/9
Because IEC 61508 serves as the meta-standard for a range of industries and published standards, the Platform for Industrial Safety is directly applicable to railway (CENELEC EN 50128), medical (IEC 60601), nuclear (IEC 61513), process control (IEC 61511), and automotive (ISO 26262).
The MULTI toolchain has been certified to meet the highest levels of tool qualification specified in the IEC 61508:2010 (Industrial), EN 50128:2011 (Railway) and ISO 26262:2011 (Automotive) functional safety standards. MULTI is the only commercially available toolchain certified to satisfy both SIL 4 (Safety Integrity Level) and ASIL D (Automotive Safety Integrity Level) tool qualification requirements.
Static analysis is an important technology for developing software that needs to achieve high levels of functional safety. CodeSonar is pre-qualified for the highest levels of safety for the IEC 61508, ISO 26262 and CENELEC EN 50128 standards by Exida. Artifacts for qualification according to DO-178C / DO-330 are also available.
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.
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 customised versions specific to your application.
Satisfying EN50128 requirements
The following table 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.
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.
The optimizations found on MPLAB XC C Compilers provide code-size reductions and speed enhancements that benefit your design projects. PRO license is available for designs that require maximum code reductions and best performance. The MPLAB XC C Compiler contains a free, 60-day trial of a PRO license for evaluation when activated.
Are you looking for code optimizations? Our free MPLAB XC C Compiler comes with the majority of the optimizations you need to reduce your code by up to 70% and increase efficiency. Specifically, the free compiler contains these optimizations:
Functional safety licenses also include all of the optimizations found in our PRO compiler licenses and are available in the downloads tab below. Note that these compilers only unlock when a functional safety license is purchased. For more information visit the product pages below.
VxWorks is available today to download and try out as part of a software developer kit (SDK) compatible with QEMU, Arm, and Intel architectures. Additional open source and leading-edge technologies such as ROS 2 are also available for download.
Proven in the most challenging safety-critical applications, VxWorks makes it easier and more cost-effective for technology suppliers to meet the stringent safety certification requirements of EN 50128, IEC 61508, ISO 26262, DO-178C, and ED-12C.
Express Logic is the company behind the industry leading THREADX RTOS - arguably the most popular RTOS with over 6.2 Billion deployments per VDC Research. THREADX powers the X-WARE IoT PLATFORM which includes FILEX, GUIX, NETX, NETX DUO (TLS, DTLS, IPsec, MQTT, CoAP, LwM2M, Thread), USBX. All Express Logic solutions are proprietary and contain absolutely no open source.In addition to size, performance, and ease-of-use advantages, ThreadX, FileX, and NetX Duo are pre-certified to IEC 61508 SIL 4, IEC 62304 Class C, ISO 26262 ASIL D, UL/IEC 60730, UL/IEC 60335, UL 1998, and EN 50128 SW-SIL 4.
eebf2c3492