| Faglærer |
Førsteamanuensis Sverre Hendseth, rom D-231 |
| Vit. ass. |
Martin Korsgaard, rom B-047 |
| Studentassistenter |
Kenneth Juul
Kristoffer Gregertsen
Steinar Fredriksen
|
| Referansegruppe |
Marit Owren
Yahya Yassin
Rune André Bjørnerud
|
| Forelesninger |
Tirsdag 14:15 - 15:00 i EL6.
Onsdag 08:15 - 10:00 i EL1.
|
|
Første forelesning er tirsdag 21. august. |
| Øvingsforelesninger |
Tirsdag 15:15-16:00 i EL6. |
| Labtid |
Torsdag 09:15 - 14:00 |
| Mål |
Evaluering av systemers sanntidsegenskaper. Design og programmering av systemer
med harde sanntidskrav. Fokus er spesielt på innbygde (embedded)
enkeltstående systemer.
|
| Innhold |
- Design og utvikling av sanntidssystemer
- Synkroniseringsmekanismer
- Tilstandsmaskinformalismen
- Sanntids schedulere
- Vanlige fallgruber ved sanntidsprogrammering
Studenten vil få kjennskap til følgende emner:
- Assembly/maskinær programmering
- Standardverktøy som Make, versjonskontroll
- POSIX
- Programmering for høytilgjengelighet/feiltoleranse
- Sanntidsegenskaper til noen vanlige operativsystemer
- Analyseverktøy for sanntidssystemer
Programmeringsformalismer for sanntid; tråder, synkronisering og
ressurskontroll (POSIX), tilstandsmaskiner, CSP og programmeringsspråkene
C, Ada og OCCAM. Konsekvenser og bruk av forskjellige schedulermekanismer.
Pålitelighet, sikkerhet og feiltoleranse. Programvareutviklingsprosessen,
testing. Praktiske øvinger.
|
| Forutsetninger |
Ferdighet i minst ett programmeringsspråk og god innsikt i datamaskiners
og operativsystemers virkemåte. Det er en fordel med kunnskaper
tilsvarende
TDT4100 Programmering,
TTK4147 Sanntidssystemer,
TTM4100 Kommunikasjon - tjenester og nett og
TFE4105 Digitalteknikk og datamaskiner.
Det anbefales også å ha tatt emne
TTK4125 Datastyring
(alternativt
TPK4125 Digital styring for mekatronikksystemer).
|
| Undervisningsform |
Forelesninger og obligatoriske øvinger. Mappevurdering gir grunnlag for
sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen 70%
og øvinger/prosjekt/midtsemesterprøve 30%. Dette er fordelt med 5%
på dataøvinger, 15% på prosjektet og designdelen av
øvingene, og 10% på midtsemesterprøven. Resultatet for
delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med
bokstavkarakter.
|
| Kursmatriell |
Alan Burns og Andy Wellings: Real-Time Systems and Programming Languages. Annen
pensumlitteratur og støttelitteratur oppgis ved semesterstart.
|
| Midtsemesterprøve |
Onsdag 10.oktober, 08:15, EL1 NB! Endret. |
| Eksamen |
7.desember, 09:00. Varighet: 4 timer. Hjelpemiddel: D (Ingen trykte eller
håndskrevne hjelpemiddel tillatt)
|
NTNU Norges Teknisk-Naturvitenskapelige Universitet