El lenguaje de operaciones seguras ( SOL ) fue desarrollado conjuntamente por el Laboratorio de Investigación Naval de los Estados Unidos y la Universidad Estatal de Utah en los Estados Unidos. SOL es un lenguaje de programación síncrona específico de dominio para desarrollar aplicaciones distribuidas y se basa en principios de ingeniería de software desarrollados en el proyecto de reducción de costos de software en el Laboratorio de Investigación Naval a fines de la década de 1970 y principios de la de 1980. SOL está destinado a ser un lenguaje específico de dominio para desarrollar sistemas basados en servicios. Al mismo tiempo, se está desarrollando una extensión específica de dominio de Java (SOLj) (FTDCS 2007). Los dominios de aplicación incluyen redes de sensores, sistemas espaciales y de defensa, prestación de atención médica, control de energía, etc.
Los investigadores del proyecto son el Dr. Ramesh Bharadwaj del Laboratorio de Investigación Naval y el Dr. Supratik Mukhopadhyay de la Universidad Estatal de Utah.