Back to results
University of Illinois at Urbana-Champaign
An Actor-Based Framework for Real-Time Coordination
Abstract
dc:descriptionThis research uses both theoretical and experimental methods. Specifically, an operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined. RTsynchronizers are implemented as C++ objects which are used by system schedulers in deciding the appropriate messages to be invoked at message destination computational objects. The implementation demonstrates the feasibility of making the existence of RTsynchronizers transparent to computational objects. Furthermore, an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2015
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Ren, Shangping
- Contributors dc:contributor
-
- Agha, Gul A.
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI9812749
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81905