AdaCore Develops New Capabilities for Open System Standards