Safety Critical Software Verification: Lessons From the DO-178B Approach
More InfoLess Info
Published by Requirements and Technical Concepts for Aviation Inc. (RTCA) , the DO-178B Software Considerations in Airborne Systems and Equipment Certification document offers guidelines that are unique relative to other quality processes, because they state that the verification activities used for a given system should be determined by how safety critical the system is. This paper looks at what is meant by the term "software quality," and then reviews validation and verification activities. Finally, we describe three powerful software verification lessons and a golden rule that you can start implementing today.