Cette section présente de manière synthétique les principales caractéristiques du système DOSMOS [BL94, BL96].