実時間設計効率解析

1、11章並行？実時間ybxT設計効率解析Performance Analysis of Concurrent and Real-Time Softweare Designs11.1導入7 7bxT設計數(shù)量的解析quantitive analysis of asoftweare design）:與元乙料尢八一工T構成元、與元負荷宅概念的y7bxT実行効用：効率上潛在的肚問題早期発見、別OV7bxT設計壬別八一工T構成調査。乙章K土効率化 performance modeling ）対実時間 聲二一】丿，理論（real-time scheduling theory）O適用總通CT77bxT設計O効率

2、解析忙対概観總 提供To実時間理論處、厳LS時間制約總持八一F肚実時間:hard real-time system）0乙特。乙適11.2効率壬兒11.2.1概念効率壬兒 performance model）：効率O観點力、実際O計算機亍伍抽象化LtOoXA実 在力、否力M土問Vo形式數(shù)學的肚壬兒 mathematical model ）：XAO數(shù)學的表 現(xiàn)（例：待弐行列壬兒、Petri和卜？壬兒、回帰壬兒）:?t4$imulation model）：X亍AO構造七挙動OTnVXA的表現(xiàn)）。種類靜的壬兒static model）：時間経過總全加味L肚V、厲召 定常狀態(tài)O関（例：回帰壬兒、定常狀態(tài)

3、總扱刁多O待弐行列壬聲兒）動的壬兒 dynamic model）:時間経過總考元召壬兒（例：:?壬兒）回帰壬兒WVT幾。力、O壬兒（回帰壬兒 Regression model ）O 二沁経験的肚壬兒）處、計測LT多O 一夕，集皿乙 既存OXAO分析O向o?標本O対統(tǒng)計的肚曲線o當（例：効率o関一夕o対t最小二乗法等）0基乍回帰壬土既存OXAO 分析o有用。?L力、L、求吃存在LTV肚V、乙料力壬兒化LaLTV対象。土回帰壬丿嘰土向力、肚Vo11.2.2待弐行列壬兒待弐行列壬兒 queueing model）：限。厲召資源O取。合VO様子總解析LTXAO効率總予測解析的肚壬兒K土問題O數(shù)學的表現(xiàn)

4、力解力滬接推論o通常處、解析Lrva仮定，置no仮定O例：記憶肚L” memory-less）屬性=最後O要求 力IO経過時間獨立O新C肚要求力発生To?要求O時間間隔O分布處指數(shù)分布（最高O確率密度總最小O 時間間隔?多o計算環(huán)境o指療召最小o 時間間隔5oTVV ?o）o（定常狀態(tài)O 解析o限簡単化oco仮定，置力、n。）待弐行列壬土、計算機:XAO概観總提供L、少X亍厶力要求總達成宅吉召力、乂刁力、OWTO高有用。？/詳細肚効率O解析O處他Ot兒化技法，必要。11.2.3?t兒:?t兒Simulation model）:実世界O指療XAO構造七挙動TnVXALT抽象化L仕Oo設計聲健全宅

5、時間的要求總達成宅吉召力、乂刁力、總検証 r効果的肚方法。開発中、龍開発前OXA稼動中七同様ot兒內o作。乙吉仮定聲現(xiàn)実的注意。動的肚t兒（時間経過總明示的o取。扱a。）宅厲5。一定期間o渡oTXAO挙動總解析宅吉5。離散 b? y W二 U y h? t 兒（discrete event simulation model）： yX亍AO 全TO狀態(tài)変化總乞nn離散的表現(xiàn)。?b間時間總飛:所要時間總圧縮計算機少入亍H?AComputer systemsimulation model）:実際計算機挙動壬八一工了上設計77bxTO実行總壬兒化。入力=抽象化龍料尢負荷Workload ）、出力=計算

6、機挙動總示歹評価結果。負荷9ST方法：負荷總確率分布 probability distribution、L負荷忙関lt正當化仮定總置）兒化To別方法：負荷總彳卜系列event trace、彳土種類上時刻組宅表m到著時間順忙並化 ro （既存系列處実際忙計 算機總監(jiān)視LT得。存在LTVVXAOVT稼 動実世界總観測LT得o）11.2.4計算機少入亍厶總壬兒化際問題費用対効果數(shù)多要素總考慮忙入必要。例：壬兒開発費用、詳細龍度合V、完成早精度。一般忙壬兒O忠実費用tbU-E ?7o（最右詳細忙高精度一方壬兒化忙掛力、費用，高VO適切肚詳細度總選懇必要o）100解決策：混合壬兒 hybrid mode

7、l）O利用。1 O以上O壬兒化技法總組族合o例：待弐行列?壬兒、回帰兒。厶中宅特忙詳細忙知。尢V部分?壬兒技法乞O他O相対的興味，肚V部分 ？待弐行列壬技法壬回帰b兒技法検定七較正実世界整合性總較正 Calibration ）1検証 Validation ） r必要。既存亍厶O場合、実少X亍厶O効率總計測LT得一夕力利用o通常、較正七検定O過程處壬兒O予測，実世界宅o効率七大吉違var統(tǒng)計的肚反復O過程。一旦較正七検定聲終上r右l吃?！眞hat if”）V才O検討o 求吃実在LVXAO効率壬JWOVT較正七 検証O過程間違V總含族勝弐 error-prone ）。OS O才一（nyXb切。替元

8、壬夕X夕間 通信要求O-XO所要時間）Oa肚厲召腫O夕處対象実測可能。夕x夕o実行時間推定rLVo効率忙力、力、初夕O推定精度yo精度聲依存ro11.3 Petri 木，卜有限狀態(tài)機械 finite state machine、起b列O壬兒t利用mt吉尢聲逐次的肚制約力勺強ro並列性總表現(xiàn)宅吉肚Vo化手法：Petri 和卜Petri net）直接的t並列性總表現(xiàn)L、有限狀態(tài)機械總逐次的?七少卜七 LT含loPetri 和，Zi7UX(place、円宅表cn)bv:htransition、線宅表cn)呼0土n淫 種類O丿 一E總持O有向v7LT表mo7U-Xt卜一夕y (token)七呼n目印力

9、W寸療 nTVohvyayt 入力 o品全TO7uxt卜一夕y揃発火 (re)発火入力側各70U-Xb-一00 取。除力、X 出力側 O7u-Xt移龍料Eo拡張様。乙厲力乞、特0乙時間Petri和八timed Petri net )C土実時 間化O有用。乙料處卜聲mA。発火 際o 0有限o時間聲経過ron用S料瓜効率O観點力、乙解析o応用八一 工了 n、通信7口卜 3y7bx7?X疋右役立Oo壬兒化O事例：夕X夕O同期、夕X夕間O、7七一聲通信、Ada O並行夕X夕?77V-h解析O事例： 可達性(teachability )?口、，夕 deadlock)0検出、統(tǒng)計的Petri木、，卜OX兒

10、一7、卜O解析。 以上力、応答時間ZX兒一7少卜滬重要上后実時間 ？分散 少X亍厶K土 Petri不少卜土魅力的。11.4実時間X聲二一】丿理論11.4.1導入八一E肚時間制約總持。尢並行夕X夕O優(yōu)先度O基乍関r理論。夕X夕群O O v疋個O CPU 利用率(CPU utilization際O時間制約總満尢r力5力、總乂05 0決定rOVTO理論。優(yōu)先度O基乍先取OX聲二一】丿總仮定3章)。乙O節(jié)O內容C土 Software Engineering Institute O実時間X-VAt関rh求一卜Sha90, SEI93O 基VTVO詳3處乞總參照。実時間XVA理論O段階的O複雑肚右O總含

11、K5O進化LTo獨立3尢定期夕X夕T定期夕X夕七不定期(非同期)夕X夕O混在、夕X夕間O同期力必要肚場合T Ada O指 療召並行夕X夕OX聲二一VA龍V5/5O段階的O 複雑肚內容總含go11.4.2 定期的肚夕対象獨立L(通信？同期肚3 定期的肚夕X夕群定義周期T宅一回実行CPU時間聲C夕X夕O CPU利用率U=C/T 1周期o対稼働時間O比)X聲二一兒可能性夕x夕力x聲二一兒可能？ 夕x夕力乞時間制約總満尢r乙七(=1周期力$終初前o i周期分o夕xx完了r乙 夕X夕群$x聲二一兒可能？ 各夕XX時間制約總満尢 rorate monotonic algorithm monotonic?単

12、調、比例単調7 nVX厶？、夕X久土周期O基乍固定L創(chuàng)憂 先度(短周期00程優(yōu)先度高)總持Oo例：周期滬ta=10, tb=20, tc=30夕X夕O優(yōu)先度處夕X夕a, b, c O順。11.4.3利用率束縛定理n個O獨立L尢夕X夕力沌、O右時間制約總満利 用率o合計o制限，厲。求r定理1 利用率束縛定理(UTILIZATIONBOUND THEOREM )rate monotonic algorithm 左X二一兒m尢 n 個O獨立夕x夕力乞時間制約總vo右満尢ro處1/nC1/T1 + +Cn/Tn 三 n(2-1) = U(n)夕x久o実行時間處Ci七周期處TrU(n)ln 2、約69%

13、O収束ro9 oo計算例總本文0表11.1 o示rvAAO夕X夕總選人吃最悪O場合Lehoczky89 K土上限力乞 88例力示mTV5。周期滬調和LTV5(夕X夕O周期力W咅數(shù)O関係o肚 oTV5)場合Vo乞5上限C土高肚5orate monotonic algorithm Xb聲二一兒mTV5場 合、過負荷o陥o尢場合O挙動力%安定LTV5。即弐 高V優(yōu)先度總持0(周期，短V)夕X州沁含吉部分集合處時間制約總満尢r7 口七、，廿O負荷/上/5七低V優(yōu)先度總持00力、時間制約總満肚5可能性，出T5o例：以下O53。夕利用率束縛定理總適用才。単位怎msed Ui = Ci/Ti宅厲ti： Ci

14、 = 20; Ti = 100; Ui = 0.2t2： C2 = 30; T2 = 150; U2 = 0.2ta： C3 = 60; Ta = 200; U3 = 0.3夕入巾開始、終了時切。替元時間處CPU夕 彳厶。乙含求料仮定。使用率O合計處0.7宅定理上限處0.799 如 宅上o夕x夕群時間制約總守no一方、t3： C3 = 90; T 3 = 200; U 3 = 0.45場合：使用率O合計處0.85 沁定理1O合計總超夕x夕群處時間制約總守可能性o LLO場合It夕X夕切t2 OVT利用率O合計0.4處夕X夕力乞2個O場合O上限0.828總下回OF rate monotonic

15、algorithm O安定性力HO2OO夕X夕處必于時間制約總守no乙O定理1土悲観的肚定理F厲。、夕X夕t3，実際忙時 間制約總守正確肚定理2F確力勸召11.4.4完了時間定理利用率O合計聲定理1 O上限總超元尢肚聲二一兒 可能性QOVT、/正確肚規(guī)準總與元召定理2oT検 査 Fo対象定理1同様、獨立肚定期夕XOVT考元Eo最悪O獷一X（Liu73, Lehoczsky89 ）LT全夕X夕力乞同時 忙実行開始總要求L尢場合總考oX聲二一兒可能性各夕x夕力乞最初o周期總終初召前忙完了f吉n、時間制 約甬満no （定理2 F土各夕X勿OVT順忙最初O 周期內忙実行總終了F吉召力、總見o）定理2完

16、了時間定理（COMPLETION TIME THEOREM ）1群o獨立夕xovt、同時忙開始n各夕X夕力乞最 初o周期f時間制約總守時 間ex夕一卜組族合時間制約處守n5。乙o于工少夕總行、與n夕xto周期o終 OVT調5O七同時Q、全TO高V優(yōu)先 度0（ = 短V周期F ti力、乙制御總奪oT 1回以上実 行nTV5）夕X夕QOVTt、関係05全TO周 期QOVT調5必要，厲5o例：（前節(jié)O後半七同匕）t1： C1 = 20; T1 = 100; U1 = 0.2t2： C2 = 30; T2 = 150; U2 = 0.2t3： C 3 = 90; T 3 = 200; U 3 = 0.

17、45本文o夕彳図11.1參照。1. 同時Q 3OO夕X夕力乞開始。（0msec）2. 優(yōu)先度O高V t1力 1回目O実行開始-完了。（0-20msec）3. 次VF t2力 1回目O実行開始-完了。（20-50msec）4. t3力 1回目O実行開始（50msec実行）？?。（50-100msec）5. 優(yōu)先度O高V t1 O周期，回oT吉T t3Q割込F2 回目O実行開始-完了。（100-120msec）6. t3力 1回目O実行続行（30msec実行）？?。（120-150msec）7. t2 O周期，回oT吉T t3 Q割。込F2回目O実行開始-完了。（150-180msec）8. t3

18、力 1回目O実行続行（10msec実行）-完了（次O周期求F殘 10msec）o（180-190msec）以上力、3 OO夕X夕處時間制約總満尢To200msec O時點F CPU O殘。時間處 10msec F厲 SCPU O利用率處合計95%o利用率O単純合計處 85%3夕X夕O周期O公倍數(shù)Q5時間（例元600msec）FO利用率處85% （平均）七肚5o11.4.5完了時間定理O數(shù)學的定式化完了時間定理處以下O定理3 OaQ數(shù)學的Q表現(xiàn)F吉5o定理3rate monotonic algorithm FX聲二一丿Un 1群o定期夕x夕力乞時間制約總守n5o處以下O式聲成S立O七吉F、力、O

19、乞O七吉Q限5o1pTk I血pTk |TjRi 二(k, p)門乞k S,p =1,乙乙q、門夕入夕tj実行時間七周期解説x x以下T最大整數(shù)。 X x以上T最小 整數(shù)。Ri優(yōu)先度i優(yōu)先度總表歹各k 優(yōu)先度iT厲召夕入夕O1周期O間忙優(yōu)先度k T厲召夕入夕聲繰。返回數(shù)p o対z貶集合。? i、？ (p,k) Ri忙関LT:pTk 優(yōu)先度i O夕周期O間忙開始尢優(yōu)先 度k O夕X夕O各周期O合計時間。pTk Tj處優(yōu)先度i O夕X夕1周期O間忙開始m尢優(yōu)先度k O夕X夕O全周期O合計時間忙優(yōu)先度j O 夕X夕廬実行開始回數(shù)。工O項分優(yōu)先度iO夕X夕1周期O間忙開始龍 n尢優(yōu)先度k o夕x夕o全

20、周期o合計時間優(yōu) 先度j O夕X夕OCPU利用率。総和優(yōu)先度iO夕X夕1周期O間 忙開始n優(yōu)先度ko夕x夕o全周期o合計時間忙 指療召、優(yōu)先度i O夕X夕以上O優(yōu)先度總持。全夕X夕 O利用率合計。以上力條件全體OVT:全夕XX時間制約總満?忙関LT利用率 合計O(i以下O全TO k忙関T5)最小値聲1小龍適用例例：(前節(jié)七同t1： C1 = 20; T1 = 100; U1 = 0.2t2： C2 = 30; T2 = 150; U2 = 0.2 t3： C3 = 90; T 3 = 200; U3 = 0.45 i=1: R1=(1,1)(1,1) : C1/T1 = 0.2 三 1(1.1

21、) : C1/T1+C2/T1 = 0.5(2.1) : C1/T2+C2/T2 = 0.33 三 1i=3: R3=(1,2),(2, 1),(3,1)(1.2) : C1/T1+C2/T1+C3/T1 = 1.4(2.1) : 2C1/T2+C2/T2+C3/T2 = 1.066 (3.1) : 2C1/T3+2C2/T3+C3/T3 = 0.95 三 1以上M 如t2、3 XX聲二一兒可能。11.4.6定期的肚夕XX不定期肚夕X夕OX聲二一】丿rate monotonic algorithmO拡張非定期夕X夕O処理周期Ta總持。論理的肚周 期夕x夕內t一度忙行n仮定ro乙0夕x夕o周期T

22、a 0夕x夕總起乙r彳卜o間 隔o中t最小o値ro乙O夕X夕OCPU時間Ca總以下05決求周期 毎已直Ca予約no1. 周期內Tyb到著L場合、周期夕X夕內T 于卜聲消費m単位時間Ca O CPU時間力卑肖 費 no2. 周期內到著L品沁場合、周期夕x夕內Tb単t破棄no以上O仮定t基VTO夕X夕O利用率總Ca/Ta七決 定roLLb毎回要求nTV OT乙O評価處最悪時O評価osporadic server algorithm |Sporadic?散 発的、散発的厶？)多O非定期夕X夕力%厲召場合t利用ToX二一兒 可能性總解析r立場力、以下oat考元no非定期夕x夕處、乙o夕x夕總起乙r彳y

23、bo間隔o 中t最小o値聲周期定期夕X夕七同一視 no乙o夕x夕o周期Ta仁o夕x夕總起乙r彳ybo間 隔o中t最小o値ro各夕X久土単位CPU時間ZLT Ca總蓄元ZLT割。 當 Tno割。當Tn Ca處周期Ta內O任意O時點T消費龍 no乙方法非定期夕入M、乞。周期忙従。疋異上優(yōu)先度t置、定期夕入X同様t11.4.7同期靈夕入夕聲二一】丿実時間理論處夕入夕間同期總含 Kat拡張o優(yōu)先度逆転 priority inversion)問題：夕】丿亍彳力兒?h 非同期夕XtOVT見力、療上周期短(=優(yōu)先度)， 同期夕入夕以下t、非同期夕駆動発生後歹、実行必要o用語本文中優(yōu)先度(priority )

24、 j 優(yōu)先度逆転(priorityinversion )j，使初nTV力氓O意味處以下O通力rate monotonic 優(yōu)先度 (ate monotonic priority )yt入。尢夕x夕力乞o夕】丿亍彳力兒入歹周期t基乍優(yōu)先度、重要度t基乍優(yōu)先度k土召高位o優(yōu)先度總持o夕口少夕。得。無制限o優(yōu)先度逆転：高夕x夕總y口少夕。尢低 肚V。夕x夕o実際o優(yōu)先度處乙o通ok土肚v力、右知n肚Vo卞兒o夕x夕力乞、別o高夕x夕ty 口少夕m得o夕】丿亍彳力兒大変短療n、夕】丿亍彳力兒 ？七夕my內ko先取ox聲二一】丿y總止乙zk回避可能。priority ceiling protocolCe

25、il?天井總張事上限付吉優(yōu)先度7口卜兒j?)自分0高位O夕X池高1 Ob力、口少夕K吉肚Vat ClZtoT相互?口、小花回避優(yōu)先度逆転t制限 總設療Eo以下、簡単OQ夕】丿亍彳力兒 ？七夕myOO 場合總考Jo調整可能肚優(yōu)先度：自分0高優(yōu)先度o夕x夕總y口夕x夕o優(yōu)先度總y口、m 連o夕xor、上求K上廳Wo目的gy口y夕b尢夕X夕O実行總早 終元T、y 口、時間總縮ZontoT長 時間高優(yōu)先度夕x夕總止肚vatK吉opriority ceiling P 操作付吉二値V7才 S： V7才 Sov7才總獲得bazr全夕x夕中k最高o 優(yōu)先度總持Oo従otov7才總得azr低優(yōu) 先度夕xy 口、

26、夕bazr夕x夕o優(yōu)先度t応匕 t優(yōu)先度，上廳2no相互h、E ?口、夕2 OO夕XX、実行總完了尢 Qt互 VOVVX 必要 ZbTV 場合。priorityceiling protocol總取0扱aZKo11.4.8 一般化実時間x-vy理論実時間問題K土、rate monotonic ZVa前提力械0立尢肚V。 ?基本的肚rate monotonic X-Vy理論O拡張O必要例1 :前節(jié)O優(yōu)先度逆転問題例2:非同期夕X夕總同期夕xzr手法總Z5場合t、rate monotonic 優(yōu)先度逆転(rate monotonic priority inversion)実際O優(yōu)先度Z致b肚V場合t

27、、 rate monotonic優(yōu)先度t OVT優(yōu)先度逆転，起乙oTV場合總rrate monotonic 優(yōu)先度逆転O例2 OO夕X代考元25msec O定期夕X夕最短50msec間隔K呼n非定期夕X夕rate monotonic優(yōu)先度C土定期夕X夕O方力入高V力嘆際O優(yōu) 先度yb駆動總実現(xiàn)rQt非定期夕xoa 高Vo ?非定期夕X夕聲先取t、逆転力発生。拡張目標：低優(yōu)先度夕xty 口、豐y總取o扱arate monotonic優(yōu)先度t従初肚V高優(yōu)先度夕X夕總取 0扱arate monotonic X二一Vyt従a場合、後者C土前者t 似 TVoti :周期TiO間t単位CPU時間Ci總消費

28、。ZVa夕X夕tOVT考元Eo以下O條件總考元T、O時間制約最初t行吉當尢E力、 總考元Eoa) 0短V周期O夕X夕t先取0nE時間：何度ttoT夕X夕ti總先取0rE j個O夕X夕O群Hn tOVT、Hn 內O夕X夕 tj (周期 Tj、CPU 時間 CJtOVT TjvTi肚引土、夕X內O利用率C Cj/Tjb) ti O実行時間：夕X夕ti并Ti O間t一度吃療実行m、単位時間 CiO CPU時間總消費c）長s周期高優(yōu)先度夕入x先取時間：H1。乙屬rate monotonic。乙従優(yōu)先度總持。k個 夕夕入夕聲消費rcpu時間總ck七、最悪場合夕xtk利用率處ck/Tid）低優(yōu)先度夕口少夕

29、時間：口yr夕x夕處長v周期總持oo回數(shù)處i。遅個夕X夕力Ny、口y 夕r狀況 priority ceiling protocol與元基乍解析ro與夕x夕ti OVT最悪oy口、y夕時間力乞Bi口、y夕時間QoV疋利用率處Bi/Tio以上力?定理4一般化利用率制限定理（條件處上述）Cj1Ui =（L） *（CiBi Ck）jn TjTk田 n説明最初o項o和處a）後項o（）內最初o項處b）、次 處c）、最後o項o和處d）o條件忙対応。求的圮Ji N最悪時（本文o表11.1）o上限總下回oTvn時間制約處満norate monotonic TnVXAo安定性力入保証m 權七林、各夕X夕QOVT

30、Ui總計算r必要力厲 注意。乙o判定力咲敗L尢場合、一般化完了時間定理Q正確肚判定滬可能。上記o5條件總考慮l尢上宅、完了時間總検討roo定理處図的。土夕図説明o11.4.9実時間設計設計段階後Q指VT、実時間X理論滬一群o並行夕X夕Q対LT適用o （本書 K土設計段階o適用Q重點總置o）設計段階CPU時間力推定値/注意ro実時間少X亍厶處厳LV時間制約悲観的肚CPU利用率制限定理（最悪o上限 0.69）總信 頼rQro安全（実時間理 論q限値LLnQnt）o 上限値總満尢它肚v場合處別o方法總探r必要，厲 5。悲観的肚設計者o観點力、引土、 0.69總超元5利用率上限深刻肚時間制約VXA （

31、守nQoT重要肚夕X夕o優(yōu)先度總 上廳5o11.4.10 一般化実時間定理o適用例夕X夕周期夕X夕t1：0=20;T1=100;U1=0.2非定期夕X夕t2：C2=15;T2=150;（最悪時）U2=0.1割込駆動ta：Ca=4；Ta=200;Ua=0.02非定期夕X夕定期夕X夕t3：C3=30;T3=300;U3=0.1條件ta處200msec以內Q終一夕總取求r t1 t2、t3才宅守n尢同一oh夕 ?Xb7Q7Xr5onyXb切。替元oh八一f y土各夕X夕CPU 時間o先頭Q含求n5o優(yōu)先度厳密Q rate monotonic 肚優(yōu)先度K土 t1 t2、t3、tao順。ta Q関r5條

32、件力、乙実際o優(yōu)先度X、 ta、t1 t2、t3 o順。解析CPU利用率o単純合計處 0.42 K上限o 0.69總下回oTV5力%、rate monotonic肚優(yōu)先順位力入破$nTV5個夕検討必要夕兔九夕X夕ta處最高優(yōu)先度必要CPU力利用吉召上、CPU時間處0.02必于時間制約總守no夕X九a. 周期O短V夕X夕忙先取時間：Lob. 自身O実行時間：利用率處U1=0.2oc. 長v周期o高優(yōu)先度夕xx先取時間：夕X夕ta力N該當。利用率怎Ca/Tl= 0.04od. 低v優(yōu)先度o夕xy口少夕時間：t2、3口可能性力竊召。優(yōu)先度打弐切?97nVX厶忙従元瓜、実際uy口 y夕歹召夕X夕怎高1

33、 O肚O 最悪O場合LTCPU時間力長V t3口、y夕T 場合總考o B3=C3七仮定上利用率C土B3/Ti=0.3 o以上力最悪O場合O利用率合計處0.54宅上限O 0.69總下回t1處時間制約總守no夕X夕t2a. 周期O短V夕XX先取n時間：ti，該當。Ui=0.2ob. 自身O実行時間：利用率處U2=0.1 oc. 長v周期o高優(yōu)先度夕xx先取n時間：夕X夕ta力N該當。利用率肚CyT2= 0.03od. 低v優(yōu)先度o夕xy口、夕時間：t3 口yn可能性o B3=C3七仮定利用率處B3/T2=0.2 o以上力最悪O場合O利用率合計處0.53宅上限O 0.69總下回t2 時間制約總守no

34、夕X3a. 周期O短V夕X夕忙先取n時間：ti、t2、ta力乞該當。Ui +U2 +Ua=0.32 ob. 自身O実行時間：利用率處U3=0.1 oc. 長v周期o高優(yōu)先度夕xx先取n時間：肚Lod. 低V優(yōu)先度O夕Xy口、夕時間：肚Lo以上力最悪O場合O利用率合計處0.42宅上限O 0.69總下回t2處時間制約總守no以上力、4oo夕x夕處全t時間制約總守no11.4.11 Ada実時間Ada O概念的肚壬土、厳LV時間制約總持O実時間X亍厶忙対歹適合性力、乙由來LTVo例：Ada O夕X夕優(yōu)先度待弐行列忙入nno実行時動的忙優(yōu)先度，変nVo 優(yōu)先度逆転高優(yōu)先度夕x夕聲低優(yōu)先度夕x夕非決定的t遅延noceiling protocol 總廿求一卜歹5/5tda Ov夕彳厶 ？X亍 厶總変更歹提案壬、Ada t指療召実時間少X亍厶07口?e ?vo提案力、乙no問題聲検討inT吉尢。11.5彳卜列解析t/召効率解析要求總決定段階宅外部bt対歹反応時間O 要求力決定n。夕x應構成後、求于並行夕xo時 間割。當t量總決定必要o列解析 event sequence analysis）:與n外部彳卜總処理夕x夕總決定ro列図 event sequen