 
|
|
|
|
|
|
|
|
|
IED306 Operativa Ledningssystem, DSV D1 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 000223 att gälla från ht -00. 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). 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 Pressman R: Software Engineering, McGraw Hill, 1992, 801 sid Pidd M: Tools for thinking, Wiley, 1996, 350 s
Referenslitteratur:
|
Ö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 |
| 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 |