A computer language that was chosen by the United States Department of Defense to support the development of embedded systems, and uses the language Pascal as a base to meet the reliability and efficiency requirements imposed by these systems.