An Improved Deadline-Based Message Scheduling Algorithm for Real-Time Control Network

2006 ◽  
pp. 1073-1078
Author(s):  
Qingyu Yang ◽  
Lincang Ju ◽  
Sibo Ge ◽  
Ren Shi
Keyword(s):  
Real Time ◽  
Scheduling Algorithm ◽  
Control Network ◽  
Real Time Control ◽  
Time Control ◽  
Message Scheduling

scholarly journals Interactive Consistency on a Time-Triggered Real-Time Control Network

2006 ◽  
Vol 2 (4) ◽  
pp. 242-254 ◽  
Author(s):  
Colin Ryan ◽  
Donal Heffernan ◽  
Gabriel Leen
Keyword(s):  
Real Time ◽  
Control Network ◽  
Real Time Control ◽  
Time Control

Novel Protocol Model Design of Wireless Sensor Real-Time Control Network

2011 ◽  
Vol 460-461 ◽  
pp. 741-746 ◽  
Author(s):  
Ming Ye
Keyword(s):  
Real Time ◽  
Communication Strategy ◽  
Wireless Sensor ◽  
Control Network ◽  
Main Function ◽  
Real Time Control ◽  
Control Logic ◽  
Real Time System ◽  
Time Control ◽  
Protocol Logic

Wireless sensor real-time control network is important construction part. With same Real-time system, this network need Real-time and reliability. Modern network mainly is Ethernet. This network speed is fast than the older, the simple protocol, the lower cost and integrate TCP/IP technique in the IT world. But because its self mechanism decide that it is a no-realtime network. This paper propose a novel wireless sensor real-time control network protocol model based on Ethernet hardware, including protocol logic, communication strategy logic, server logic, communication control logic and CMIB. At the same time, this paper introduce work flows and main function of main constructing part of this real-time protocol model.

scholarly journals Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

1999 ◽  
Vol 6 (53) ◽  
Author(s):  
Torsten K. Iversen ◽  
Kåre J. Kristoffersen ◽  
Kim G. Larsen ◽  
Morten Laursen ◽  
Rune G. Madsen ◽  
...  
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
Scheduling Algorithm ◽  
Automatic Verification ◽  
Real Time Control ◽  
Time System ◽  
Real Time System ◽  
Control Programs ◽  
Time Control ◽  
Verification Tool

In this paper, we present a method for automatic verification<br />of real-time control programs running on LEGO <br />RCX bricks using the verification tool UPPAAL. The control<br />programs, consisting of a number of tasks running concurrently,<br />are automatically translated into the timed automata<br />model of UPPAAL. The fixed scheduling algorithm<br />used by the LEGO RCX processor is modeled in UPPAAL,<br />and supply of similar (sufficient) timed automata<br />models for the environment allows analysis of the overall<br />real-time system using the tools of UPPAAL. To illustrate<br />our techniques we have constructed, modeled and verified<br />a machine for sorting LEGO bricks by color.

Sign in / Sign up

Export Citation Format

Share Document