 
|
|
|
|
|
|
|
|
|
IED306 Operativa Ledningssystem DI 10.0 poäng | |
|
ÄMNE (enl SCB) Data och systemvetenskap PROGRAM/TIDSPERIOD SPRÅK: Svenska EXAMINATOR Istvan Orci Docent FASTSTÄLLD Kursplanen är fastställd 990219 att gälla från ht -99. FÖRKUNSKAPSKRAV DSV A1 (IED300), DSV AII (IED301), 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) och Tillämpad matematik (IED312). MÅL Kursens mål är att ge grundläggande kunskaper om användning och konstruktion av operativa ledningssystem. INNEHÅLL Moment: FORMELLA METODER - formella specifikationer - funktionalitet, validering - korrekthet, verifiering - robusthet, certifiering Moment: MODELLERING OCH SIMULERING - abstrakt modellering - händelsestyrd simulering - simuleringsexperiment - validering - simulering - utbildning och träning - simuleringsspråk - programmering av simuleringsmodeller Moment: OLS-TILLÄMPNINGAR - räddningssystem - trafikkontrollsystem - integrerade säkerhetssystem - kontorsinformationssystem - "intelligenta" hus - administrativa produktionsstyrningssystem - industriella övervaknings- och underhållssystem - nätövervakningssystem - butikskontrollsystem - bokningssystem UNDERVISNING Undervisningen består av lektioner/föreläsningar, seminarier och obligatoriska inlämningsuppgifter. 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 - 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 Referenslitteratur: Pidd M: Tools for thinking, Wiley, 1996, 350 s 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 något av de två första kurstillfällena, kommer att förlora sin plats till eventuell reserv på antagningslistan. Kontaktperson: Istvan Orci |
| 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 |