Formálny opis operačných systémov určených pre vnorené systémy

• Zjednodušenie migrácie OS na nové procesory.
• automatické generovanie kódu rutín platformovo-závislých vrstiev OS.
• Formálny zápis opisu riadiacich modulov zariadení vnoreného systému