DocumentCode
3164844
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
fYear
2012
fDate
10-13 Dec. 2012
Firstpage
7238
Lastpage
7243
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location
Maui, HI
ISSN
0743-1546
Print_ISBN
978-1-4673-2065-8
Electronic_ISBN
0743-1546
Type
conf
DOI
10.1109/CDC.2012.6426105
Filename
6426105
Link To Document