Eine Statecharts-Spezifikation des SAFER-Systems soll erstellt werden.
Da PEST nicht von Anfang an zur Verfügung steht, sollen die Charts zunächst mit Statemate erstellt werden (Stufe 1). Ist die Schnittstelle zwischen PEST und STATEMATE fertig, werden die Charts in das PEST-Format konvertiert (Stufe 2).