Log In to Register
When and Where
  • 4/8/2021 11:00 AM EDT
  • 4/8/2021 5:00 PM EDT
  • Virtual
This course provides an introduction to RTCA DO-333 which, as a supplement to RTCA DO-178C, provides guidance on how formal (mathematical) methods may be used for the purpose of producing verification evidence suitable for use in certification.  Such methods can be used to find defects and other problems in software life cycle data that might be very difficult to find using conventional methods such as review and test. RTCA DO-333 was developed to resolve uncertainties about using formal methods to partially satisfy verification objectives defined in RTCA DO-178C.
Participants will learn how formal methods can be selectively applied in the software life cycle to produce certification data in compliance with RTCA DO 178C.  Several illustrative examples of using a formal method will be presented with enough detail that participants should be able to later repeat the examples on their own using open source software tools. This course includes a brief introduction to formal methods intended for participants unfamiliar with these methods.  However, the main emphasis of this course is on the task of choosing where and how to apply formal methods in the software development lifecycle following the guidance provided in RTCA DO-333. This course will also help participants with strategies to introduce the prospect of selectively using formal methods within an organization or program, e.g. cost/benefits and return on investment.
While developed in the context of certifying airborne software, most of the guidance provided in RTCA DO-333 is transferrable to other industries such as automotive and medical devices where formal methods are also recognized as means of verifying high assurance software.