1.

Thng tin v ging vin H v tn: Phm Hng Thi Chc danh, hc hm, hc v: GVC, TS Thi gian, a im lm vic: Khoa Cng ngh thng tin, Trng i hc cng ngh, HQGHN. a ch lin h: Khoa Cng ngh thng tin, Trng i hc cng ngh, HQGHN. in thoi, email: pht@vnu.edu.vn Cc hng nghin cu chnh: Cc phng php hnh thc, H thi gian thc Thng tin v tr ging (nu c) (h v tn, a ch lin h, in thoi, e-mail): 2. Thng tin chung v mn hc Tn mn hc: M mn hc: S tn ch: Mn hc: Lp trnh thi gian thc 02

Bt buc: La chn: Cc mn hc tin quyt: NNLT C/C++, Kin trc my tnh v Nguyn l h iu hnh Cc mn hc k tip: Cc yu cu i vi mn hc (nu c): Gi tn ch i vi cc hot ng: Nghe ging l thuyt: 24 Lm bi tp trn lp: 4 Tho lun: 0 Thc hnh, thc tp: 0 Hot ng theo nhm: 0 T hc: 0 a ch Khoa/ b mn ph trch mn hc: CNTT/Khoa hc my tnh, i hc Cng ngh, HQGHN.

3. Mc tiu ca mn hc
Cung cp cho sinh vin cc kin thc nn tng cho lp trnh cc h thi gian thc. Sinh vin hiu c cc kh khn i vi lp trnh cc h thi gian thc v cc phng php khc phc. Sinh vin cng c trang b c im mt s ngn ng thng dng cho lp trnh thi gian thc hin nay.

4. Tm tt ni dung mn hc
Mn hc trnh by cc kin thc c bn v h thng thi gian thc v cung cp cc c im phc v lp trnh thi gian thc ca mt s ngn ng nh Ada, C++, trn c s mn hc trnh by cc k thut lp trnh lin quan n kim chng li v khc phc, lp lch, lp trnh tng tranh ...

5. Ni dung chi tit mn hc Chng 1. H THI GIAN THC 1.1. Khi nim v h thi gian thc 1.1.1. nh ngha 1.1.2. Mt s ng dng 1.1.3. Cc tnh cht ca h thi gian thc 1.2. Thit k h thi gian thc 1.2.1. Mc khi nim 1.2.2. c t yu cu 1.2.3. Cc hot ng thit k 1.2.4. Cc phng php thit k 1.2.5. Ci t 1.2.6. Kim th 1.2.7. To nguyn mu 1.3. Lp trnh thi gian thc 1.3.1. Lp trnh phm vi hp 1.3.2. Lp trnh phm vi rng Chng 2. TIN CY V KH NNG CHU LI 2.1. Cc khi nim 2.1.1. tin cy v li 2.1.2. Cc kiu li 2.1.3. Kh nng phng nga v chu li 2.2. Lp trnh N phin bn 2.3. Khi phc hi 2.4. D tha ng 2.5. an ton v tin cy Chng 3. X L NGOI L 3.1. X l ngoi l trong cc h thi gian thc c

3.2. 3.3. 3.4. 3.5.

X l ngoi l theo phng php hin i X l ngoi l trong Ada v C X l ngoi l trong cc ngn ng khc Cc khi phc hi v ngoi l

Chng 4. LP TRNH TNG TRANH V NG B HA 4.1. Tin trnh 4.1.1. Khi nim tin trnh 4.1.2. Thc hin ng thi 4.1.3. Biu din tin trnh 4.2. ng b v truyn thng bng bin chung (share variable) 4.2.1. Bi ton loi tr ln nhau v ng b ha iu kin 4.2.2. Tm dng v tip tc 4.2.3. Semaphore 4.2.4. Vng ti hn 4.2.5. Kim sot 4.2.6. Cc i tng c bo v 4.3. ng b v truyn thng bng thng ip (message) 4.3.1. ng b ha tin trnh 4.3.2. Tn tin trnh 4.3.3. Cu trc thng ip 4.3.4. Gi th tc t xa Chng 5. LP LCH 5.1. M hnh tin trnh n gin 5.2. Hng tip cn thc hin theo chu k 5.2.1. Lp lch da trn tin trnh 5.2.2. Phn tch thi gian hi p 5.2.3. Thi gian thc hin 5.3. Tin trnh thc hin khng theo chu k 5.4. Tng tc gia cc tin trnh 5.5. H thng ng v phn tch trc tuyn 5.6. H thng da trn u tin 6. Hc liu

6.1 Hc liu bt buc

[1] Alan Burns, Andy Wellings. Real-time systems and programming languages. Addison-Wesley (second edition), 2001. [2] Jan Liu. Real-Time Systems, Prentice Hall, 2000
6.2 Hc liu tham kho

[3] Rick Grehan, Robert Moote, Ingo Cyliax, Real Time Programming. AddisonWesley (second edition), 1998 [4] Raymond Buhr, Donald Bailey. An Introduction to Real-Time Systems: From Design to Networking with C/C++, Prentice-Hall, 1998.

7. Hnh thc t chc dy hc 7.1. Lch trnh chung Hnh thc t chc dy hc mn hc Ni dung L thuyt H thi gian thc tin cy v kh nng chu li X l ngoi l Lp trnh tng tranh v ng b ha Lp lch Cng 2 Ln lp Bi tp Tho lun Thc hnh, th nghim, in d, T hc, t nghin cu Tng

4 4 5 5 20

1 1 1 1 4 2 2 2 6

5 7 8 8 30

7.2. Lch trnh t chc dy hc c th

Ni dung 1, tun 1: Gii thiu v h thi gian thc Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t Ni dung chnh Yu cu SV chun b Gii thiu tng quan v c chng 1, h thi gian thc v lp ti liu 1 trnh thi gian thc Ghi ch

Ni dung 2, tun 2+3: tin cy v kh nng chu li Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t Ti th vin hoc ti nh Ni dung chnh Yu cu SV Chun b - Khi nim tin cy c chng 5, ti liu 1 ca h thng - Cc phng php khc phc trong lp trnh Ghi ch

Ni dung 3, tun 4+5. X l ngoi l Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t Ni dung chnh - Khi nim ngoi l Yu cu SV Chun b c chng 6, - Cc phng php x l ti liu 1 ngoi l Ghi ch

- Bi tp v cc khi phc hi

Ni dung 3, tun 6. Thc hnh v x l ngoi l Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t Thc hnh v x l ngoi Chun b trc l: vit cc khi phc hi cc bi tp v trn ngn ng Ada hoc nh C/C++ Ni dung chnh Yu cu SV Chun b Ghi ch

Ni dung 4, tun 7+8: Lp trnh tng tranh v ng b ha Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Ni dung chnh - Khi nim tin trnh Yu cu SV Chun b c chng 8, - ng b ha bng bin 9, ti liu 1 chung - ng b ha bng thng ip - Cc bi tp v ng b ha Ghi ch

Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t

Ni dung 4, tun 9: Thc hnh v lp trnh tng tranh v ng b ha Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t Thc hnh v lp trnh Chun b trc tng tranh v ng b cc bi tp v nh ha Ni dung chnh Yu cu SV Chun b Ghi ch

Ni dung 5, tun 10+11: Lp lch Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Ni dung chnh Yu cu SV Chun b chng - M hnh tin trnh n c 13, ti liu 1 gin - Tip cn thc hin theo chu k - Tin trnh thc hin khng theo chu k - Tng tc gia cc tin trnh - H thng ng v u tin Bi tp Tho lun Thc hnh, th nghim, in d, T hc, nghin cu t - Cc bi ton v lp lch Ghi ch

Ni dung 5, tun 12: Thc hnh v lp lch Hnh thc t chc dy hc L thuyt Thi gian, a im T n Ti G G2 Bi tp Tho lun Thc hnh, th nghim, in Thc hnh v lp lch cc Chun b trc trng hp n gin cc bi tp v Ni dung chnh Yu cu SV Chun b Ghi ch

d, T hc, nghin cu t

nh

8. Chnh sch i vi mn hc v cc yu cu khc ca ging vin Sinh vin nm c cc khi nim lin quan i vi h thi gian thc Hiu bit cc cch hn ch v khc phc li trong lp trnh Hiu bit v hot ng ca cc tin trnh v lp trnh tng tranh Hiu bit v lp lch h thng C kh nng ci t c mt s mun dung th li, lp trnh tng tranh v lp lch

9. Phng php, hnh thc kim tra - nh gi kt qu hc tp mn hc 9.1. Kim tra nh gi thng xuyn 9.2. Kim tra - nh gi nh k Tham gia hc tp trn lp: Kim tra - nh gi gia k: Kim tra - nh gi cui k: 9.3. Tiu ch nh gi cc loi bi tp 9.4. Lch thi, kim tra (k c thi li)
Theo lch chung ca nh trng

5% 25% 70%