Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 00/01


Systemteknik

SMR040 Realtidssystem 4.0 poäng

ÄMNE (enl SCB)
Datateknik

NIVÅ/DJUP
C K

PROGRAM/TIDSPERIOD
E / IV
D / IV

SPRÅK: Svenska

EXAMINATOR
Thomas Gustafsson Univ lekt

FASTSTÄLLD
Kursplanen är fastställd av Instutionen för systemteknik 1999-02-18, reviderad 2000-02-16 att gälla från HT00.

FÖRKUNSKAPSKRAV
Kursen förutsätter kunskaper i imperativ programmering motsvarande SMD011/SMD012/SMD038 och reglerteknik motsvarande SMR017


MÅL
I denna kurs studeras metoder för design och implementering av datorbaserade reglersystem och andra typer av inbyggda system. Målet är att ge förståelse för olika modeller för synkronisering och datautbyte mellan parallella processer samt att ge kunskap om realtidssystems egenskaper och konstruktion.


INNEHÅLL
Att konstruera ett datorsystem som bearbetar data i realtid är en krävande och utmanande uppgift. Det är även en mycket viktig uppgift eftersom mjukvara för realtidssysten är en integrerad del i dagens samhälle. Vi hittar realtidssystem i allt från hushållsmaskiner till
industrirobotar, från bilar till kompexa industriella processer, från avancerade flygplan till datorspel och börshandel på internet.

Man brukar skilja mellan hård och mjuk realtid. I denna kurs behandlar vi hård realtid där tiden är en viktig faktor. Beräkningar behöver inte med nödvändighet gå fort det viktiga är att de är klara vid rätt tidpunkt så att samverkan med omgivningen blir både tillförlitlig och effektiv.

Denna kurs handlar inte så mycket om programmering utan mera om hur man med formella metoder analyserar, specifierar och designar ett realtidssystem. Dessa metoder kommer till användning i ett större projekt där uppgiften går ut på att använda en kommersiell utvecklingsmiljö och ett realtidsoperativsystem för konstruera programvaran till ett inbyggt
system som dels har hårda krav på realtid och dels skall kunna kommunicera med en operatör.

Kursmoment: Vad är realtidssystem? Klockor och Tid. Introduktion till Petrinät, ERN och CSP. Partinionering av mjukvara. Fördelning av resurser. Statisk schemaläggning för en processor, statisk schemaläggning för flera processorer, dynamisk schemaläggning. Feltoleranta system.

UNDERVISNING
Undervisningen består huvudsakligen av lektioner/föreläsningar och
obligatoriska laborationer/inlämningsuppgifter.



EXAMINATION
Skriftlig tentamen med differentierade betyg, skriftliga eller muntliga
laborationsredogörelser/inlämningsuppgifter.


KURSENS BETYGSKALA: U, 3, 4, 5

MOMENT/PROV

Laboration 2.0poäng
Tentamen 2.0poäng

LITTERATUR
Nissanke, N. Realtime Systems, Prentice Hall, 1997, ISBN 0-13-651274-7 (pbk)
Manual till utvecklingssystem och operativsystem.
Senast reviderad litteratur: 2000-02-10

Kontaktperson: Thomas Gustafsson

Ytterligare kursinformation:
http://www-er.sm.luth.se/Regler/courseRe.nsf/Course+Information/

Gäller för läsåret 00/01.
Ansvarig för sidan: Karin.Lindholm@dc.luth.se

Universitetet | Student | Forskning | Sök | Kontakta oss | In English


LULEÅ TEKNISKA UNIVERSITET
Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399
Last edited 2000-12-18