Title :
The ACTS software and its supervisory control framework
Author :
Iordache, Marian V. ; Antsaklis, P.J.
Author_Institution :
Sch. of Eng. & Eng. Technol., LeTourneau Univ., Longview, TX, USA
Abstract :
In recent work we have developed software implementing a supervisory control approach to concurrent programming. Starting with a specification describing the concurrency constraints, the software generates automatically the concurrency control code implementing the specification. The paper describes the approach with an emphasis on the supervisory control aspects. Included are also results pertaining to limitations and future extensions of the supervisory control approach.
Keywords :
concurrency control; formal specification; software engineering; ACTS software; concurrency constraints; concurrency control code; concurrent programming; supervisory control framework; Concurrent computing; Context; Programming; Software; Supervisory control; System recovery; TV;
Conference_Titel :
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location :
Maui, HI
Print_ISBN :
978-1-4673-2065-8
Electronic_ISBN :
0743-1546
DOI :
10.1109/CDC.2012.6426105
