Tài liệu Thời gian thực - hệ thống P2 doc
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...
Ngày tải lên: 26/01/2014, 16:20
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...
Ngày tải lên: 26/01/2014, 16:20
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...
Ngày tải lên: 26/01/2014, 16:20
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...
Ngày tải lên: 26/01/2014, 16:20
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...
Ngày tải lên: 26/01/2014, 16:20
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...
Ngày tải lên: 17/10/2013, 23:15
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...
Ngày tải lên: 20/10/2013, 18:15
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...
Ngày tải lên: 20/10/2013, 18:15
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,...
Ngày tải lên: 24/10/2013, 17:15
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...
Ngày tải lên: 24/10/2013, 17:15