Title: Vastor controller and its programming environment