Aerospace embedded software dependability guarantee technology and application