Webinars





  • Request Information


  • Request Information


  • Request Information
Webinar 1

Date:
8 February 2012

Time:
10:00 am - GMT
11:00 am - European
3:30 pm - India

Register


Webinar 2

Date:
8 February 2012

Time:
3:00 pm - GMT
4:00 pm - European
10:00 am - EST

Register


Webinar 3

Date:
8 February 2012

Time:
6:00 pm - GMT
1:00 pm - EST
10:00 am - PST

Register


Tracing Requirements through to Object Code Verification

Safety-critical systems where software failure can result in death or injury demand a higher level of testing than any other system. Regulators need to ensure that every line of code executes exactly as expected each and every time on the exact system the software will be deployed.

With such stringency, compiler optimisation-although typically a good and necessary thing to ensure efficient code execution-is not safe. To ensure compiler optimisation does not introduce execution errors, stringent DO-178B/C certification demands verification not only of the source code, but of the object code as well.

After examining the guidelines for object-code verification in DO-178B/C Level A, attendees will learn how software analysis and test tools take teams to certification readiness in the most effective and least resource-intensive way. The webinar will demonstrate how to avoid a variety of failures both due to incorrect object code and object code that does not correctly match high-level requirements.

The webinar will explain the purpose of object-code verification, highlight the problems it can expose, and discuss how the management and traceability of requirements can be extended through to object code verification. Using practical examples, we will show how tools can automate requirements traceability and how adding additional test cases can obtain 100% object-code coverage that maps the test cases to high-level requirements.

Automated object-code verification offers complete structural coverage analysis for both source- and object-code at both unit and system levels. Since each line of high-level source corresponds to many lines of object code, automated verification ensures full analysis with minimal burden on the development and test teams. We will discuss a proven solution that provides coverage metrics using both high- and object-level analysis tools for a typical target system using C/C++ and TMS320C25x Assembler.

 

Who Should Attend?

  • Software engineers and engineering managers interested in learning about developing software in compliance with industry specific standards.
  • Systems engineers interested in learning about the interface between systems & software in a safety-critical environment.
  •  

Previous Webinars



More Info View Webinar *Registration Required
A Practitioner's Guide to Critical Software Certification More...



More Info View Webinar *Registration Required
Optimizing the Development of Certified Medical Devices More...



More Info View Webinar *Registration Required
Achieving Railway Safety using EN 50128 More...



More Info View Webinar *Registration Required
Achieving Road Vehicle Safety Certification using ISO 26262 More...



More Info View Webinar *Registration Required
LDRA tool suite® V9.0 - TBmanager® Preview More...



More Info View Webinar *Registration Required
LDRA tool suite® V9.0 - TBvision® Preview More...



More Info View Webinar *Registration Required
LDRA tool suite® V9.0 Software Preview More...



More Info View Webinar *Registration Required
Minimising the cost of Regulatory Compliance More...



More Info View Webinar *Registration Required
Navigating DO-178B and DO-178C certification in Military Aircraft Systems More...



More Info View Webinar *Registration Required
Software Lifecycle Metrics; the Key to Quality, Security and Productivity? More...



More Info View Webinar *Registration Required
Which two will your team pick: High quality software, on time delivery or within budget? More...



More Info View Webinar *Registration Required
Achieving Industrial Safety using IEC 61508 More...



More Info View Webinar *Registration Required
Achieving Software Compliance for Medical Devices More...



More Info View Webinar *Registration Required
A Practitioner's Guide to Achieving Safe and Secure Software. More...



More Info View Webinar *Registration Required
Reduce Cost of ISO/DIS 26262 and IEC 61508 Compliance while Driving Productivity Gains More...



More Info View Webinar *Registration Required
Airborne! A Practitioner's Guide to DO-178B, Certification and the Emerging DO-178C Standard More...



More Info View Webinar *Registration Required
Certified Software Validation Tools to Increase Software Reliability in Mission Critical Applications More...



More Info View Webinar *Registration Required
Are you ready for DO-178C and Emerging Security-Critical Standards? Webinar More...



More Info View Webinar *Registration Required
Trace your Requirements. Want Zero Defect Software Development? Webinar More...



More Info View Webinar *Registration Required
Modernising Legacy Software? Innovative use of test tools can prevent unexpected bugs webinar More...



More Info View Webinar *Registration Required
Building Secure Software Webinar More...



More Info View Webinar *Registration Required
Tips & Techniques for Developing Code to the Highest Safety-Critical Standards - DO-178B/C ... Remove the Mystery Webinar More...



More Info View Webinar *Registration Required
Making sense of Software of Unknown Pedigree (SOUP) using the LDRA tool suite Webinar More...



More Info View Webinar *Registration Required
Ensuring software safety, reliability and security using automated software testing Webinar More...



More Info View Webinar *Registration Required
Do You Want Defect Software Development? Automate Your Requirements Traceability Webinar More...



More Info View Webinar *Registration Required
Achieve Better Programming Practices: Integrate Static and Dynamic Analysis Webinar More...