An architecture description language used in the formal specification of software and system architecture to describe and model the software and possibly the hardware components of a system and their interfaces.
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a standard for software development. The standard was developed by RTCA and EUROCAE. The FAA accepts use of DO-178B as a means of certifying software in avionics
The Unified Modeling Language™ - UML - is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. OMG is currently upgrading all of UML to Version 2.0