02291 Systemintegration

2023/2024

Kursusinformation
System Integration
Engelsk
5
Kandidat
Kurset udbydes som enkeltfag
F5A (ons 8-12)
Campus Lyngby
Forelæsninger med øvelser. Obligatorisk opgave.
13-uger
F5A
Skriftlig eksamen
Gennemførelse af en obligatorisk opgave er krævet for at kunne gå til eksamen.
Skriftlig eksamen: 4 timer
Alle hjælpemidler er tilladt :

Referencemateriale (pdfs eller ppt filer) i digitalt format tilladt, lukket internet

7-trins skala , ekstern censur
02141/02161/02170 , Kendskab til standard modelleringsprog i datalogi (e.g. UML, automater, ER)
Hugo-Andrés López-Acosta , hulo@dtu.dk
Giovanni Meroni , Lyngby Campus, Bygning 321, Tlf. (+45) 4525 7505 , giom@dtu.dk
01 Institut for Matematik og Computer Science
I studieplanlæggeren
Overordnede kursusmål
Kursusmålet er at give deltagerne det teoretiske grundlag som er nødvendigt for at forstå, modellere, analysere og designe komplekse socio-tekniske systemer sammensat af forskellige komponenter. Hensigten er at give et helhedsbillede af en række modelleringsteknikker, der kan bidrage til beskrivelsen af de forskellige dimensioner af et socio-teknisk system inklusiv softwarekomponenter.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • analysere et problem og modellere kravene til et softwaresystem
  • modellere og designe et socio-teknisk system med softwarekomponenter
  • formulere safety, liveness og andre egenskaber af softwaresystemer
  • analysere og validere strukturelle og semantiske egenskaber af en model
  • bruge teknikker til modellering af problemdomæner, krav, design og systemer i en use case
  • modellere i et team
  • diskutere en models hensigtsmæssighed til at beskrive et problem
  • forklare et socio-teknisk system ved brug af model-drevne frameworks
Kursusindhold
Dette kursus dækker modellering på forskellig abstractionsniveauer. Nogle af de dimensioner vi vil dække inkluderer:

- Requirements engineering modeller
- Procesmodeller
- Data og Decision modeller
- Interaktionsmodeller
- Enterprise Arkitektur modeller

Derudover vi vil dække aspekter vedrørende validering og verifikation af modeller.
Litteraturhenvisninger
Udvalgte artikler og bogkapiteler vil være tilgængelige online.
Sidst opdateret
25. april, 2024