Store Home New Documents AeroMACS Aeronautical Data Aeronautical Telecommunication Network Air Traffic Services Airborne Ground Proximity Warning Equipment Airborne Selective Calling Equipment Airport Applicable Documents Altimeters/Altimetry Area Navigation Equipment (Airborne) Attitude & Heading System Audio Systems Automatic Dependent Surveillance - Broadcast Automatic Direction Finding Equipment (Airborne) Automatic Flight Guidance, Control Systems and Equipment (AFGCS) Avionics Computer Resources Batteries Certification Cockpit Display Collision Avoidance Communications Data Link Display of Traffic Information Distance Measuring Equipment Doppler Radar (Airborne) Electronic Hardware Emergency Locator Transmitters (ELTs) Enhanced Vision Systems Environmental Test Flight Data Collection Flight Information Services Free Flight Global Positioning System (GPS) Guidance/Reports History Human Factors Instrument Landing System (ILS) Interference LORAN Marker Beacon Microwave Landing System (MLS) National Airspace System NextGen Night Vision Equipment Night Vision Imaging System Performance Based Navigation (PBN) Portable Electronic Devices Radar Required Navigation Performance (RNP) Satellite Services Secondary Barriers Security Software TCAS Terrain Awareness and Warning System (TAWS) Test Procedures/Calibration Transponders - Mode S Unmanned Aircraft Systems (UAS) Vertical Guidance Equipment VOR Weather Detection
DO-333 - Electronic

Product Image

Your Price:
$258.00
  • DO-333 - Formal Methods Supplement to DO-178C and DO-278A
  • This supplement identifies the additions, modifications and substitutions to DO-178C and DO-278A objectives when formal methods are used as part of a software life cycle, and the additional guidance required. It discusses those aspects of airworthiness certification that pertain to the production of software,using formal methods for systems approved using DO-178C. Formal methods are mathematically-based techniques for the specification, development and verification of software aspects of digital systems. The mathematical basis of formal methods consists of formal logic, discrete mathematics and computer-readable languages. The use of formal methods is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analyses can contribute to establishing the correctness and robustness of a design.
  • DO-333-PDF
  • Electronic
  • SC-205
  • 12/13/2011