PLEXIL
PLEXIL Executiveは、PLEXILを実装し、（提供されたソフトウェアフレームワークを使用して）制御および/または照会する外部システムとのインタフェースが可能な実行エンジンである。PLEXILは、NASAの将来のミッションのための自動化技術を実証するために使用されている。 PLEXILの応用例には、ハードウェアのプロトタイプ(惑星ローバとドリル、 生息地の実証ユニット、 ISSのための手順自動化）の制御を含んでいる。