Def Stan 00-055 specifies the requirements for achieving, assuring and managing the Design Integrity of Programmable Elements (PE) in compliant systems. Read how the LDRA tool suite supports the validation and verification of software to demonstrate compliance with the standard.