Tài liệu Thời gian thực - hệ thống P4 pptx
Tài liệu Thời gian thực - hệ thống P4 pptx
... FINITE-STATE SYSTEMS
*/
if (f[fi-1].opcode != atomic)
{
do {
j=j+1;
i=i+1;
nf[fi-1][j-1].op[0] = f[i-1].op[0];
nf[fi-1][j-1].op[1] = f[i-1].op[1];
nf[fi-1][j-1].opcode = f[i-1].opcode;
nf[fi-1][j-1].p ... i <= maxflength; i++)
{
nf[fi-1][i-1].op[0] = ’ ’;
nf[fi-1][i-1].op[1] = ’ ’;
nf[fi-1][i-1].p = 0;
nf[fi-1][i-1].opcode = atomic;
}
sf[fi-1].arg1 = 0;
sf[fi-1].arg2 = 0;
}
/*
#
# In one...
Tài liệu Thời gian thực - hệ thống P3 pptx
... schedule.
Another optimal, run-time scheduler is the least-laxity-first (LL or LLF) algorithm
(also known as the minimum-laxity-first (MLF) algorithm or least-slack-time-first
52 REAL-TIME SCHEDULING AND ... at run-time as an on-line test.
41
Real-Time Systems: Scheduling, Analysis, and Verification. Albert M. K. Cheng
Copyright
¶ 2002 John Wiley & Sons, Inc.
ISBN: 0-4 7 1-1 840 6-3
6...
Tài liệu Thời gian thực - hệ thống P5 pptx
... brake-system
command
accelerator
wheel-sensor-rr
wheel-sensor-rl
ENGINE-SYSTEM
signal-processor
anti-lock-brake-unit
normal-brake-unit
BRAKE-SYSTEM
signal
brake
wheel-sensor-fr
wheel-sensor-fl
signal
command
signal
CAR
signal
command
hand brake
Figure 5.5
Module-chart ... module-chart of a simplified car. CAR is the main compo-
nent, which is decomposed into several submodules, two of which ar...
Tài liệu Thời gian thực - hệ thống P1 doc
... use, such as real-time-event simula-
tion and discrete-event simulation. A real-time-event simulator like a physical scale
model of an automobile performs its actions in real-time and the observable ... RUN-TIME MONITORING
Despite the use of the best state-of-the-art techniques for static or pre-run-time anal-
ysis and verification of a real-time system, there will often be system behavior tha...
Tài liệu Thời gian thực - hệ thống P2 doc
... every n-place predicate in S.
H-Interpretation: An H-interpretation of a set S of clauses is one that satisfies the
following conditions:
1. Every constant in S maps to itself.
2. Each n-place ... denote a proposition.
10
Real-Time Systems: Scheduling, Analysis, and Verification. Albert M. K. Cheng
Copyright
¶ 2002 John Wiley & Sons, Inc.
ISBN: 0-4 7 1-1 840 6-3
AUTOMATA AND LANGUAG...
Thời gian thực - hệ thống P6
... sites.
162
REAL-TIME LOGIC, GRAPH-THEORETIC ANALYSIS, AND MODECHART
The X-38 131 model vehicle was successfully drop-tested from a B-52 in March
1998 to demonstrate body design and parafoil landing. The X-38 ... every
20-ms “minor” frame. The ICP and FCP processors are thus synchronized to the
same 20-ms processing frame. Another example of similar real-time fault-tolerant
avionics is the qua...
Thời gian thực - hệ thống P7
... extended states, corre-
sponding region automata are introduced.
The verification algorithm can verify the correctness of finite-state real-time sys-
tems. TBAs model finite-state real-time systems. The ... verify the correctness of finite-
state real-time systems. TBAs model finite-state real-time systems. The objective is
to check that the implementation of a real-time system meets the specificat...
Thời gian thực - hệ thống P8
... analysis. More recently, [Balaji et al., 1992] em-
SUMMARY
233
ployed a Petri-net-based model for evaluating the performance of real-time schedul-
ing algorithms. [Tsai, Yang, and Chang, 1995] ... tokens in place i.
212
Real-Time Systems: Scheduling, Analysis, and Verification. Albert M. K. Cheng
Copyright
¶
2002 John Wiley & Sons, Inc.
ISBN: 0-4 7 1-1 840 6-3
TIME ER NETS
221
Firi...
Thời gian thực - hệ thống P9
... inputting pro-
cess descriptions, binding them to identifiers, and operating on them. The graphics-
oriented version of VERSA provides an X/Motif user interface, known as X-VERSA,
with a point-and-click ... to yield ACSR [Bremond-Gregoire,
1994; Lee, Bremond-Gregoire, and Gerber, 1994]. To improve the user interface,
[Ben-Abdallah, Lee, and Choi, 1995; Ben-Abdallah, 1996; Ben-Abdallah and Lee,...
Thời gian thực - hệ thống P10
... customizing
259
Real-Time Systems: Scheduling, Analysis, and Verification. Albert M. K. Cheng
Copyright
¶
2002 John Wiley & Sons, Inc.
ISBN: 0-4 7 1-1 840 6-3
292
DESIGN AND ANALYSIS OF PROPOSITIONAL-LOGIC RULE-BASED ... complex
safety-critical real-time systems. This chapter gives an introduction to real-time ex-
pert systems by describing a class of these systems in which decisio...