The rigorous specification and verification of the safety aspects of a real-time system

1990 ◽  
Author(s):  
D.P. Mannering ◽  
B. Cohen
Keyword(s):  
Real Time ◽  
Time System ◽  
Real Time System ◽  
Safety Aspects ◽  
Specification And Verification

Real-Time System for Sending Data from Three Clients to One Server with MATLAB

2015 ◽  
Vol 2 (1) ◽  
pp. 35-41
Author(s):  
Rivan Risdaryanto ◽  
Houtman P. Siregar ◽  
Dedy Loebis
Keyword(s):  
Information System ◽  
Real Time ◽  
Time System ◽  
Real Time System ◽  
The Real ◽  
Performance Time ◽  
Data Process ◽  
Effectiveness And Efficiency

The real-time system is now used on many fields, such as telecommunication, military, information system, evenmedical to get information quickly, on time and accurate. Needless to say, a real-time system will always considerthe performance time. In our application, we define the time target/deadline, so that the system should execute thewhole tasks under predefined deadline. However, if the system failed to finish the tasks, it will lead to fatal failure.In other words, if the system cannot be executed on time, it will affect the subsequent tasks. In this paper, wepropose a real-time system for sending data to find effectiveness and efficiency. Sending data process will beconstructed in MATLAB and sending data process has a time target as when data will send.

The Goal-Setting Model in a Multiagent Hard Real-Time System

Vestnik MEI ◽  
2018 ◽  
Vol 5 (5) ◽  
pp. 73-78
Author(s):  
Igor В. Fominykh ◽  
◽  
Sergey V. Romanchuk ◽  
Nikolay Р. Alekseev ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Goal Setting ◽  
Time System ◽  
Real Time System ◽  
Hard Real Time

Design of Preliminary Experiments with the Sun Java Real-Time System

2006 ◽  
Author(s):  
T. S. Cook ◽  
D. Drusinsky ◽  
J. B. Michael ◽  
T. W. Otani ◽  
M. Shing
Keyword(s):  
Real Time ◽  
The Sun ◽  
Time System ◽  
Real Time System

Antarctic Peninsula sea levels: a real-time system for monitoring Drake Passage transport

2006 ◽  
Vol 18 (3) ◽  
pp. 429-436 ◽  
Author(s):  
P.L. Woodworth ◽  
C.W. Hughes ◽  
D.L. Blackman ◽  
V.N. Stepanov ◽  
S.J. Holgate ◽  
...  
Keyword(s):  
Southern Ocean ◽  
Real Time ◽  
Antarctic Peninsula ◽  
Tide Gauge ◽  
Drake Passage ◽  
Southern Annular Mode ◽  
Time System ◽  
International Polar Year ◽  
Real Time System ◽  
Sea Levels

Sub-surface pressure (SSP) data from tide gauges at three bases on the Pacific coast of the Antarctic Peninsula, together with SSP information from a bottom pressure recorder deployed on the south side of the Drake Passage, have been used to study the relationships between SSP, Drake Passage transport, and the strength of Southern Ocean zonal winds as represented by the Southern Annular Mode. High correlations were obtained between all parameters, confirming results obtained previously with independent data sets, and demonstrating the value of information from the permanent Rothera base, the southern-most site considered. These are important findings with regard to the design, installation and maintenance of observation networks in Antarctica. In particular, they provide the necessary justification for Antarctic Peninsula tide gauge infrastructure investment in the lead up to International Polar Year. Data delivery from Rothera and Vernadsky is currently being improved and should soon enable the first near real-time system for monitoring Drake Passage transport variability on intraseasonal timescales, an essential component of a Southern Ocean Observing System.

Sign in / Sign up

Export Citation Format

Share Document