Secure Operations Language

Limba sigură a operațiunilor (SOL) a fost dezvoltată în comun de laboratorul de cercetare navală a Statelor Unite și Universitatea de Stat din Utah din Statele Unite.

SOL este un limbaj de programare sincronă specifică domeniului pentru dezvoltarea aplicațiilor distribuite și se bazează pe principii de inginerie software dezvoltată în proiectul de reducere a costurilor software la Laboratorul de Cercetare Navală la sfârșitul anilor ‘70 și începutul anilor ‘80.

Sol este destinat să fie un limbaj specific domeniului pentru dezvoltarea sistemelor bazate pe servicii.

Concomitent, domeniile de aplicare specifice domeniului (SOLJ) specifice domeniului (SOLJ) (FTDCS 2007) includ rețele de senzori, apărare și sisteme spațiale, livrare de asistență medicală, control de putere, etc.

Investigatorii proiectului sunt Dr. Ramesh Bharadwaj de la Laboratorul de cercetare navală și Dr. Supratik Mukhopadhyay de la Universitatea de Stat din Utah.