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


Ind ekonomi och samhällsvetenskap

IED306 Operativa Ledningssystem, DSV D1 10.0 poäng

ÄMNE (enl SCB)
Data och systemvetenskap

PROGRAM/TIDSPERIOD
Sy4 / Lp I

SPRÅK: Svenska

EXAMINATOR
Istvan Orci Docent

FASTSTÄLLD
Kursplanen är fastställd 010223 att gälla från ht -01.

FÖRKUNSKAPSKRAV
Sy A1 (IED300), Sy AII (IEI315), DSV B1 Datakommunikation i informationssystem (IED302), DSV B1 Informationshantering i databassystem (IED303), DSV BII Objektorienterad systemutveckling (IED317), DSV BII Operativsystem och systemprogrammering (IED326), DSV C1 Operativa ledningssystem 1 (IED304), DSV CII Examensarbete C (IED305), Tillämpad matematik för systemvetare (IED338), Logik och Algoritmik (IED339), Mjukvaruutveckling (IED335).

SYFTE/MÅL
Kursens mål är att ge grundläggande kunskaper om användning och konstruktion av operativa ledningssystem.

INNEHÅLL
Formella metoder
- formella specifikationer
- funktionalitet, validering
- korrekthet, verifiering
- robusthet, certifiering

Modellering och simulering
- abstrakt modellering
- händelsestyrd simulering
- simuleringsexperiment
- validering
- simulering - utbildning och träning
- simuleringsspråk
- programmering av simuleringsmodeller

OLS-tillämpningar
- räddningssystem
- trafikkontrollsystem
- integrerade säkerhetssystem
- kontorsinformationssystem
- "intelligenta" hus
- administrativa produktionsstyrningssystem
- industriella övervaknings- och underhållssystem
- nätövervakningssystem
- butikskontrollsystem
- bokningssystem

Kunskapsledning, -hantering och -försörjning i organisationer (Knowledge management)

UNDERVISNING
De studerande arbetar probleminriktat och undersökande. Normalt sker undervisningen i form av lektioner, föreläsningar, seminarier, projektarbeten, laborationer och egen inläsning.

EXAMINATION
Examination sker genom skiftlig/muntlig individuell kunskapskontroll omfattande 9 poäng
och obligatoriska inlämningsuppgifter omfattande 1 poäng.
KURSENS BETYGSKALA: U, G, VG

MOMENT/PROV

Inlämningsuppgifter 1.0poäng
Individuell kunskapskontroll och tentamen 9.0poäng

LITTERATUR
Braek R, Haugen O: Engineering Real Time systems, Prentice-Hall, 1993, 398 s
Pidd M: Computer Simulation in Management Science 4:d Ed, Wiley, 1998
Pressman R: Software Engineering, McGraw Hill, 1992, 801 sid
Pidd M: Tools for thinking, Wiley, 1996, 350 s

Referenslitteratur:
Ellsberger, Hogrefe, Sarma: SDL, Prentice-Hall, 1997, 312 s
Robinson S: Successful Simulation, McGraw Hill, 1994, 246 s


ÖVRIGT
Den som inte personligen registrerat sig eller kontaktat examinator eller ansvarig lärare vid det första kurstillfället, kommer att förlora sin plats till eventuell reserv på antagningslistan.

Kontaktperson: Istvan Orci
Gäller för läsåret 01/02.
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 2001-12-17