Lustre wird, wie reaktive Systeme im Allgemeinen, unter anderem in sicherheitskritischen Systemen wie
beispielsweise der Flugzeug- und Kraftwerksteuerung verwendet. So wurde beispielsweise die Flugsteuerung im
Airbus A320, die Notabschaltung von Kernkraftwerken und die Steuerung von fahrerlosen U-Bahnen in Lustre
umgesetzt. Lustre wird überwiegend für die Programmierung und Steuerung dieser Art von Systemen
verwendet.
Ausführliche Informationen über die Programmiersprache Lustre befinden sich im Anhang. |