Real-Time Sensor-Actuator Networks

Emerging technologies offer new paradigms for computation, control, collaboration, and communication. To realize the full potential of these technologies in industry, defense, and homeland security applications, it is necessary to exploit the real-time distributed computing capabilities of sensor-actuator networks. To reliably design and develop such networks, it is necessary to develop deeper insight into the underlying model for real-time computation and the infrastructure at the node level that supports this model. In this paper, we discuss a new node-level operating system and mechanisms necessary to deploy reliable applications. The overriding issue that guides the design of this operating system is quality of service metric called predictability. A sensor-actuator network is a distributed platform for integrated computation and control in real-time environments. The nodes in such a network are distinguished by being resource constrained. The power of the network arises from the interactions between simple nodes. Such a network extends the popular distributed sensor networks in several dimensions. After identifying a real-time model, we develop a notion of predictability for a sensor-actuator network. We discuss how the node-level operating system is designed in the resource-constrained environment. An efficient multithreading mechanism and scheduling strategy are required to ensure that local tasks are executed within jitter bounds and that end-to-end delays do not violate application constraints. Mechanisms to support communication, monitoring, safety, fault tolerance, programming, diagnosability, reconfiguration, composability, interoperability, and security are discussed.

[1]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[2]  Krithi Ramamritham,et al.  What is predictability for real-time systems? , 1990, Real-Time Systems.

[3]  S. Sitharama Iyengar,et al.  Foundations of data fusion for automation , 2003 .

[4]  John A. Stankovic,et al.  A survey of configurable, component-based operating systems for embedded applications , 2001 .

[5]  S. Kraft,et al.  Experimental microprocessor-based adaptive control system , 1986 .

[6]  Bruce Jacob,et al.  The Performance and Energy Consumption of Embedded Real-Time Operating Systems , 2003, IEEE Trans. Computers.

[7]  Gérard Le Lann Notes on Future Operating Systems for Real-Time Dependable Distributed Computing , 1991, Operating Systems of the 90s and Beyond.

[8]  Shivakumar Sastry,et al.  A taxonomy of distributed real-time control systems , 1999, Adv. Comput..

[9]  John A. Stankovic Real-time and embedded systems , 1996, CSUR.

[10]  Binoy Ravindran,et al.  Fast, best-effort real-time scheduling algorithms , 2004, IEEE Transactions on Computers.

[11]  Lui Sha,et al.  Mode change protocols for priority-driven preemptive scheduling , 1989, Real-Time Systems.

[12]  Mathai Joseph,et al.  Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[13]  Hans Berger Simatic S7-300/400 Programmable Controllers , 2000 .

[14]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[15]  Kay Römer,et al.  Wireless sensor networks: a new regime for time synchronization , 2003, CCRV.

[16]  Hans Berger Automating with STEP 7 in STL and SCL: Programmable Controllers SIMATIC S7-300/400 , 2000 .

[17]  Hermann Kopetz,et al.  Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[18]  John A. Stankovic,et al.  Predictable Threads for Dynamic, Hard Real-Time Environments , 1999, IEEE Trans. Parallel Distributed Syst..

[19]  John A. Stankovic Strategic directions in real-time and embedded systems , 1996, CSUR.

[20]  Gaurav S. Sukhatme,et al.  Connecting the Physical World with Pervasive Networks , 2002, IEEE Pervasive Comput..

[21]  Frank Piessens,et al.  A survey of customizability in operating systems research , 2002, CSUR.

[22]  Deborah Estrin,et al.  Time synchronization for wireless sensor networks , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[23]  Jonathan Hill,et al.  A software architecture supporting networked sensors , 2000 .

[24]  M. D. Mesarović,et al.  Mathematical theory of general systems , 1971 .