Webinars

Achieving Rail Safety Certification using EN 50128:2011

Safety is one of the key issues of railways applications. Railway safety is concerned with the protection of life and property through regulation, management and technology development of all forms of rail transportation. With involvement of modern technology, more and more electronics are added for building Interlocking system, signalling & train control systems, vital switch controller and anti collision systems (ACS). With the trend of increasing complexities, software content and mechatronic implementation, there are increasing risks from systematic failures due to malfunctioning of software and hardware components.

This webinar will focus on EN 50128:2011 for Railway applications — Communications, signalling and processing systems — Software for railway control and protection systems.  Some key areas which are included are software design, implementation and testing for electrical/electronic/programmable electronic systems used in Railway applications. We will also focus on the Safety Integrity Levels, which specify the necessary safety measures for avoiding an unreasonable residual risk, with 4 representing the most stringent level.

LDRA, a pioneer and global leader in automating the verification and requirements traceability of standards objectives such as EN 50128:2011 will show how automated tools and techniques can assist in the certification process.

DO-178C/DO-331: Fast Track to Certification using Model-Based Design

The Impact of New Standards and Potential Pitfalls for Developing and Verifying Flight Code

The introduction of RTCA/DO-331 Model Based Development and Verification Supplement to DO-178C and DO-278A offers new opportunities to leverage the strengths of Model-Based Design under RTCA/DO-178C.  The concept of simulation test cases for reuse and associated structural coverage analysis on Executable Object Code (EOC) to obtain test coverage credit allows for the painstaking work of model verification to help achieve EOC verification objectives.

This webinar explores the conditions under which model verification can be re-used to satisfy EOC verification objectives using Simulink  and LDRA tool suite, and it also identifies areas which should be closely attended to in order to satisfy the regulatory requirements.

Achieving Road Vehicle Safety Certification using ISO 26262

- Jointly hosted by LDRA and Green Hills Software -

Safety is a key issue for road vehicle development. The automotive manufacturers and tier one suppliers are introducing more active safety features including collision avoidance, adaptive cruise control, pedestrian protection systems and integrating them with the passive safety features like airbags and seatbelts. These features are introducing additional complexity in software content and mechatronic implementation. As a consequence, there are increased risks of systematic failures due to malfunctioning of software and hardware components. V-model-based software development processes focus on traceability between the sub-phases of the software lifecycle and their compatibility with system and hardware lifecycles. The ISO 26262 automotive standard includes guidance to avoid these risks by providing feasible requirements and processes.

This webinar will concentrate on the Product Development phase, specifically Part 4 - System level and Part 6 - Software level of the ISO 26262 process. The focus will also be on achieving lifecycle traceability between sub-phases and the compatibility with system and hardware lifecycles by performing integration and system level verification. An emphasis will be placed on the Automotive Safety Integrity Levels (ASIL), which specify the necessary safety measures for avoiding an unreasonable residual risk, with ASIL D representing the most stringent level. This will focus on how software verification and validation compliance with ISO 26262 standards can be achieved, by looking at both the software architecture and the methods to achieve this goal more easily.

A Guide to Using Model-Based Design in Embedded Real-time Environments for Safety Critical Applications

This webinar will cover verification criteria and goals regarding the increasing portion of embedded code that has been directly derived from models. This has been driven in part due to high fidelity modeling tools and code generation tools like Simulink and Embedded Coder from MathWorks. These tools are extremely powerful in helping to show embedded code matches the model, even in cases in which the model and the application are rapidly changing. In safety critical environments, however, these tools in and of themselves are not adequate for system verification. They must be paired with embedded target-verification tools and matched with appropriate process standards.

LDRA with MathWorks support will discuss automating best practices to track code from the model to the target, ensuring that verification tasks such as code coverage are completed correctly. This is particularly important with process standards such as DO-178C, which require specific model elements to be connected to specific verification tasks and results. This traceability is critical to the certification of generated code.

Model-generated code has significantly lowered development costs and time to market. But, when it comes to safety-critical, certified systems, all code—manual and generated—must prove that it’s fulfilled system requirements and on-target testing. Using certification tools – such as the LDRA tool suite - can ensure traceability and track changes from requirements, to the model, code, verification tasks, and eventual certification of the system – saving time to market and eliminating a potential source of errors.

The webinar will explain the purpose of object code verification, highlight the nature of problems it can expose, and discuss how the management of requirements and their traceability can be extended right through to object code verification. Through practical examples we will show how tools can be used to automate the whole of that process from requirements traceability right through to object code verification challenges. Specifically, we will follow the process of adding additional test cases to obtain 100% object code coverage and mapping those test cases to your high level requirements for traceability.

Electronic devices-now commonplace in the medical industry-spark concerns over the safety and security of device software and the liability risks should something go wrong. The IEC 62304 standard was developed to address these safety concerns, checking each stage of software development to help create a functionally safe medical device.

Locomotives today cover a wide range of applications from heavy haul, freight, passenger to very high speed trains. Increasing use of embedded software in railway is evident in recent traction and signalling equipment builds. Embedded software enables extra complexity and functionality to be built in without significant hardware cost. Functions previously implemented in analogue electronics are now in firmware on processor based digital electronic modules. Railway industry requirements are defined by CENELEC, the European Committee for Electrotechnical Standardization.

Covering technical tips and techniques for developing safety-critical avionics software in compliance with DO-178B (up to, and including, Level A design assurance), this webinar features industry experts who will highlight the processes, procedures and tools used to achieve avionics certification on the latest civil airliners. DDC-I, a supplier of software and professional services for mission- and safety-critical applications for over 30 years, and LDRA, a pioneer and global leader in automated software verification, source code analysis, and test tools covering the full development lifecycle will share their joint experiences in achieving successful avionics certification.

This webinar willl highlight the processes, procedures and tools used to achieve avionics certification on the latest civil airliners.

What you'll learn:

• Practical DO-178B certification examples
• DO-178B certification development, verification, Configuration management, and quality assurance
• Traceability, independence criteria, testing and structural coverage analysis
• DO-178C expectations

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

From November 2009 through the first quarter of 2010, Toyota recalled 8 million or more cars and trucks worldwide. In May, the FDA ordered Baxter Healthcare Corp. to recall every single one of its Colleague brand Volumetric Infusion Pumps in the U.S (approximately 200,000 units) due to battery failures, inadvertent powering off, service data errors, and other issues. Meanwhile, in April 2010 the U.S. Computer Emergency Response team released a Technical Info rmation Paper outlining a growing list of malware that are becoming prevalent in mobile communication devices.

Each of these events has, at its core, an embedded system in which software quality had an adverse role to play. With market pressures forcing companies to shorten their development schedules, and the rapid increase in the amount and complexity of software content in embedded devices, more steps need to be taken to improve software quality and productivity. In addition, software security is becoming an ever-increasing concern even in markets not traditionally associated with security.

The webinar will cover subjects such as selecting and enforcing a coding standard, using empirical methods to assess code quality, and assessing test completeness through structural coverage analysis, this tutorial addresses the collection, meaning and application of software metrics throughout the software development lifecycle. Based on the successes that have been achieved using these techniques in safety- and mission-critical applications, this tutorial will provide an introduction to how software lifecycle metrics can be brought to bear to yield significant improvements in software quality and security, while enhancing overall productivity.

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

Development teams fight the project triangle. Software can be high quality, on time or on budget pick any two. With continued pressure to improve time to market and reduce costs, quality has frequently taken a back seat. And now, the triangle is more challenging with the increased need for security. Customers are demanding that software be assessed on quality, security, timelines and budgets. What can be done?

We will look at ways to bring relief to the industries with the greatest quality and security challenges aerospace, automotive, medical, military and security. Using industry standards DO-178B, IEC 61508, IEC 62304 & ISO 26262 as a reference, we look at how best practices within these standards help meet software quality and security objectives.

Then to relieve the project triangle pressure, we'll discuss how tools automate best practices from requirements engineering, requirement traceability through code design, static code analysis, code verification, unit/integration testing and certification or standard compliance. With a streamlined software development process, developers can deliver software quality and security while meeting project time and budget constraints.

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

This webinar covers developing automotive software in full compliance with the upcoming ISO/DIS 26262 standard demands a mature development environment focused on the requirements of the 26262 standard. This webinar features industry experts who will highlight the proven and most successful processes, procedures and tools used in the production of certification-ready software. ISO/DIS 26262 is the latest adaptation of the IEC 61508 generic standard. Previous examples of such adaptations include the CENELEC prEN 50128 standard in the rail industry and the IEC 61511 standard in the process industry.

ISO 26262 also has much in common with the DO-178B standard seen in aerospace applications, particularly with respect to the requirement for MC/DC (Modified Condition/Decision Coverage) and the structural coverage analysis process.

LDRA, a pioneer and global leader in automated, requirements-based software verification, source code analysis, run time error prevention and test tools covering the full development lifecycle will share their experiences not only in the automotive sector but also in achieving successful compliance with these other long established industry standards.

Using practical examples, we remove the mystery and confusion surrounding development, verification, configuration management and quality assurance. We pay special attention to traceability, independence criteria, testing and structural coverage analysis. Finally, we discuss how the impact on productivity can be minimised following the adoption of software development standards.

An overview of the techniques will be provided with some specific examples of techniques to improve software reliability.

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

This webinar covers technical tips and techniques for developing safety-critical avionics software in compliance with DO-178B (up to, and including, Level A design assurance), this webinar features industry experts who will highlight the processes, procedures and tools used to achieve avionics certification on the latest civil airliners. DDC-I, a supplier of software and professional services for mission- and safety-critical applications for over 30 years, and LDRA, a pioneer and global leader in automated software verification, source code analysis, and test tools covering the full development lifecycle will share their joint experiences in achieving successful avionics certification. Using practical examples, we remove the mystery and confusion surrounding development, verification, configuration management and quality assurance. We pay special attention to traceability, independence criteria, testing and structural coverage analysis. Finally, we discuss how DO-178C is expected to build on the excellent foundation of DO-178B to assist in the next generation of certification.

An overview of the techniques will be provided with some specific examples of techniques to improve software reliability.

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

This webinar will discuss certified software validation processes in the context of mission critical applications. As software failures account for a high percentage of mission critical failures, use of the techniques afforded by certified software validation and how proven methodologies can offer a very high return on investment. These processes, including automated code review, code coverage, unit testing and requirement traceability, have been empirically shown to offer very high levels of reliability in military and commercial avionics. The use of this process improvement as well as to meet the changing regulatory environment of mission critical systems will be examined.

An overview of the techniques will be provided with some specific examples of techniques to improve software reliability.

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.

A new era of embedded process management for safety and security critical software development is about to happen. This new era encompasses formal methods, model based design and object oriented technology, including real time Java, as well as traditional C based development. In order to produce certification ready software in this era, especially in the domain of flight software, Best Practices for development, verification and validation must be understood and achieved. Similar demands have also emerged in critical systems produced for the medical, nuclear, automotive and transportation industries.

This webinar covers practical how-to strategies for managing software development for rigorous safety-critical standards, such as DO-178B and C, MISRA, FDA Type II/III, IEC 61508, CERT C and Homeland Securitys CWE up to the highest compliance levels. Industry experts from LDRA and Visure will introduce the embedded application lifecycle management (ALM) concept, which automates the integration of lifecycle traceability assets and enables compliance with technical and project objectives fundamental to a safety-critical embedded system.

The webinar will demonstrate an end-to-end lifecycle solution defined by an integral workflow model, which streamlines development and automates traceability from requirements through design, code, analysis, test and verification. This technology will allow projects to identify defects earlier and minimize the risk of budget and schedule overruns and develop certification ready products.

Additional information

• Upgrade to DO-178B certification -- DO-178C - to address modern avionics software trends Avionics Intelligence
• DO-178C will arrive, then drive safety-critical software VME and Critical Systems

For more information

For more information concerning this webinar please complete the LDRA Information Request Form or email info@ldra.com.