DO-178B is the current standard in aviation industry for safety critical systems - also known as: "Software Considerations in Airborne Systems and Equipment Certification".
Find attached the White Paper including links to the UML Profile and a DO-178B glossary.