Lenguaje de operaciones seguras

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 . SOL es un lenguaje de programación síncrono específico de dominio para el desarrollo de aplicaciones distribuidas y se basa en los principios de ingeniería de software desarrollados en el proyecto de Reducción de Costos de Software del Laboratorio de Investigación Naval a finales de la década de 1970 y principios de la de 1980. SOL está concebido como un lenguaje específico de dominio para el desarrollo de sistemas basados ​​en servicios. Simultáneamente, 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 de defensa y espaciales, prestación de servicios de salud, 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.

• Bharadwaj, Ramesh (2002). "SOL: Un lenguaje síncrono verificable para sistemas reactivos" . Electronic Notes in Theoretical Computer Science . 65 (5): 140. doi : 10.1016/S1571-0661(05)82565-4 .