Coordination in Open Distributed Real-time and Embedded Systems

 

Abstract

The proliferation of embedded devices and significant advances of wireless network technologies have led to the emergence of Open Distributed Real-time and Embedded (ODRE) systems and applications which further expends of our society's digital backbone. These applications involve an increasingly large number of small dynamic concurrent computational objects that must together satisfy multiple types of Quality-of-Service (QoS) requirements. As such, the need for a new paradigm to reduce the complexity and ease the development of these systems is growing. Viewing ODRE systems as compositions of coordination and concurrent computation decouples the two concerns and allows higher levels of abstractions. However, these advantages can only be fully realized if the following fundamental requirements are met. First, it is essential to have a coordination model that focuses on coordination under QoS constraints, and is decentralized, exogenous, scalable and stable. Second, in order to reason about QoS constraints, a formal model that can uniformly represent these different types of constraints must be provided. Third, programming language constructs that support coordination abstractions must be available to facilitate the development of ODRE applications. Such abstractions and tools will make it feasible for non-specialists to develop robust ODRE applications. This talk is to brief the status of the research mentioned above. It covers the following topics: * The problem domain * A behavior-based coordination model, the ARC model * Language abstractions for the ARC model and its formalism * A concrete application of the ARC model * Coordination constraints in ODRE systems and its analysis

Short Bio

Dr. Shangping Ren is an assistant professor at the CS department. She graduated from UIUC with a Ph.D degree in Computer Science in 1997. Before joining IIT in 2003, she worked as a software engineer and a lead software engineer in different industrial companies for six years. Her main research interests are in the areas of real-time computing, distributed computing, programming languages and software engineering. She won NSF CAREER award in 2008, IIT Sigma Xi junior faculty research award in 2008, and AFRL Summer Faculty Fellowship award in 2006. She is an organizer for the IEEE First International Workshop on Cyber Physical Systems. Her research has been funded funded by IIT, Fermilab, and NSF.

 

BACK