Wigner transform and pseudodifferential operators on symmetric spaces of non-compact type

We obtain a general expression for a Wigner transform (Wigner function) on symmetric spaces of non-compact type and study the Weyl calculus of pseudodifferential operators on them.