Modelling and formal specification of the real-time manufacturing automation protocol

2002 ◽  
Author(s):  
V.G. Garcia ◽  
E. Vazquez ◽  
J. Vinyes
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
The Real ◽  
Manufacturing Automation ◽  
Manufacturing Automation Protocol

Extending Object-Z Formal Specification with Real-Time

2012 ◽  
Vol 263-266 ◽  
pp. 1642-1646
Author(s):  
Zhi Cheng Wen ◽  
Zhi Gang Chen
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
System Delay ◽  
Time System ◽  
Critical System ◽  
Real Time System ◽  
The Real ◽  
Functional Specification ◽  
Time Critical ◽  
Filter Specification

This paper extends Object-Z with Real-Time and describes the characters of real-time system: delay, timeout and multithread. Real-Time Object-Z consists two parts: functional specification and filter specification. The both for any time critical system can be developed with two parts. Functional specification developed with Object-Z formerly can be reused. The main benefit is that it is convenient to deal with the timing variables defined in the specification developed with our approach. Using our approach, we can develop real-time specification and reason about the real-time properties conveniently.

The Real-Time Neural Genesis of a Punchline

2014 ◽  
Author(s):  
Irving Biederman ◽  
Ori Amir
Keyword(s):  
Real Time ◽  
The Real

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 real-time computing of the Stirling formula based on hardware acceleration

2013 ◽  
Author(s):  
Jiyang Yu ◽  
Dan Huang ◽  
Siyang Zhao ◽  
Nan Pei ◽  
Huixia Cheng ◽  
...  
Keyword(s):  
Real Time ◽  
Hardware Acceleration ◽  
Stirling Formula ◽  
The Real ◽  
Real Time Computing

Using graphs to construct a math model of a microcontroller-based system for preset rate control of a flywheel motor to be used in high-dynamics spacecraft

2020 ◽  
pp. 126-134
Author(s):  
Vladimir V. NEKRASOV
Keyword(s):  
Real Time ◽  
Rotation Rate ◽  
Control Function ◽  
Real Time Control ◽  
Math Model ◽  
The Real ◽  
Time Control ◽  
Power Matrix ◽  
High Dynamics ◽  
Stated Problem

Developing a microcontroller-based system for controlling the flywheel motor of high-dynamics spacecraft using Russian-made parts and components made it possible to make statement of the problem of searching control function for a preset rotation rate of the flywheel rotor. This paper discusses one of the possible options for mathematical study of the stated problem, namely, application of structural analysis based on graph theory. Within the framework of the stated problem a graph was constructed for generating the new required rate, while in order to consider the stochastic case option the incidence and adjacency matrices were constructed. The stated problem was solved using a power matrix which transforms a set of contiguous matrices of the graph of admissible solution edge sequences, the real-time control function was found. Based on the results of this work, operational trials were run for the developed control function of the flywheel motor rotor rotation rate, a math model was constructed for the real-time control function, and conclusions were drawn about the feasibility of implementing the results of this study. Key words: Control function, graph, incidence matrix, adjacency matrix, power matrix, microcontroller control of the flywheel motor, highly dynamic spacecraft.

Sign in / Sign up

Export Citation Format

Share Document