Model Check of Real-time Property of Embedded Assembly Program Using CEGAR

2018 ◽  
Author(s):  
Hiromu Kamide ◽  
Kosuke Uemura ◽  
Satoshi Yamane
Keyword(s):  
Real Time ◽  
Model Check ◽  
Time Property

A Real-Time Property Value Index Based on Web Data

2014 ◽  
pp. 273-297 ◽  
Author(s):  
M.J. Bárcena ◽  
P. Menéndez ◽  
M.B. Palacios ◽  
F. Tusell
Keyword(s):  
Real Time ◽  
Property Value ◽  
Web Data ◽  
Time Property

Design the Information System of the Locating and Tracking Harbor Tug Based on the Web

2012 ◽  
Vol 468-471 ◽  
pp. 816-820
Author(s):  
Ting Ting Cui ◽  
Han Bin Xiao ◽  
Jin Shan Dai
Keyword(s):  
Information System ◽  
Radio Frequency ◽  
Real Time ◽  
Time And Space ◽  
Operating Condition ◽  
The Real ◽  
Time Property ◽  
The Web

In order to manage the tug better, efficiently and securely dispatch tug operation, and meet the real-time property, accuracy requirements, the GPS chip of embedding RFID for locating and tracking would be used. Through the wireless Radio Frequency technology and Ethernet, it can complete conveying information between tug and harbor dispatching room, then structure the tug locating and tracking information system. It can real-timely acquire and monitor the tug parameter of position, desired track, operating condition and so on. According to that, it makes real-time dispatching. Efficiently achieve the management in harbor pass, operation and assignments all the time and space.

Research and Application of UPS-CAN Protocol in Parallel System

2014 ◽  
Vol 721 ◽  
pp. 603-606
Author(s):  
Hai Yan Zhang ◽  
Kai Di Zhu ◽  
Jian Zhong Wan
Keyword(s):  
Network Management ◽  
Real Time ◽  
Can Bus ◽  
High Reliability ◽  
Parallel System ◽  
Important Application ◽  
Application Area ◽  
Application Layer ◽  
Network Management System ◽  
Time Property

As an important application area of field-bus system, UPS require high reliability and real-time property. Standard CAN protocol in application layer have not been proposed in home and abroad. Based on CAN-bus 2.0 A/B, this paper designed UPS-CAN protocol which conform to general UPS parallel system and proposed a novel network management system (MSN) during development of module UPS parallel system. Experimental results proved the reliability and real-time property of UPS-CAN which meets the requirement of UPS parallel communication system.

Sign in / Sign up

Export Citation Format

Share Document